Situated nonmonotonic temporal reasoning with BABY-SIT

AI Communications 10 (2):93-109 (1997)
  Copy   BIBTEX

Abstract

After a review of situation theory and previous attempts at 'computational' situation theory, we present a new programming environment, BABY-SIT, which is based on situation theory. We then demonstrate how problems requiring formal temporal reasoning can be solved in this framework. Specifically, the Yale Shooting Problem, which is commonly regarded as a canonical problem for nonmonotonic temporal reasoning, is implemented in BABY-SIT using Yoav Shoham's causal theories.

Other Versions

No versions found

Similar books and articles

BABY-SIT: a computational medium based on situations.Erkan Tin & Varol Akman - 1993 - In Paul Dekker & Martin Stokhof, 9th Amsterdam Colloquium. Amsterdam, The Netherlands: Institute for Logic, Language and Computation.
Information-oriented computation with BABY-SIT.Erkan Tin & Varol Akman - 1996 - In Jerry Seligman & Dag Westerståhl, Logic, Language and Computation, Volume 1. Stanford, CA: Center for the Study of Language and Information Publications. pp. 19-34.
Computing with causal theories.Erkan Tin & Varol Akman - 1992 - International Journal of Pattern Recognition and Artificial Intelligence 6 (4):699-730.
Efficient reasoning about rich temporal domains.Yoav Shoham - 1988 - Journal of Philosophical Logic 17 (4):443 - 474.
The logic of counteraction.Erkan Tin & Varol Akman - 1993 - Elektrik 1 (3):167-181.

Analytics

Added to PP
2009-01-28

Downloads
366 (#81,362)

6 months
77 (#81,547)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Varol Akman
Bilkent University

References found in this work

No references found.

Add more references