Download PDF

International Conference on Temporal Logic

Publication date: 1994-01-01
Volume: 827 LNAI Pages: 301 - 316
ISSN: 3-540-58241-X, 9783540582410
Publisher: Springer

International Conference on Temporal Logic

Author:

Van Belleghem, Kristof
Denecker, Marc ; De Schreye, Danny ; Gabbay, D ; Ohlbach, HJ

Abstract:

© Springer-Verlag Berlin Heidelberg 1994. In earlier work, we have shown that the formalism of abductive logic programs with FOL integrity constraints provides, under a completion semantics, the same declarative expressivity for representing incomplete information as full first 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 expressive framework for temporal reasoning and representation. In this paper we demonstrate how this Abductive Event Calculus formalism provides a general framework for the representation and use of temporal databases. On the declarative level, it is particularly convenient for the representation of incomplete knowledge. Complementary, on the procedural level, we are able r provide a number of simple algorithms using abduction and deduction to test the consistency of the base, answer queries, update the database, handle complex formulas and resolve inconsistency. Furthermore, the use of the database for general temporal problem solving is possible using the known Event Calculus and Logic Programming methods. In particular we show how planning is possible in this kind of temporal database.