Deriving Invariants and Constraints from Action Theories

Authors:
Yan Zhang;Norman Y. Foo
Affiliations:
Department of Computing, University of Western Sydney, Nepean, Kingswood, NSW 2747, Australia. E-mail: yan@st.nepean.uws.edu.au;Department of Artificial Intelligence, School of Computer Science and Engineering, University of New South Wales, Sydney, NSW 2052, Australia. E-mail: norman@cse.unsw.edu.au
Venue:
Fundamenta Informaticae
Year:
1997

Citing 8
Cited 0

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

Proceedings of the first international conference on Principles of knowledge representation and reasoning
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
Proving properties of states in the situation calculus

Artificial Intelligence
Equality and Domain Closure in First-Order Databases

Journal of the ACM (JACM)
STRIPS: a new approach to the application of theorem proving to problem solving

IJCAI'71 Proceedings of the 2nd international joint conference on Artificial intelligence
Reasoning about persistence: a theory of actions

IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Deriving properties of belief update from theories of action (II)

IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Computing circumscription

IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1

Quantified Score

Hi-index	0.00

Visualization

Abstract

Recent work on reasoning about action has shown that there exists an interesting connection between action specifications and state constraints — it is possible to extract state constraints from action specifications. This work provides us another way to describe the behaviour of dynamic systems. In this paper, we address the problem of generating action invariants from action specifications, and generalizing action invariants into state constraints. We first propose a persistence-based formalism of actions, and show that the generation of action invariants is achieved from action specifications by reasoning about persistence. We then investigate the generalization of action invariants into state constraints. Blocks world examples illustrate the general procedure throughout.