Provably correct theories of action

Authors:
Fangzhen Lin;Yoav Shoham
Affiliations:
Univ. of Toronto, Toronto, Ont., Canada;Stanford Univ., Stanford, CA
Venue:
Journal of the ACM (JACM)
Year:
1995

Citing 11
Cited 8

Applications of circumscription to formalizing common-sense knowledge

Artificial Intelligence
Concurrent dynamic logic

Journal of the ACM (JACM)
Nonmonotonic logic and temporal projection

Artificial Intelligence
On the declarative semantics of logic programs with negation

Readings in nonmonotonic reasoning
Chronological ignorance: experiments in nonmonotonic temporal reasoning

Artificial Intelligence
Miracles in formal theories of action

Artificial Intelligence
On the representation of concurrent actions in the situation calculus

Proceedings of the eighth biennial conference of the Canadian Society for Computational Studies of Intelligence on CSCSI-90
Frames in the space of situations (research note)

Artificial Intelligence
ADL: exploring the middle ground between STRIPS and the situation calculus

Proceedings of the first international conference on Principles of knowledge representation and reasoning
Nonmonotonic reasoning in the framework of situation calculus

Artificial Intelligence - Special issue on knowledge representation
The frame problem in situation the calculus: a simple solution (sometimes) and a completeness result for goal regression

Artificial intelligence and mathematical theory of computation

Complexity results for structure-based causality

Artificial Intelligence
Logic-Based Hybrid Agents

Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Solving the Qualification Problem

AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Consistency of Action Descriptions

PRICAI '02 Proceedings of the 7th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
Change, change, change: three approaches

IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Reasoning about action: an argumentation-theoretic approach

Journal of Artificial Intelligence Research
Addressing the homeland security problem: a collaborative decision-making framework

ISI'03 Proceedings of the 1st NSF/NIJ conference on Intelligence and security informatics
Beyond minimizing change

AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence

Quantified Score

Hi-index	0.01

Visualization

Abstract

We investigate logical formalization of the effects of actions in the situation calculus. We propose a formal criterion against which to evaluate theories of deterministic actions. We show how the criterion provides us a formal foundation upon which to tackle the frame problem, as well as its variant in the context of concurrent actions. Our main technical contributions are in formulating a wide class of monotonic causal theories that satisfy the criterion, and showing that each such theory can be reformulated succinctly in circumscription.