New Generation Computing

, Volume 4, Issue 1, pp 67–95 | Cite as

A logic-based calculus of events

  • Robert Kowalski
  • Marek Sergot
Regular Papers

Abstract

We outline an approach for reasoning about events and time within a logic programming framework. The notion of event is taken to be more primitive than that of time and both are represented explicitly by means of Horn clauses augmented with negation by failure.

The main intended applications are the updating of databases and narrative understanding. In contrast with conventional databases which assume that updates are made in the same order as the corresponding events occur in the real world, the explicit treatment of events allows us to deal with updates which provide new information about the past.

Default reasoning on the basis of incomplete information is obtained as a consequence of using negation by failure. Default conclusions are automatically withdrawn if the addition of new information renders them inconsistent.

Because events are differentiated from times, we can represent events with unknown times, as well as events which are partially ordered and concurrent.

Keywords

Event Calculus Logic Programming PROLOG Temporal Logic Database Updates Default Reasoning 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1).
    Allen, J. F., “Maintaining knowledge about temporal intervals,”TR-86, Computer Science Dept., Univ. of Rochester, January, 1981; also inCommun. ACM, 26 pp. 832–843, 1983.Google Scholar
  2. 2).
    Allen, J. F., “Towards a General Theory of Action and Time,”Artificial Intelligence, 23, pp. 123–154, 1984.MATHCrossRefGoogle Scholar
  3. 3).
    Bolour, A., Anderson, T. L., Dekeyser, L. J., and Wong, H. K. T., “The role of time in information processing: a survey,”ACM SIGMOD Review,Vol. 12,No. 3, April, 1982.Google Scholar
  4. 4).
    Kowalski, R. A.,Logic for Problem Solving, North-Holland/Elsevier, New York, 1979.MATHGoogle Scholar
  5. 5).
    McCarthy, J. and Hayes, P. J., “Some philosophical problems from the standpoint of artificial intelligence,” inMachine Intelligence, 4 (B. Meltzer and D. Michie, eds.), Edinburgh University Press, Edinburgh, 1969.Google Scholar
  6. 6).
    Lee, R. M., Coelho, H. and Cotta, J. C., “Temporal Inferencing on Administrative Databases,”Information Systems, Vol. 10, No. 2, pp. 197–206, 1985.CrossRefGoogle Scholar

Copyright information

© Ohmsha, Ltd. and Springer 1986

Authors and Affiliations

  • Robert Kowalski
    • 1
  • Marek Sergot
    • 1
  1. 1.Department of Computing, Imperial College of Science and TechnologyUniversity of LondonLondonUK

Personalised recommendations