Nonmonotonic logic and temporal projection
Artificial Intelligence
Toward a mathematical theory of plan synthesis
Toward a mathematical theory of plan synthesis
Readings in nonmonotonic reasoning
Miracles in formal theories of action
Artificial Intelligence
Predicate calculus and program semantics
Predicate calculus and program semantics
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
Features and fluents (vol. 1): the representation of knowledge about dynamical systems
Features and fluents (vol. 1): the representation of knowledge about dynamical systems
A Discipline of Programming
Program Verification Techniques as a Tool for Reasoning about Action and Change
KI '94 Proceedings of the 18th Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
Reasoning about Action and Change: Actions with Abnormal Effects
KI '95 Proceedings of the 19th Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Challenges for action theories
Challenges for action theories
| Hi-index | 0.00 |
We apply Dijkstra's semantics for programming languages to formalization of reasoning about action and change. The basic idea is to view actions as formula transformers, i.e. functions from formulae into formulae. The major advantage of our proposal is that it is very simple and more effective than most of other approaches. Yet, it deals with a broad class of actions, including those with random and indirect effects. Also, both temporal prediction and postdiction reasoning tasks can be solved without restricting initial nor final states to completely specified.