Towards a general theory of action and time
Artificial Intelligence
Logical foundations of artificial intelligence
Logical foundations of artificial intelligence
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
The logic of knowledge bases
PREPARE: A Tool for Knowledge Base Verification
IEEE Transactions on Knowledge and Data Engineering
Knowledge Representation and Reasoning
Knowledge Representation and Reasoning
A unifying semantics for time and events
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Measuring inconsistency in knowledgebases
Journal of Intelligent Information Systems
Model Checking Temporal Aspects of Inconsistent Concurrent Systems Based on Paraconsistent Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Approaches to measuring inconsistent information
Inconsistency Tolerance
Hi-index | 0.01 |
Real world inconsistent information often has to do with not only what conflicting circumstances are but also when they happen. In this paper we present our research work on the temporal characteristics of inconsistent information that can exist in an intelligent system. To facilitate the discussions, we use knowledge base (KB) to refer to the component in an intelligent system that contains knowledge about a problem domain. Knowledge in a KB can be represented in terms of different formalisms, and plays a pivotal role in how an intelligent system accomplishes its intended tasks. The main results reported in this paper include: (1) establishing a formal definition for temporal inconsistency for knowledge in a KB in terms of the interval temporal logic; (2) describing a systematic approach to identifying conflicting intervals for temporally inconsistent assertions in a KB; and (3) delineating the semantic difference between the classical and temporal inconsistency.