|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 13 van 14 gevonden artikelen
| Titel: |
Situated nonmonotonic temporal reasoning with BABY-SIT |
| Auteur: |
Erkan Tın Varol Akman |
| Verschenen in: |
AI communications |
| Paginering: | Jaargang 10 (2001) nr. 2 pagina's 93-109 |
| Jaar: |
2001-04-01 |
| Inhoud: |
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. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 13 van 14 gevonden artikelen
| << vorige | volgende >> |