×

Levels of modality for BDI logic. (English) Zbl 1248.68469

Summary: The use of rational agents for modelling real world problems has both been heavily investigated and become well accepted, with BDI (Beliefs, Desires, and Intentions) Logic being a widely used architecture 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 extends our previous framework that integrated qualitative levels of beliefs, desires, and intentions into BDI Logic. We describe an expanded set of axioms and properties of the extended logic. We present a modular structure for the semantics which involves a non-normal Kripke type semantics that may be used for other agent systems. Further, we demonstrate the usefulness of our framework with a scheduling task example.

MSC:

68T27 Logic in artificial intelligence
03B42 Logics of knowledge and belief (including belief change)
68T42 Agent technology and artificial intelligence

Software:

AgentSpeak; Jason
PDFBibTeX XMLCite
Full Text: DOI Link

References:

[1] Antoniou, G.; Billington, D.; Governatori, G.; Maher, M. J., Representation results for defeasible logic, ACM Trans. Comput. Log., 2, 2, 255-287 (2001) · Zbl 1171.68740
[2] Billington, D., Defeasible logic is stable, J. Logic Comput., 3, 4, 379-400 (1993) · Zbl 0808.03011
[3] Blee, J.; Billington, D.; Sattar, A., Reasoning with levels of modalities in BDI logic, (Ghose, A. K.; Governatori, G.; Sadananda, R., Agent Computing and Multi-Agent Systems, 10th Pacific Rim International Conference on Multi-Agents, PRIMA 2007. Agent Computing and Multi-Agent Systems, 10th Pacific Rim International Conference on Multi-Agents, PRIMA 2007, Lecture Notes in Comput. Sci., vol. 5044 (2007), Springer-Verlag), 410-415
[4] Blee, J.; Billington, D.; Governatori, G.; Sattar, A., Levels of modalities for bdi logic, (Proceedings of Workshop on Logics for Intelligent Agents and Multi-Agent Systems (WLIAMAS08) (2008), IEEE: IEEE Sydney, Australia), 647-650
[5] R.H. Bordini, J.F. Hubner, Jason: A Java-based AgentSpeak interpreter for an extended version of AgentSpeak, 9th edition, February 2007, URL http://jason.sourceforge.net/Jason.pdf; R.H. Bordini, J.F. Hubner, Jason: A Java-based AgentSpeak interpreter for an extended version of AgentSpeak, 9th edition, February 2007, URL http://jason.sourceforge.net/Jason.pdf
[6] Bordini, R. H.; Hübner, J. F.; Vieira, R., Jason and the golden fleece of agent-oriented programming, (Bordini, R. H.; Dastani, M.; Dix, J.; Fallah-Seghrouchni, A. E., Multi-Agent Programming. Multi-Agent Programming, Multiagent Systems, Artificial Societies, and Simulated Organizations, vol. 15 (2005), Springer), 3-37
[7] Bratman, M. E., Intention, Plans, and Practical Reason (1987), Harvard University Press: Harvard University Press Cambridge, MA
[8] P. Busetta, R. Ronnquist, A. Hodgson, A. Lucas, Jack intelligent agents - components for intelligent agents in Java, Tech. rep., Agent Oriented Software Pty. Ltd., Melbourne, Australia, 1998.; P. Busetta, R. Ronnquist, A. Hodgson, A. Lucas, Jack intelligent agents - components for intelligent agents in Java, Tech. rep., Agent Oriented Software Pty. Ltd., Melbourne, Australia, 1998.
[9] Casali, A.; Godo, L.; Sierra, C., Graded bdi models for agent architectures, (Leite, J. A.; Torroni, P., CLIMA V. CLIMA V, Lecture Notes in Comput. Sci., vol. 3487 (2004), Springer), 126-143 · Zbl 1081.68681
[10] A. Casali, L. Godo, C. Sierra, Multi-context specification for graded bdi agents, in: Proceedings of CONTEXT-05, Research Report LIP 6, 2005.; A. Casali, L. Godo, C. Sierra, Multi-context specification for graded bdi agents, in: Proceedings of CONTEXT-05, Research Report LIP 6, 2005. · Zbl 1081.68681
[11] Chellas, B. F., Modal Logic: An Introduction (1980), Cambridge University Press: Cambridge University Press Cambridge, MA · Zbl 0431.03009
[12] Hintikka, J., Knowledge and Belief. An Introduction to the Logic of the Two Notions (1962), Cornell University Press
[13] van der Hoek, W., On the semantics of graded modalities, Journal of Applied Non-Classical Logics, 2, 1 (1992) · Zbl 0797.03013
[14] van der Hoek, W.; Lomuscio, A., A logic for ignorance, LCMAS 2003, Logic and Communication in Multi-Agent Systems. LCMAS 2003, Logic and Communication in Multi-Agent Systems, Electron. Notes Theor. Comput. Sci., 85, 2, 117-133 (2004) · Zbl 1270.03042
[15] M. Luck, P. McBurney, C. Preist, Agent technology roadmap: Overview and consultation report, 2005, URL http://www.agentlink.org/roadmap/roadmapreport.pdf; M. Luck, P. McBurney, C. Preist, Agent technology roadmap: Overview and consultation report, 2005, URL http://www.agentlink.org/roadmap/roadmapreport.pdf
[16] Nute, D., Defeasible logic, (Bartenstein, O.; Geske, U.; Hannebauer, M.; Yoshie, O., INAP (LNCS Volume). INAP (LNCS Volume), Lecture Notes in Comput. Sci., vol. 2543 (2001), Springer), 151-169 · Zbl 1033.68656
[17] Rao, A. S., Agentspeak(l): Bdi agents speak out in a logical computable language, (de Velde, W. V.; Perram, J. W., MAAMAW. MAAMAW, Lecture Notes in Comput. Sci., vol. 1038 (1996), Springer), 42-55
[18] A.S. Rao, M.P. Georgeff, Modeling rational agents within a bdi-architecture, in: KR, 1991, pp. 473-484.; A.S. Rao, M.P. Georgeff, Modeling rational agents within a bdi-architecture, in: KR, 1991, pp. 473-484. · Zbl 0765.68194
[19] Rao, A. S.; Georgeff, M. P., Decision procedures for bdi logics, J. Logic Comput., 8, 3, 293-342 (1998) · Zbl 0904.68158
[20] Wooldridge, M., Computationally grounded theories of agency, (ICMAS (2000), IEEE Computer Society), 13-22
[21] Wooldridge, M.; Lomuscio, A., A computationally grounded logic of visibility, perception, and knowledge, Log. J. IGPL, 9, 2 (2001) · Zbl 0974.68203
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.