Reasoning about action I: a possible worlds approach
Artificial Intelligence
Proceedings of the first international conference on Artificial intelligence planning systems
Proving properties of states in the situation calculus
Artificial Intelligence
Non-monotonic temporal reasoning
Handbook of logic in artificial intelligence and logic programming (Vol. 4)
Artificial Intelligence
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
On Formalizing Database Updates: Preliminary Report
EDBT '92 Proceedings of the 3rd International Conference on Extending Database Technology: Advances in Database Technology
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
Plan synthesis: a logical perspective
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 1
| Hi-index | 0.00 |
Non-situation calculus is a way to describe dynamic worlds using first order logic, where a theory is written from the viewpoint of a situation (the propositional fluents hold in that situation). We introduced some functions to allow describing propositional fluents that hold in other situations. We define "progression" as a transformation that changes the situation represented by a non-situation calculus. The semantics counterpart of progression, function Δ, transforms an interpretation of a non-situation calculus relative to a situation into an interpretation of a non-situation calculus relative to another situation. We propose using non-situation calculus to study database dynamics by representing a database as a non-situation calculus theory, by representing transactions as changes and by associating the database that results from executing a transaction to the progression of the theory.