Skip to main content

Toward a Formal Theory of Belief, Capability and Promise Incorporating Temporal Aspect

  • Conference paper
Multi-Agent Systems and Applications IV (CEEMAS 2005)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 3690))

  • 1168 Accesses

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).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. 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)

    Google Scholar 

  2. Van Linder, B., van der Hoek, W., Meyer, J.-J.C.: Formalising Abilities and Opportunities of Agents. Fundamenta Informaticae 34, 53–101 (1998)

    MATH  MathSciNet  Google Scholar 

  3. Wooldridge, M.: Reasoning About Rational Agents. The MIT Press, Cambridge (2000)

    MATH  Google Scholar 

  4. Rao, A.S., Georgeff, M.P.: Decision procedures for BDI logics. Journal of Logic and Computation 8(3), 293–342 (1998)

    Article  MATH  MathSciNet  Google Scholar 

  5. Kraus, S., Sycara, K., Evenchik, A.: Reaching agreements through argumentation a logical model and implementation. Artificial Intelligence 104, 1–69 (1998)

    Article  MATH  MathSciNet  Google Scholar 

  6. Chellas, B.F.: Modal Logic: An Introduction. Cambridge University Press, Cambridge (1980)

    MATH  Google Scholar 

  7. Shoham, Y.: Agent-oriented programming. Artificial Intelligence 60(1), 51–92 (1993)

    Article  MathSciNet  Google Scholar 

  8. The Supply Chain Management Game for the Trading Agent Competition (TAC SCM) (2005), Available at http://www.sics.se

  9. Ryle, G.: The Concept of Mind. Barnes and Noble, New York (1949)

    Google Scholar 

  10. 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)

    Google Scholar 

  11. 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)

    Google Scholar 

  12. 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)

    Google Scholar 

  13. Churn-Jung, L.: Belief, Information Acquisition, and Trust in Multi-Agent Systems-a Modal Logic Formulation. Artificial Intelligence 149(1), 31–60 (2003)

    Article  MATH  MathSciNet  Google Scholar 

  14. 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)

    Google Scholar 

  15. Castelfranchi, C.: A micro and macro definition of power. ProtoSociology C An International Journal of Interdisciplinary Research 18-19, 208–268 (2002)

    Google Scholar 

  16. 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)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics