Toward a Formal Theory of Belief, Capability and Promise Incorporating Temporal Aspect (original) (raw)

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

  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

  1. LMAM, Department of Information Science, School of Mathematical Sciences, Peking University, Beijing, 100871, China
    Xinyu Zhao, Shaofeng Fan, Runjie Zhang, Anbu Yue & Zuoquan Lin

Authors

  1. Xinyu Zhao
  2. Shaofeng Fan
  3. Runjie Zhang
  4. Anbu Yue
  5. Zuoquan Lin

Editor information

Editors and Affiliations

  1. Department of Cybernetics, Czech Technical University in Prague, Czech Republic
    Michael Pěchouček
  2. Austrian Research Institute for Artificial Intelligence, Freyung 6/6, A-1010, Vienna, Austria
    Paolo Petta
  3. Computer and Automation Research Institute, Hungarian Academy of Sciences, Kende u. 13-17., 1111, Budapest, Hungary
    László Zsolt Varga

Rights and permissions

© 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

Keywords

These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Publish with us