Intention is choice with commitment
Artificial Intelligence
Proceedings of the first international conference on Principles of knowledge representation and reasoning
UAI '90 Proceedings of the Sixth Annual Conference on Uncertainty in Artificial Intelligence
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop
Reasoning about knowledge and probability
TARK '88 Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge
Decision-making in an embedded reasoning system
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Commitment and effectiveness of situated agents
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Asymmetry thesis and side-effect problems in linear-time and branching-time intention logics
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
DALT'11 Proceedings of the 9th international conference on Declarative Agent Languages and Technologies
Fundamenta Informaticae - Logic, Language, Information and Computation
Journal of Artificial Intelligence Research
Hi-index | 0.00 |
Deliberation plays an important role in the design of rational agents embedded in the real-world. In particular, deliberation leads to the formation of intentions, i.e., plans of action that the agent is committed to achieving. In this paper, we present a branching time possible-worlds model for representing and reasoning about, beliefs, goals, intentions, time, actions, probabilities, and payoffs. We compare this possible-worlds approach with the more traditional decision tree representation and provide a transformation from decision trees to possible worlds. Finally, we illustrate how an agent can perform deliberation using a decision-tree representation and then use a possible-worlds model to form and reason about his intentions.