Ability in a Multi-agent Context: A Model in the Situation Calculus

  • Laurence Cholvy
  • Christophe Garion
  • Claire Saurel
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3900)


This paper studies the notion of ability and its relation with the notion of action in a multi-agent context. It introduces the distinction between two notions respectively called “theoretical ability” and “ability”. The main contribution of this paper is a model of these notions in the Situation Calculus.


Modal Logic Multiagent System Dynamic Logic Philosophical Logic Initial Situation 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Chaib-Draa, B., Demolombe, R.: L’interaction comme champ de recherche. Information - Interaction - Intelligence. numéro spécial Mod‘eles Formels de l’Interaction, 5–24 (2001)Google Scholar
  2. 2.
    Chellas, B.F.: Modal logic. An introduction. Cambridge University Press, Cambridge (1980)CrossRefMATHGoogle Scholar
  3. 3.
    Cholvy, L., Garion, C.: Distribution of goals addressed to a group of agents. In: Rosenschein, J.S., Sandholm, T., Wooldridge, M., Yokoo, M. (eds.) Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 765–772. ACM Press, New York (2003)CrossRefGoogle Scholar
  4. 4.
    Cohen, P.R., Levesque, H.J.: Intention is choice with commitment. Artificial Intelligence 42, 213–261 (1990)MathSciNetCrossRefMATHGoogle Scholar
  5. 5.
    Demolombe, R.: Formalisation en logique des interactions entre agents: quells concepts formaliser? Technical report, ONERA/DTIM (2000) (in French)Google Scholar
  6. 6.
    Demolombe, R., Hamon, E.: What does it mean that an agent is performing a typical procedure: a formal definition in the Situation Calculus. In: Proceedings of the First International Joint Conference an Autonomous Agents and Multiagent Systems (AAMAS 2002), Bologna, Italy, pp. 905–911 (2002)Google Scholar
  7. 7.
    Elgesem, D.: The modal logic of agency. Nordic Journal of Philosophical Logic 2(2), 1–46 (1997)MathSciNetMATHGoogle Scholar
  8. 8.
    Grosz, B.J., Hunsberger, L., Kraus, S.: Planning and acting together. AI Magazine 20(4), 23–34 (1999)Google Scholar
  9. 9.
    Harel, D.: Dynamic logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. 2, pp. 497–604. D. Reidel Publishing Company (1984)Google Scholar
  10. 10.
    Horty, J.F.: Agency and obligation. Synthese 108, 269–307 (1996)MathSciNetCrossRefMATHGoogle Scholar
  11. 11.
    Horty, J.F., Belnap, N.: The deliberative stit: a study of action, omission, ability and obligation. Journal of Philosophical Logic 24, 583–644 (1995); Reprinted in The Philosopher’s Annual, Volume 18-1995, Ridgeview Publishing Company (1997)Google Scholar
  12. 12.
    Lespérance, Y., Levesque, H.J., Lin, F., Scherl, R.B.: Ability and knowing how in the situation calculus. Studia Logica 66(1), 165–186 (2000)MathSciNetCrossRefMATHGoogle Scholar
  13. 13.
    Levesque, H.J., Reiter, R., Lespérance, Y., Lin, F., Scherl, R.: Golog: A logic programming language for dynamic domains. Journal of Logic Programming 31, 59–84 (1997)MathSciNetCrossRefMATHGoogle Scholar
  14. 14.
    MacCarthy, J., Hayes, P.: Some philosophical problems from the standpoint of artificial intelligence. In: Michie, D., Melzer, B. (eds.) Machine Intelligence, vol. 4, pp. 463–502. Edinburgh University Press (1969)Google Scholar
  15. 15.
    Pauly, M.: A modal logic for conditional power in games. Journal of Logic and Computation 12(1), 149–166 (2000)CrossRefMATHGoogle Scholar
  16. 16.
    Reiter, R.: The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression. In: Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pp. 359–380. Academic Press, New York (1991)CrossRefGoogle Scholar
  17. 17.
    Thomason, R.: Ability, action and context. Presentation at the Temporality and Discourse Context: Dynamic and Modal Approaches Workshop (2001)Google Scholar
  18. 18.
    van Linder, B., van der Hoek, W., Meyer, J.-J.C.: Formalizing abilities and opportunities of agents. Fundamenta Informaticae 34(1-2), 53–101 (1998)MathSciNetMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Laurence Cholvy
    • 1
  • Christophe Garion
    • 2
  • Claire Saurel
    • 1
  1. 1.ONERA Centre de ToulouseToulouseFrance
  2. 2.SUPAEROToulouseFrance

Personalised recommendations