System properties of action theories

Authors:
Norman Foo;Pavlos Peppas
Affiliations:
School of Computer Science and Engineering, University of New South Wales, Sydney, Australia;Dept of Business Administration, University of Patras, Patras, Greece
Venue:
AIS'04 Proceedings of the 13th international conference on AI, Simulation, and Planning in High Autonomy Systems
Year:
2004

Citing 9
Cited 1

Nonmonotonic logic and temporal projection

Artificial Intelligence
Nonmonotonic reasoning in the framework of situation calculus

Artificial Intelligence - Special issue on knowledge representation
Circumscription

Handbook of logic in artificial intelligence and logic programming (vol. 3)
Deriving invariants and constraints from action theories

Fundamenta Informaticae
Solving the frame problem: a mathematical investigation of the common sense law of inertia

Solving the frame problem: a mathematical investigation of the common sense law of inertia
From situation calculus to fluent calculus: state update axioms as a solution to the inferential frame problem

Artificial Intelligence
Theory of Modeling and Simulation

Theory of Modeling and Simulation
State Minimization Re-visited

AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Theories of abstract automata (Prentice-Hall series in automatic computation)

Theories of abstract automata (Prentice-Hall series in automatic computation)

State Minimization Re-visited

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

Quantified Score

Hi-index	0.00

Visualization

Abstract

Logic-based theories of action and automata-based systems theories share concerns about state dynamics that are however not reflected by shared insights. As an example of how to remedy this we examine a simple variety of situation calculus theories from the viewpoint of system-theoretic properties to reveal relationships between them. These provide insights into relationships between logic-based solution policies, and are suggestive of similar relationships for more complex versions.