Matches in SemOpenAlex for { <https://semopenalex.org/work/W2000896880> ?p ?o ?g. }
- W2000896880 endingPage "353" @default.
- W2000896880 startingPage "341" @default.
- W2000896880 abstract "Abstract Despite the fact that there has been a surge of publications in verification and validation of knowledge-based systems and expert systems in the past decade, there are still gaps in the study of verification and validation (V&V) of expert systems, not the least of which is the lack of appropriate semantics for expert system programming languages. Without a semantics, it is hard to formally define and analyze knowledge base anomalies such as inconsistency and redundancy, and it is hard to assess the effectiveness of V&V tools, methods and techniques that have been developed or proposed. In this paper, we develop an approximate declarative semantics for rule-based knowledge bases and provide a formal definition and analysis of knowledge base inconsistency, redundancy, circularity and incompleteness in terms of theories in the first order predicate logic. In the paper, we offer classifications of commonly found cases of inconsistency, redundancy, circularity and incompleteness. Finally, general guidelines on how to remedy knowledge base anomalies are given." @default.
- W2000896880 created "2016-06-24" @default.
- W2000896880 creator A5038219325 @default.
- W2000896880 creator A5083062906 @default.
- W2000896880 date "1999-11-01" @default.
- W2000896880 modified "2023-09-23" @default.
- W2000896880 title "Approximate declarative semantics for rule base anomalies" @default.
- W2000896880 cites W142846944 @default.
- W2000896880 cites W1481488617 @default.
- W2000896880 cites W1481578604 @default.
- W2000896880 cites W1487936617 @default.
- W2000896880 cites W1530765221 @default.
- W2000896880 cites W1542218882 @default.
- W2000896880 cites W170644640 @default.
- W2000896880 cites W181601281 @default.
- W2000896880 cites W190258011 @default.
- W2000896880 cites W1967758537 @default.
- W2000896880 cites W1981311312 @default.
- W2000896880 cites W1992351104 @default.
- W2000896880 cites W2010301509 @default.
- W2000896880 cites W2012170877 @default.
- W2000896880 cites W2013336535 @default.
- W2000896880 cites W2024732842 @default.
- W2000896880 cites W2028232858 @default.
- W2000896880 cites W2030586771 @default.
- W2000896880 cites W2032860356 @default.
- W2000896880 cites W2039832885 @default.
- W2000896880 cites W2041379335 @default.
- W2000896880 cites W2043949849 @default.
- W2000896880 cites W2049826830 @default.
- W2000896880 cites W2054081181 @default.
- W2000896880 cites W2061519380 @default.
- W2000896880 cites W2064333075 @default.
- W2000896880 cites W2064994720 @default.
- W2000896880 cites W2068791654 @default.
- W2000896880 cites W2073402163 @default.
- W2000896880 cites W2078759647 @default.
- W2000896880 cites W2086416223 @default.
- W2000896880 cites W2103103282 @default.
- W2000896880 cites W2126077229 @default.
- W2000896880 cites W2134028041 @default.
- W2000896880 cites W2145287593 @default.
- W2000896880 cites W2150278707 @default.
- W2000896880 cites W2158014992 @default.
- W2000896880 cites W2160911376 @default.
- W2000896880 cites W2161921387 @default.
- W2000896880 cites W2270745039 @default.
- W2000896880 cites W229019754 @default.
- W2000896880 cites W2485290954 @default.
- W2000896880 cites W2726355060 @default.
- W2000896880 cites W4187345 @default.
- W2000896880 cites W91917710 @default.
- W2000896880 cites W2994102001 @default.
- W2000896880 doi "https://doi.org/10.1016/s0950-7051(99)00032-5" @default.
- W2000896880 hasPublicationYear "1999" @default.
- W2000896880 type Work @default.
- W2000896880 sameAs 2000896880 @default.
- W2000896880 citedByCount "20" @default.
- W2000896880 countsByYear W20008968802012 @default.
- W2000896880 countsByYear W20008968802013 @default.
- W2000896880 countsByYear W20008968802014 @default.
- W2000896880 countsByYear W20008968802015 @default.
- W2000896880 countsByYear W20008968802016 @default.
- W2000896880 countsByYear W20008968802018 @default.
- W2000896880 crossrefType "journal-article" @default.
- W2000896880 hasAuthorship W2000896880A5038219325 @default.
- W2000896880 hasAuthorship W2000896880A5083062906 @default.
- W2000896880 hasConcept C134306372 @default.
- W2000896880 hasConcept C149271511 @default.
- W2000896880 hasConcept C184337299 @default.
- W2000896880 hasConcept C199360897 @default.
- W2000896880 hasConcept C204321447 @default.
- W2000896880 hasConcept C33923547 @default.
- W2000896880 hasConcept C41008148 @default.
- W2000896880 hasConcept C42058472 @default.
- W2000896880 hasConcept C80444323 @default.
- W2000896880 hasConceptScore W2000896880C134306372 @default.
- W2000896880 hasConceptScore W2000896880C149271511 @default.
- W2000896880 hasConceptScore W2000896880C184337299 @default.
- W2000896880 hasConceptScore W2000896880C199360897 @default.
- W2000896880 hasConceptScore W2000896880C204321447 @default.
- W2000896880 hasConceptScore W2000896880C33923547 @default.
- W2000896880 hasConceptScore W2000896880C41008148 @default.
- W2000896880 hasConceptScore W2000896880C42058472 @default.
- W2000896880 hasConceptScore W2000896880C80444323 @default.
- W2000896880 hasIssue "7" @default.
- W2000896880 hasLocation W20008968801 @default.
- W2000896880 hasOpenAccess W2000896880 @default.
- W2000896880 hasPrimaryLocation W20008968801 @default.
- W2000896880 hasRelatedWork W1483213041 @default.
- W2000896880 hasRelatedWork W1541271503 @default.
- W2000896880 hasRelatedWork W1587224678 @default.
- W2000896880 hasRelatedWork W1778728081 @default.
- W2000896880 hasRelatedWork W2099080307 @default.
- W2000896880 hasRelatedWork W2135396778 @default.
- W2000896880 hasRelatedWork W2147602040 @default.
- W2000896880 hasRelatedWork W2551237228 @default.
- W2000896880 hasRelatedWork W27605384 @default.