Reasoning with Levels of Modalities in BDI Logic
نویسندگان
چکیده
Modelling real world problems using rational agents has been heavily investigated over the past two decades. BDI (Beliefs, Desires, and Intentions) Logic has been widely used to represent and reason about rational agency. However, in the real world, we often have to deal with different levels of confidence in the beliefs we hold, desires we have, and intentions that we commit to. This paper proposes the basis of a framework that extends BDI Logic to take into account qualitative levels of the mentalistic notions of beliefs, desires, and intentions. We also describe a set of axioms and properties of the extended logic.
منابع مشابه
Reasoning about BDI Agents from a Programming Languages Perspective
In this paper, we summarize an approach to reasoning about a class of BDI agent architectures based on PRS. The theory is formalized using a logic, Agent Dynamic Logic (ADL), that combines elements from Computation Tree Logic, Propositional Dynamic Logic and Rao and Georgeff’s BDI Logic. The motivation of this work is to develop a logical framework that is at once rigorous in providing formal n...
متن کاملA review of “ Reasoning About Rational Agents ”
Reasoning About Rational Agents is concerned with developing practical reasoning (as contrasted with theoretical reasoning) for rational computer agents within the “Belief, Desire, Intention” model. The BDI model for computer agents is based on the theory of rational action in humans put forward in 1988 by the philosopher M. Bratman in his book Intention, Plans and Practical Reason. BDI logics ...
متن کاملA Framework for Multi-criteria Argumentation-Based Decision Making within a BDI Agent
The BDI model, as a practical reasoning architecture aims at making decisions about what to do based on cognitives notions as beliefs, desires and intentions. However, during the decision making process, BDI agents also have to make background decisions like choosing what intention to achieve next from a set of possibly conflicting desires; which plan to execute from among the plans that satisf...
متن کاملMulti-criteria Argumentation-Based Decision Making within a BDI Agent
The BDI model, as a practical reasoning architecture aims at making decisions about what to do based on cognitives notions as beliefs, desires and intentions. However, during the decision making process, BDI agents also have to make background decisions like choosing what intention to achieve next from a set of possibly conflicting desires; which plan to execute from among the plans that satisf...
متن کاملReasoning about Rational Agents: A Review
fers a thorough study of the logical foundations of the belief-desire-intention (BDI) model of rational agency. The origins of the BDI model lie in the theory of human practical reasoning developed by the philosopher Michael Bratman (1987) in the mid-1980s. The theory was further developed by the members of the Rational Agency Project at SRI International and has seen a number of successful imp...
متن کامل