Work

Situated nonmonotonic temporal reasoning with BABYdSIT

Year: 1997

Type: article

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.

Source: Bilkent University Institutional Repository (Bilkent University)

Authors: Erkan Tın, Varol Akman

Institution: Bilkent University

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W2143534232

FWCI:

Cites: 21

Cited by: 8

Related to: 10