Fixpoint semantics for logic programming a survey
Theoretical Computer Science
Fixpoint semantics for rule-base anomalies
ICCI '05 Proceedings of the Fourth IEEE International Conference on Cognitive Informatics
Quantifying knowledge base inconsistency via fixpoint semantics
Transactions on computational science II
Toward a Classification of Antagonistic Manifestations of Knowledge
ICTAI '10 Proceedings of the 2010 22nd IEEE International Conference on Tools with Artificial Intelligence - Volume 01
Inconsistency-Induced Learning for Perpetual Learners
International Journal of Software Science and Computational Intelligence
Hi-index | 0.00 |
Inconsistency is commonplace in the real world in long-term memory and knowledge based systems. Managing inconsistency is considered a hallmark of the plasticity of human intelligence. Belief revision is an important mental process that underpins human intelligence. To facilitate belief revision, it is necessary to know the localities and contexts of inconsistency and how different types of inconsistency are clustered. In this paper, the author provides a formal definition of locality of inconsistency and describes how to identify clusters of inconsistent circumstances in a knowledge base. The results pave the way for a disciplined approach to manage knowledge inconsistency.