This site has been permanently archived. This is a static copy provided by the University of Southampton.
--- 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." altloc: - http://www.cs.bilkent.edu.tr/~akman/jour-papers/aicom/aicom.ps chapter: ~ commentary: ~ commref: ~ confdates: ~ conference: ~ confloc: ~ contact_email: ~ creators_id: [] creators_name: - family: Tin given: Erkan honourific: '' lineage: '' - family: Akman given: Varol honourific: '' lineage: '' date: 1997 date_type: published datestamp: 1998-06-16 department: ~ dir: disk0/00/00/04/62 edit_lock_since: ~ edit_lock_until: ~ edit_lock_user: ~ editors_id: [] editors_name: [] eprint_status: archive eprintid: 462 fileinfo: /style/images/fileicons/application_postscript.png;/462/2/aicom.ps full_text_status: public importid: ~ institution: ~ isbn: ~ ispublished: pub issn: ~ item_issues_comment: [] item_issues_count: 0 item_issues_description: [] item_issues_id: [] item_issues_reported_by: [] item_issues_resolved_by: [] item_issues_status: [] item_issues_timestamp: [] item_issues_type: [] 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).' lastmod: 2011-03-11 08:53:58 latitude: ~ longitude: ~ metadata_visibility: show note: ~ number: ~ pagerange: 93-109 pubdom: FALSE publication: AI Communications publisher: ~ refereed: TRUE referencetext: ~ relation_type: [] relation_uri: [] reportno: ~ rev_number: 10 series: ~ source: ~ status_changed: 2007-09-12 16:28:21 subjects: - comp-sci-art-intel - comp-sci-lang - ling-comput - ling-sem - phil-logic succeeds: ~ suggestions: ~ sword_depositor: ~ sword_slug: ~ thesistype: ~ title: Situated Nonmonotonic Temporal Reasoning with BABY-SIT type: journalp userid: 178 volume: 10