AI Magazine
Logical foundations of artificial intelligence
Logical foundations of artificial intelligence
Bilattices and the semantics of logic programming
Journal of Logic Programming
Inconsistency and redundancy checking for quasi-first-order-logic knowledge bases
International Journal of Expert Systems - Special issue on verification and validation (Part 2)
Handbook of logic in artificial intelligence and logic programming (vol. 3)
Reasoning about knowledge
The logic of knowledge bases
Fixpoint semantics for logic programming a survey
Theoretical Computer Science
A Petri Net Model for Reasoning in the Presence of Inconsistency
IEEE Transactions on Knowledge and Data Engineering
PREPARE: A Tool for Knowledge Base Verification
IEEE Transactions on Knowledge and Data Engineering
Two Information Measures for Inconsistent Sets
Journal of Logic, Language and Information
Making Inconsistency Respectable: Part 2 - Meta-level handling of inconsistency
ECSQARU '93 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Measuring inconsistency in knowledge via quasi-classical models
Eighteenth national conference on Artificial intelligence
Knowledge Representation and Reasoning
Knowledge Representation and Reasoning
Measuring inconsistency in knowledgebases
Journal of Intelligent Information Systems
A knowledge-based approach to merging information
Knowledge-Based Systems
Fixpoint semantics for rule-base anomalies
ICCI '05 Proceedings of the Fourth IEEE International Conference on Cognitive Informatics
Quantifying information and contradiction in propositional logic through test actions
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Evaluating significance of inconsistencies
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Reasoning with inconsistent ontologies
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Approaches to measuring inconsistent information
Inconsistency Tolerance
Ontology-Based Requirements Conflicts Analysis in Activity Diagrams
ICCSA '09 Proceedings of the International Conference on Computational Science and Its Applications: Part II
Inconsistency: the good, the bad, and the ugly
IRI'09 Proceedings of the 10th IEEE international conference on Information Reuse & Integration
Perspectives on Cognitive Informatics and Cognitive Computing
International Journal of Cognitive Informatics and Natural Intelligence
Perspectives on the Field of Cognitive Informatics and its Future Development
International Journal of Cognitive Informatics and Natural Intelligence
On Localities of Knowledge Inconsistency
International Journal of Software Science and Computational Intelligence
| Hi-index | 0.00 |
Inconsistency and its handling are very important in the real worldand in the fields of computer science and artificial intelligence. When dealingwith inconsistency in a knowledge base (KB), there is a whole host of deeperissues we need to contend with in order to develop rational and robust intelligentsystems. In this paper, we focus our attention on one of the issues in copingwith KB inconsistency: how to measure the information content and thesignificance of inconsistency in a KB. Our approach is based on a fixpoint semanticsfor KB. The approach reflects each inconsistent set of rules in the leastfixpoint of a KB and then measures the inconsistency in the context of the leastfixpoint for the KB. Compared with the existing results, our approach has someunique benefits.