Situated nonmonotonic temporal reasoning with BABY‐SIT

Authors:
Erkan Tın;Varol Akman
Affiliations:
Department of Computer Engineering and Information Science, Bilkent University, Bilkent, Ankara 06533, Turkey E‐mail: {tin,akman}@cs.bilkent.edu.tr;Department of Computer Engineering and Information Science, Bilkent University, Bilkent, Ankara 06533, Turkey E‐mail: {tin,akman}@cs.bilkent.edu.tr (To whom corresponde ...
Venue:
AI Communications
Year:
1997

Citing 10
Cited 2

The liar; an essay in truth and circularity

The liar; an essay in truth and circularity
Nonmonotonic logic and temporal projection

Artificial Intelligence
Reasoning about change: time and causation from the standpoint of artificial intelligence

Reasoning about change: time and causation from the standpoint of artificial intelligence
Problems in formal temporal reasoning

Artificial Intelligence
Chronological ignorance: experiments in nonmonotonic temporal reasoning

Artificial Intelligence
Logic and information

Logic and information
Three lectures on situation theoretic grammar

EAIA '90 Proceedings of the 2nd advanced school in artifical intelligence on Natural language processing
Integrating rules and connectionism for robust commonsense reasoning

Integrating rules and connectionism for robust commonsense reasoning
Computational situation theory

ACM SIGART Bulletin
Towards situation-oriented programming languages

ACM SIGPLAN Notices

Of situations and their neighbors: evolution and similarity in ontology-based approaches to situation awareness

CONTEXT'07 Proceedings of the 6th international and interdisciplinary conference on Modeling and using context
Formal foundations for situation awareness based on dependent type theory

Information Fusion

Quantified Score

Hi-index	0.00

Visualization

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.