Situated nonmonotonic temporal reasoning with BABY-SIT

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


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.

Author's Profile

Varol Akman
Bilkent University


Added to PP

218 (#68,380)

6 months
91 (#49,490)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?