This site has been permanently archived. This is a static copy provided by the University of Southampton.

TY - GEN ID - cogprints462 UR - http://cogprints.org/462/ A1 - Tin, Erkan A1 - Akman, Varol Y1 - 1997/// N2 - 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. KW - temporal reasoning KW - nonmonotonic reasoning KW - situation theory KW - BABY-SIT KW - PROSIT (programming in situation theory) KW - ASTL (a situation theoretic language) KW - YSP (Yale shooting problem) KW - causal theories KW - KEE (knowledge engineering environment). TI - Situated Nonmonotonic Temporal Reasoning with BABY-SIT SP - 93 AV - public EP - 109 ER -