Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Reasoning agents in dynamic domains
Logic-based artificial intelligence
Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
Diagnostic reasoning with A-Prolog
Theory and Practice of Logic Programming
Activity recognition with intended actions
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Formalization of psychological knowledge in answer set programming and its application
Theory and Practice of Logic Programming
ASP as a cognitive modeling tool: short-term memory and long-term memory
Logic programming, knowledge representation, and nonmonotonic reasoning
Reasoning with actions in transaction logic
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
Reasoning about the intentions of agents
Logic Programs, Norms and Action
Applications of action languages in cognitive robotics
Correct Reasoning
Hi-index | 0.00 |
In most research on reasoning about actions and reasoning about narratives one either reasons about hypothetical execution of actions, or about actions that actually occurred. In this paper we develop a high level language that allows the expression of intended or planned action sequences. Unlike observed action occurrences, planned or intended action occurrences may not actually take place. But often when they do not take place, they persist, and happen at an opportune future time. We give the syntax and semantics for expressing such intentions. We then give a logic programming axiomatization and show the correspondence between the semantics of a description in the high level language, and the answer sets of the corresponding logic programming axiomatization. We illustrate the application of our formalism with respect to reasoning about trips.