Temporal Reasoning with Abductive Event Calculus
نویسندگان
چکیده
We present the SLDNFA procedure, which integrates two important nonmonotonic paradigms, negation as failure and abduction. The main diierence between SLDNFA and existing approaches is the improved treatment of non-ground abductive goals. We present an extension for temporal reasoning based on Abductive Event Calculus. We show the power of the approach by applying it to planning and solving well-known temporal reasoning problems. Interestingly, the procedure generates partial plans; the order of events is left unspeciied when they do not interfere.
منابع مشابه
Representing Continuous Change in the Abductive Event Calculus
In this paper we extend the Abductive Event Calculus, a variant and extension of the Event Calculus of Kowalski and Sergot, with a representation for continuous change. We assume the change is not exactly known and use constraints to represent the available knowledge. The resulting logic program can be executed by the SLDNFA abductive procedure of Denecker and De Schreye. We show how our repres...
متن کاملThe Abductive Event Calculus as a General Framework for Temporal Databases
In earlier work, we have shown that the formalism of ab-ductive logic programs with FOL integrity constraints provides, under a completion semantics, the same declarative expressivity for representing incomplete information as full rst order logic. We have shown how the combination of this formalism with a variant of the Event Calculus of Kowalski and Sergot results in a correct and very expres...
متن کاملTemporal Reasoning with Ii-abduction Second Draft
Abduction can be deened as reasoning from observations to causes. In the context of dynamic systems and temporal domains, an important part of the background knowledge consists of causal information. The section shows how in the context of event calculus, diierent reasoning problems in a broad class of temporal reasoning domains can be mapped to abductive reasoning problems. The domains conside...
متن کاملCausal interaction: from a high-level representation to an operational event-based representation
We propose to extend the temporal causal graph formalisms used in model-based diagnosis in order to deal with non trivial interactions like (partial) cancellation of fault effects. A high-level causal language is defined in which properties such as the persistence of effects and the triggering or sustaining properties of causes can be expressed. Various interaction phenomena are associated with...
متن کاملA Temporal Abductive Diagnostic Process for Runtime Properties Violations
The monitoring of properties of complex software systems can provide the core functionality for detecting violations of such properties. However, the violations detection cannot be always sufficient for the preservation of the properties. Except for the detection, the explanations of the occurrence of a violation could play significant role for the preservation task. In particular, diagnosis ca...
متن کامل