Logics of time and computation
Logics of time and computation
Nonmonotonic logic and temporal projection
Artificial Intelligence
Chronological ignorance: experiments in nonmonotonic temporal reasoning
Artificial Intelligence
Nonmonotonic reasoning in the framework of situation calculus
Artificial Intelligence - Special issue on knowledge representation
Two counterexamples related to Baker's approach to the frame problem
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
First-Order Dynamic Logic
Semantical consideration on floyo-hoare logic
SFCS '76 Proceedings of the 17th Annual Symposium on Foundations of Computer Science
Plan synthesis: a logical perspective
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 1
EPDL: a logic for causal reasoning
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
| Hi-index | 0.00 |
We present a framework for backward and forward temporal projection that combines dynamic and temporal logic. A propositional dynamic logic for reasoning about actions is extended with temporal modalities; the syntax of this extension differs from the syntax of the converse of programs, previously understood as backwards modalities. An application is carried out to benchmark postdiction examples such as the Stanford Murder Mystery [1] and the Two-Buses Problem [8]. A method for automatically generating frame axioms is used; the axioms so generated are treated as supplementary axioms in the associated proof theory. In future work, we hope to embed this system into a more comprehensive logic for reasoning about actions that enables a unified treatment of the frame, qualification and ramification problems and to work with more 'scaled-up' examples.