Abstract
We present a family of sound and complete logics for reasoning about deliberation strategies for SimpleAPL programs. SimpleAPL is a fragment of the agent programming language 3APL designed for the implementation of cognitive agents with beliefs, goals and plans. The logics are variants of PDL, and allow us to prove safety and liveness properties of SimpleAPL agent programs under different deliberation strategies. We show how to axiomatise different deliberation strategies for SimpleAPL programs, and, for each strategy we prove a correspondence between the operational semantics of SimpleAPL and the models of the corresponding logic. We illustrate the utility of our approach with an example in which we show how to verify correctness properties for a simple agent program under different deliberation strategies.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Abrahamson, K. R. (1980). Decidability and expressiveness of logics of processes. PhD thesis, Department of Computer Science, University of Washington.
Alechina, N., Dastani, M., Logan, B., & Meyer, J.-J. Ch. (2007). A logic of agent programs. In Proceedings of the Twenty-Second National Conference on Artificial Intelligence (AAAI 2007) (pp. 795–800). AAAI Press.
Astefanoaei, L., Dastani, M., de Boer, F. S., & Meyer, J.-J. Ch. (2008). A verification framework for normative multi-agent systems. In The Proceedings of the 11th Pacific Rim International Conference on Multi-Agents (PRIMA 2008). LNCS (Vol. 5357). Springer.
Benerecetti M., Giunchiglia F., Serafini L. (1998) Model checking multiagent systems. Journal of Logic and Computation 8(3): 401–423
Blackburn P, de Rijke M, Venema Y. (2001) Modal logic. Cambridge Tracts in Theoretical Computer Science (Vol. 53). Cambridge University Press, Cambridge, UK
Bordini R. H., Dastani M., Dix J., Seghrouchni A. E. F (2005) Multi-agent programming—languages, platforms and applications. Springer, Berlin
Bordini R. H., Fisher M., Visser W., Wooldridge M. (2006) Verifying multi-agent programs by model checking. Autonomous Agents and Multi-Agent Systems 12(2): 239–256
Bordini, R. H., Hübner, J. F., & Vieira, R. (2005). Jason and the golden fleece of agent-oriented programming. In R. H. Bordini, M. Dastani, J. Dix, & A. E. F. Seghrouchni (Eds.), Multi-agent programming—languages, platforms and applications. Heidelberg: Springer.
Dastani, M. (2008). 2APL: A practical agent programming language. International Journal of Autonomous Agents and Multi-Agent Systems (JAAMAS), 16(3), 214–248, Special Issue on Computational Logic-based Agents. F. Toni, & J. Bentahar (Eds.).
Dastani, M., & Meyer, J. J. Ch. (2007). A practical agent programming language. In The Proceedings of the Fifth International Workshop on Programming Multi-agent Systems (ProMAS’07). LNAI (Vol. 4908, pp. 107–123). Springer.
Dastani, M., van Riemsdijk, M. B., Dignum, F., & Meyer, J.-J. Ch. (2004). A programming language for cognitive agents: Goal directed 3APL. In Proceedings of ProMAS 2003. LNCS (Vol. 3067, pp. 111–130). Springer.
Dastani M., van Riemsdijk M.B., Meyer J.-J.Ch. (2005) Programming multi-agent systems in 3APL. In: Bordini R.H., Dastani M., Dix J., Seghrouchni A.E.F. (eds) Multi-agent programming—languages, platforms and applications. Springer, Berlin
Dastani, M., van Riemsdijk B., & Meyer J.-J. Ch. (2007). A grounded specification language for agent programs. In The Proceedings of the Sixth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS’07) (pp. 578–585). ACM Press.
Fisher, M. (2006). Metate M: The story so far. In The Proceedings of the Third International Workshop on Programming Multi-agent Systems (ProMAS’05). LNAI (Vol. 3862, pp. 3–22). Springer.
Georgeff, M. P., & Lansky, A. L. (1987). Reactive reasoning and planning. In Proceedings of the Sixth National Conference on Artificial Intelligence, AAAI-87 (pp. 677–682).
Harel D., Kozen D., Tiuryn J. (2000) Dynamic logic. MIT Press, Cambridge
Hindriks K. V., & Meyer J.-J. Ch. (2007). Agent logics as program logics: Grounding KARO. In Proceedings of the 29th German Conference on AI (KI 2006). LNAI (Vol. 4314). Heidelberg: Springer.
Lomuscio, A., & Raimondi, F. (2006). MCMAS: A tool for verifying multi-agent systems. In Proceedings of the 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS06). LNCS (Vol. 3920, pp. 450–454). Vienna, Austria: Springer.
Mayer A. J., Stockmeyer L. J. (1996) The complexity of PDL with interleaving. Theoretical Computer Science 161(1&2): 109–122
Mulder, M., Treur, J., & Fisher, M. (1997). Agent modelling in METATEM and DESIRE. In M. P.Singh, A. S. Rao, & M. Wooldridge (Eds.), Intelligent agents IV, agent theories, architectures, and languages, 4th international workshop (ATAL’97). Lecture Notes in Computer Science (Vol. 1365, pp. 193–207). Springer.
Pokahr, A., Braubach, L., & Lamersdorf, W. (2005). Jadex: A BDI reasoning engine. In: R. H. Bordini, M. Dastani, J. Dix, & A. E. F. Seghrouchni (Eds.), Multi-agent programming—languages, platforms and applications. Heidelberg: Springer.
Schmidt, R. A. (2003). pdl-tableau. http://www.cs.man.ac.uk/~schmidt/pdltableau.
Shapiro, S., Lespérance, Y., & Levesque, H. J. (2002). The cognitive agents specification language and verification environment for multiagent systems. In The Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS’02) (pp. 19–26). ACM Press.
van Riemsdijk, M. B., de Boer, F. S., Dastani, Mehdi., & Meyer J.-J. Ch. (2006). Prototyping 3APL in the Maude term rewriting language. In Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS’06) (pp. 1279–1281). New York, NY, USA: ACM.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This is an open access article distributed under the terms of the Creative Commons Attribution Noncommercial License (https://creativecommons.org/licenses/by-nc/2.0), which permits any noncommercial use, distribution, and reproduction in any medium, provided the original author(s) and source are credited.
About this article
Cite this article
Alechina, N., Dastani, M., Logan, B.S. et al. Reasoning about agent deliberation. Auton Agent Multi-Agent Syst 22, 356–381 (2011). https://doi.org/10.1007/s10458-010-9129-2
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10458-010-9129-2