Abstract
In this paper, a logical model for reasoning about rational agent’s three attitudes Belief, Capability and Promise, incorporating the temporal aspect, is proposed. Diverse axioms that can reflect different properties of the agents are presented in a precise way by appropriate conditions according to the accessibility relations of the models. The inter-relations among the operators are also explored to characterize the interactions and cooperations between the agents. An illustrative reasoning example in the trading agent competition for supply chain management(TAC SCM) is presented to show the potential applications of the model.
This paper was partially supported by NKBRPC (2004CB318000) and NSFC (60373002, 60496322).
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Rao, A.S., Georgeff, M.P.: Modeling Rational Agents within a BDI Architecture. In: Proc. of the Second Conference on Knowledge Representation and Reasoning (KR 1991), pp. 473–484. Morgan Kaufmann, San Francisco (1991)
Van Linder, B., van der Hoek, W., Meyer, J.-J.C.: Formalising Abilities and Opportunities of Agents. Fundamenta Informaticae 34, 53–101 (1998)
Wooldridge, M.: Reasoning About Rational Agents. The MIT Press, Cambridge (2000)
Rao, A.S., Georgeff, M.P.: Decision procedures for BDI logics. Journal of Logic and Computation 8(3), 293–342 (1998)
Kraus, S., Sycara, K., Evenchik, A.: Reaching agreements through argumentation a logical model and implementation. Artificial Intelligence 104, 1–69 (1998)
Chellas, B.F.: Modal Logic: An Introduction. Cambridge University Press, Cambridge (1980)
Shoham, Y.: Agent-oriented programming. Artificial Intelligence 60(1), 51–92 (1993)
The Supply Chain Management Game for the Trading Agent Competition (TAC SCM) (2005), Available at http://www.sics.se
Ryle, G.: The Concept of Mind. Barnes and Noble, New York (1949)
Singh, M.P.: A Logic of Situated Know-how. In: Proceedings of the Ninth National Conference on Artificial Intelligence (AAAI 1991), California, pp. 343–348 (1991)
Padgham, L., Lambrix, P.: Agent Capabilities: Extending BDI Theory. In: Proceedings of Seventeenth National Conference on Artificial Intelligence (AAAI 2000), Austin, Texas, pp. 68–73 (2000)
Fisher, M., Ghidini, C.: The ABC of Rational Agent Modelling. In: Proceedings of the First International Joint Conference on Autonomous Agents and MultiAgent Systems (AAMAS 2002), Bologna, Italy, pp. 849–856 (2002)
Churn-Jung, L.: Belief, Information Acquisition, and Trust in Multi-Agent Systems-a Modal Logic Formulation. Artificial Intelligence 149(1), 31–60 (2003)
Del Val, A., Maynard-Reid, P., Shoham, Y.: Qualitative Reasoning about Perception and Belief. In: Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI 1997), Nagoya, Japan, pp. 508–513 (1997)
Castelfranchi, C.: A micro and macro definition of power. ProtoSociology C An International Journal of Interdisciplinary Research 18-19, 208–268 (2002)
Carabelea, C., Boissier, O., Castelfranchi, C.: Using Social Power to Enable Agents to Reason about Being Part of a Group. In: Gleizes, M.-P., Omicini, A., Zambonelli, F. (eds.) ESAW 2004. LNCS (LNAI), vol. 3451, pp. 166–177. Springer, Heidelberg (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zhao, X., Fan, S., Zhang, R., Yue, A., Lin, Z. (2005). Toward a Formal Theory of Belief, Capability and Promise Incorporating Temporal Aspect. In: Pěchouček, M., Petta, P., Varga, L.Z. (eds) Multi-Agent Systems and Applications IV. CEEMAS 2005. Lecture Notes in Computer Science(), vol 3690. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11559221_30
Download citation
DOI: https://doi.org/10.1007/11559221_30
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29046-9
Online ISBN: 978-3-540-31731-9
eBook Packages: Computer ScienceComputer Science (R0)