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.
KeywordsBDI Agents Modal Logic Nonmonotonic Logic Belief Revision
Unable to display preview. Download preview PDF.
- 3.Bratman, M.E.: Intention, Plans, and Practical Reason. Harvard University Press, Cambridge (1987)Google Scholar
- 4.Busetta, P., Ronnquist, R., Hodgson, A., Lucas, A.: JACK Intelligent Agents - Components for Intelligent Agents in Java. Agent Oriented Software Pty. Ltd., Melbourne (1998)Google Scholar
- 6.Luck, M., McBurney, P., Shehory, O., Willmott, S.: Agent Technology Roadmap: A Roadmap for Agent Based Computing, AgentLink III (2005)Google Scholar
- 8.Parsons, S., Giorgini, P.: On using degrees of belief in BDI agents. In: Proceedings of International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (1998)Google Scholar