---
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
<script src="//archive-bar.soton.ac.uk/archive-bar.js"></script>