Situated nonmonotonic temporal reasoning with BABY-SIT

Files

Situated nonmonotonic temporal reasoning with BABY-SIT.pdf (432.29 KB)

Date

1997

Authors

Tın, E.
Akman, V.

Editor(s)

Advisor

Supervisor

Co-Advisor

Co-Supervisor

Instructor

Source Title

AI Communications

Print ISSN

0921-7126

Electronic ISSN

1875-8452

Publisher

IOS Press

Volume

10

Issue

2

Pages

93 - 109

Language

English

Type

Article

Journal Title

Journal ISSN

Volume Title

Attention Stats
Usage Stats
2
views
5
downloads

Series

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.

Course

Other identifiers

Book Title

Keywords

Cognitive Systems, Formal Logic, Logic Programming, Problem Solving, Situation Theory, Temporal Reasoning, Uniformities, Yale Shooting Problem, Yoav Shoham Causal Theories, Artificial Intelligence

Degree Discipline

Degree Level

Degree Name

Citation

Permalink

http://hdl.handle.net/11693/25620

Published Version (Please cite this version)

Collections

Scholarly Publications - Computer Engineering