Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
Chellas, B.F.: Modal logic. An introduction. Cambridge University Press, Cambridge (1980)
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)
Cohen, P.R., Levesque, H.J.: Intention is choice with commitment. Artificial Intelligence 42, 213–261 (1990)
Demolombe, R.: Formalisation en logique des interactions entre agents: quells concepts formaliser? Technical report, ONERA/DTIM (2000) (in French)
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)
Elgesem, D.: The modal logic of agency. Nordic Journal of Philosophical Logic 2(2), 1–46 (1997)
Grosz, B.J., Hunsberger, L., Kraus, S.: Planning and acting together. AI Magazine 20(4), 23–34 (1999)
Harel, D.: Dynamic logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. 2, pp. 497–604. D. Reidel Publishing Company (1984)
Horty, J.F.: Agency and obligation. Synthese 108, 269–307 (1996)
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)
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)
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)
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)
Pauly, M.: A modal logic for conditional power in games. Journal of Logic and Computation 12(1), 149–166 (2000)
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)
Thomason, R.: Ability, action and context. Presentation at the Temporality and Discourse Context: Dynamic and Modal Approaches Workshop (2001)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cholvy, L., Garion, C., Saurel, C. (2006). Ability in a Multi-agent Context: A Model in the Situation Calculus. In: Toni, F., Torroni, P. (eds) Computational Logic in Multi-Agent Systems. CLIMA 2005. Lecture Notes in Computer Science(), vol 3900. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11750734_2
Download citation
DOI: https://doi.org/10.1007/11750734_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-33996-0
Online ISBN: 978-3-540-33997-7
eBook Packages: Computer ScienceComputer Science (R0)