creators_name: Tin, Erkan creators_name: Akman, Varol type: journalp datestamp: 1998-06-16 lastmod: 2011-03-11 08:53:58 metadata_visibility: show title: Situated Nonmonotonic Temporal Reasoning with BABY-SIT ispublished: pub subjects: comp-sci-art-intel subjects: comp-sci-lang subjects: ling-comput subjects: ling-sem subjects: phil-logic full_text_status: public keywords: temporal reasoning, nonmonotonic reasoning, situation theory, BABY-SIT, PROSIT (programming in situation theory), ASTL (a situation theoretic language), YSP (Yale shooting problem), causal theories, KEE (knowledge engineering environment). 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. date: 1997 date_type: published publication: AI Communications volume: 10 pagerange: 93-109 refereed: TRUE citation: Tin, Erkan and Akman, Varol (1997) Situated Nonmonotonic Temporal Reasoning with BABY-SIT. [Journal (Paginated)] document_url: http://cogprints.org/462/2/aicom.ps