Tin, Erkan and Akman, Varol (1997) Situated Nonmonotonic Temporal Reasoning with BABY-SIT. [Journal (Paginated)]
Full text available as:
![[img]](../style/images/fileicons/application_postscript.png) |
Postscript
842Kb |
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.
| Item Type: | Journal (Paginated) |
|---|---|
| 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). |
| Subjects: | Computer Science > Artificial Intelligence Computer Science > Language Linguistics > Computational Linguistics Linguistics > Semantics Philosophy > Logic |
| ID Code: | 462 |
| Deposited By: | Akman, Varol |
| Deposited On: | 16 Jun 1998 |
| Last Modified: | 11 Mar 2011 08:53 |
Metadata
- ASCII Citation
- Atom
- BibTeX
- Dublin Core
- EP3 XML
- EPrints Application Profile (experimental)
- EndNote
- HTML Citation
- ID Plus Text Citation
- JSON
- METS
- MODS
- MPEG-21 DIDL
- OpenURL ContextObject
- OpenURL ContextObject in Span
- RDF+N-Triples
- RDF+N3
- RDF+XML
- Refer
- Reference Manager
- Search Data Dump
- Simple Metadata
- YAML
Repository Staff Only: item control page
