Formal theories of action (preliminary report)

Authors:
Vladimir Lifschitz
Affiliations:
Computer Science Department, Stanford University, Stanford, CA
Venue:
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
Year:
1987

Citing 3
Cited 14

Applications of circumscription to formalizing common-sense knowledge

Artificial Intelligence
Exploiting constraints in design synthesis

Exploiting constraints in design synthesis
Simple causal minimizations for temporal persistence and projection

AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1

Addressing the Qualification Problem in FLUX

KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
Challenges for action theories

Challenges for action theories
Simple causal minimizations for temporal persistence and projection

AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Simple causal minimizations for temporal persistence and projection

AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Practical temporal projection

AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
A formal theory of multiple agent nonmonotonic reasoning

AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
The generalized theory of model preference

AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
A critique of Yoav Shoham's theory of causal reasoning

AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Restricted monotonicity

AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
On the masking effect

AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Qualified ramifications

AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
How does a box work? A study in the qualitative dynamics of solid objects

Artificial Intelligence
Causal logic programming

Correct Reasoning
Formal Real-Time Imagination

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract

We apply circumscription to formalizing reasoning about the effects of actions in the framework of the situation calculus. The axiomatic description of causal connections between actions and changes allows us to solve the qualification problem and the frame problem using only simple forms of circumscription. The method is applied to the Hanks--McDermott shooting problem and to a blocks world in which blocks can be moved and painted.