Graduate studies at Western
|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.|
|Keywords||No keywords specified (fix it)|
No categories specified
(categorize this paper)
|Through your library||Configure|
Similar books and articles
Henry E. Kyburg (2001). Real Logic is Nonmonotonic. Minds and Machines 11 (4):577-595.
Arnon Avron, General Patterns for Nonmonotonic Reasoning: From Basic Entailments to Plausible Relations.
Gerhard Brewka (1991). Nonmonotonic Reasoning: Logical Foundations of Commonsense. Cambridge University Press.
Yoav Shoham (1988). Efficient Reasoning About Rich Temporal Domains. Journal of Philosophical Logic 17 (4):443 - 474.
Added to index2009-01-28
Total downloads3 ( #213,434 of 722,946 )
Recent downloads (6 months)1 ( #61,087 of 722,946 )
How can I increase my downloads?