Handbook of logic in artificial intelligence and logic programming (vol. 3)
Formalizing sensing actions—a transition function based approach
Artificial Intelligence
Some Alternative Formulations of the Event Calculus
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Knowledge, action, and the frame problem
Artificial Intelligence
Knowledge and the action description language 𝒜
Theory and Practice of Logic Programming
Commonsense Reasoning
Progression of situation calculus action theories with incomplete information
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Reasoning about the interaction of knowlege, time and concurrent actions in the situation calculus
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
A reasoning framework for ambient intelligence
SETN'10 Proceedings of the 6th Hellenic conference on Artificial Intelligence: theories, models and applications
A production rule-based framework for causal and epistemic reasoning
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
| Hi-index | 0.00 |
We propose a new framework for reasoning about knowledge, action and time for domains that include actions with non-deterministic and context-dependent effects. The axiomatization is based on the Event Calculus and combines the expressiveness of possible worlds semantics with the efficiency of approaches that dispense the use of the accessibility relation. The framework is proved logically sound and, when restricted to deterministic domains, is also logically complete. To prove correctness of the approach, we construct a knowledge theory based on a branching version of the Event Calculus and study their correlation.