On Temporal Properties of Knowledge Base Inconsistency

Inconsistent knowledge and information in the real world often have to do with not only what conflicting circumstances are but also when they happen. As a result, only scrutinizing the logical forms that cause inconsistency may not be adequate. In this paper we describe our research work on the temporal characteristics of inconsistent knowledge that can exist in an intelligent system. We provide a formal definition for temporal inconsistency that is based on a logical-conflicting and temporal-coinciding dichotomy. The interval temporal logic underpins our treatment of temporally inconsistent propositions in a knowledge base. We also propose a systematic approach to identifying conflicting intervals for temporally inconsistent propositions. The results help delineate the semantic difference between the classical and temporal inconsistency.

[1]  Du Zhang,et al.  PREPARE: A Toll for Knowledge Base Verification , 1994, IEEE Trans. Knowl. Data Eng..

[2]  Du Zhang,et al.  Fixpoint semantics for rule-base anomalies , 2005, Fourth IEEE Conference on Cognitive Informatics, 2005. (ICCI 2005)..

[3]  Michael Clarke,et al.  Symbolic and Quantitative Approaches to Reasoning and Uncertainty , 1991, Lecture Notes in Computer Science.

[4]  Luqi,et al.  Approximate declarative semantics for rule base anomalies , 1999, Knowl. Based Syst..

[5]  Michael R. Genesereth,et al.  Logical foundations of artificial intelligence , 1987 .

[6]  M. Andrea Rodríguez,et al.  Inconsistency Issues in Spatial Databases , 2005, Inconsistency Tolerance.

[7]  Antony Galton,et al.  A unifying semantics for time and events , 2004, Artif. Intell..

[8]  John Rushby,et al.  Quality Measures and Assurance for AI (Artificial Intelligence) Software , 1988 .

[9]  Gerhard Lakemeyer,et al.  The logic of knowledge bases , 2000 .

[10]  Torsten Schaub,et al.  Inconsistency Tolerance , 2005, Lecture Notes in Computer Science.

[11]  James F. Allen.  Towards a General Theory of Action and Time , 1984, Artif. Intell..

[12]  Bashar Nuseibeh,et al.  Managing inconsistent specifications: reasoning, analysis, and action , 1998, TSEM.

[13]  Jinzhao Wu,et al.  Model Checking Temporal Aspects of Inconsistent Concurrent Systems Based on Paraconsistent Logic , 2006, Electron. Notes Theor. Comput. Sci..

[14]  Frank van Harmelen,et al.  Reasoning with Inconsistent Ontologies , 2005, IJCAI.

[15]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

[16]  James F. Allen,et al.  Actions and Events in Interval Temporal Logic , 1994 .

[17]  Hector J. Levesque,et al.  Knowledge Representation and Reasoning , 2004 .

[18]  John Rushby,et al.  Formal verification of AI software , 1989 .

[19]  E. Allen Emerson,et al.  Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[20]  J. Van Leeuwen,et al.  Handbook of theoretical computer science - Part A: Algorithms and complexity; Part B: Formal models and semantics , 1990 .

[21]  John Grant,et al.  Measuring inconsistency in knowledgebases , 2006, Journal of Intelligent Information Systems.

[22]  Jérôme Lang,et al.  Quantifying information and contradiction in propositional logic through test actions , 2003, IJCAI.

[23]  Du Zhang.  A Fix-Point Semantics for Rule-Base Anomalies , 2007, Int. J. Cogn. Informatics Nat. Intell..

[24]  Anthony Hunter,et al.  Measuring inconsistency in knowledge via quasi-classical models , 2002, AAAI/IAAI.

[25]  Dov M. Gabbay,et al.  Making Inconsistency Respectable: Part 2 - Meta-level handling of inconsistency , 1993, ECSQARU.

[26]  Anthony Hunter,et al.  Evaluating Significance of Inconsistencies , 2003, IJCAI.

[27]  Byung-Won On,et al.  Are your citations clean? , 2007, CACM.

[28]  Anthony Hunter,et al.  Approaches to Measuring Inconsistent Information , 2005, Inconsistency Tolerance.

[29]  Nancy G. Leveson,et al.  An investigation of the Therac-25 accidents , 1993, Computer.

[30]  Philip S. Yu,et al.  Truth Discovery with Multiple Conflicting Information Providers on the Web , 2008, IEEE Trans. Knowl. Data Eng..

[31]  Tim Menzies,et al.  Verification and Validation and Artificial Intelligence , 2005, Adv. Comput..

[32]  Zohar Manna,et al.  The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.

[33]  J. Elliott Smith,et al.  Book review: Readings in Knowledge Representation. Edited by Ronald J. Brachman and Hector J. Levesque (Morgan Kaufmann Publishers) , 1986, SGAR.