Philosophical Explorations (1997)
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.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
General Patterns for Nonmonotonic Reasoning: From Basic Entailments to Plausible Relations.O. Arieli & A. Avron - 2000 - Logic Journal of the IGPL 8 (2):119-148.
Nonmonotonic Reasoning: Logical Foundations of Commonsense.Gerhard Brewka (ed.) - 1991 - Cambridge University Press.
Efficient Reasoning About Rich Temporal Domains.Yoav Shoham - 1988 - Journal of Philosophical Logic 17 (4):443 - 474.
Information-Oriented Computation with Baby-Sit.Erkan Tin & Varol Akman - 1996 - In Jerry Seligman & Dag Westerståhl (eds.), [Book Chapter]. Csli Publications, Stanford. pp. 19--34.
Added to index2009-01-28
Total downloads6 ( #560,524 of 2,171,923 )
Recent downloads (6 months)1 ( #326,615 of 2,171,923 )
How can I increase my downloads?