Reasoning with Levels of Modalities in BDI Logic

Authors:
Jeff Blee;David Billington;Abdul Sattar
Affiliations:
Institute for Integrated and Intelligent Systems, Griffith University, Queensland, Australia 4111;Institute for Integrated and Intelligent Systems, Griffith University, Queensland, Australia 4111;Institute for Integrated and Intelligent Systems, Griffith University, Queensland, Australia 4111
Venue:
Agent Computing and Multi-Agent Systems
Year:
2009

Citing 4
Cited 4

AgentSpeak(L): BDI agents speak out in a logical computable language

MAAMAW '96 Proceedings of the 7th European workshop on Modelling autonomous agents in a multi-agent world : agents breaking away: agents breaking away
Seeing is Believing

AI*IA '95 Proceedings of the 4th Congress of the Italian Association for Artificial Intelligence on Topics in Artificial Intelligence
Defeasible logic

INAP'01 Proceedings of the Applications of prolog 14th international conference on Web knowledge management and decision support
Graded BDI models for agent architectures

CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems

Belief-Goal Relationships in Possibilistic Goal Generation

Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
A graded BDI agent model to represent and reason about preferences

Artificial Intelligence
A Syntactic Possibilistic Belief Change Operator for Cognitive Agents

WI-IAT '11 Proceedings of the 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Volume 02
A syntactic possibilistic belief change operator: Theory and empirical study

Web Intelligence and Agent Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.