Abstract
This paper presents an extension of AgentSpeak using dynamic epistemic logic (DEL) to reason about uncertainty. The extension relies on minimal AgentSpeak syntax to describe uncertainty, while augmenting the language with possibilistic reasoning via modalities. We apply the extension to a realistic navigation example with partial observability and vary the amount of uncertainty to evaluate scalability. Scalability is compared with an existing extension which relies on a less expressive form of DEL. We find that DEL’s increased expressiveness comes with a linear cost in computational complexity.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Do not confuse AppPlans for \(AppPlans'\) defined in Sect. 6.
- 2.
D-AS implementation: https://github.com/MikeVezina/epistemic-jason. We use the DEL reasoner and SAT solver included in Hintikka’s World [17].
References
Ahlbrecht, T., Dix, J., Fiekas, N., Krausburg, T.: The multi-agent programming contest. In: Ahlbrecht, T., Dix, J., Fiekas, N., Krausburg, T. (eds.) MAPC 2021. Lecture Notes in Computer Science, vol. 12381, pp. 3–20. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-88549-6_1
Baltag, A., Renne, B.: Dynamic Epistemic Logic. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University, Winter 2016 edn. (2016)
Bauters, K., McAreavey, K., Liu, W., Hong, J., Godo, L., Sierra, C.: Managing different sources of uncertainty in a BDI framework in a principled way with tractable fragments. J. Artif. Intell. Res. 58, 731–775 (2017). https://doi.org/10.1613/jair.5287
Beskyd, F., Surynek, P.: Domain dependent parameter setting in SAT solver using machine learning techniques. In: Rocha, A.P., Steels, L., van den Herik, J. (eds.) ICAART 2022. Lecture Notes in Computer Science, pp. 169–200. Springer International Publishing, Cham (2022). https://doi.org/10.1007/978-3-031-22953-4_8
Biga, A.A., Casali, A.: G-jason: An extension of jason to engineer agents capable to reason under uncertainty. In: Proceedings of 14th Intelligent Agent and Systems Workshop (2014)
Bolander, T., Andersen, M.B.: Epistemic planning for single-and multi-agent systems. J. Appl. Non-Class. Logics 21(1), 9–34 (2011)
Bolander, T., Charrier, T., Pinchinat, S., Schwarzentruber, F.: Del-based epistemic planning: decidability and complexity. Artif. Intell. 287, 103304 (2020). https://doi.org/10.1016/j.artint.2020.103304
Bordini, R.H., Hübner, J.F., Wooldridge, M.: Programming Multi-agent Systems in AgentSpeak using Jason. John Wiley & Sons, Hoboken (2007)
Casali, A., Godo, L., Sierra, C.: g-BDI: a graded intensional agent model for practical reasoning. In: Torra, V., Narukawa, Y., Inuiguchi, M. (eds.) MDAI 2009. Lecture Notes in Computer Science, vol. 5861, pp. 5–20. Springer, Berlin (2009). https://doi.org/10.1007/978-3-642-04820-3_2
Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. MIT Press, Cambridge (1995). https://doi.org/10.7551/mitpress/5803.001.0001
Genesereth, M., Kao, E.: Introduction to Logic, 3rd edn. Morgan & Claypool Publishers, Synthesis Lectures on Computer Science (2016)
Georgeff, M.P., Rao, A.: An abstract architecture for rational agents. In: Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning, pp. 439–449 (1992)
Herzig, A., Lorini, E., Perrussel, L., Xiao, Z.: Bdi logics for BDI architectures: Old problems, new perspectives. KI - Künstliche Intell. 31(1), 73–83 (2017). https://doi.org/10.1007/s13218-016-0457-5
Jago, M.: Epistemic logic for rule-based agents. J. Logic Lang. Inf. 18(1), 131–158 (2009). https://doi.org/10.1007/s10849-008-9071-8
Rao, A.S.: Agentspeak(L): BDI agents speak out in a logical computable language. In: Van de Velde, W., Perram, J.W. (eds.) MAAMAW 1996. Lecture Notes in Computer Science, vol. 1038, pp. 42–55. Springer, Berlin (1996). https://doi.org/10.1007/BFb0031845
Schwarzentruber, F.: Epistemic reasoning in Artificial Intelligence. Habilitation thesis, University of Rennes (2019)
Schwarzentruber, F.: Hintikka’s world: agents with higher-order knowledge. In: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI-18, pp. 5859–5861. International Joint Conferences on Artificial Intelligence Organization (2018). https://doi.org/10.24963/ijcai.2018/862
Van Ditmarsch, H., van Der Hoek, W., Kooi, B.: Dynamic Epistemic Logic, vol. 337. Springer, Cham (2007). https://doi.org/10.1007/978-1-4020-5839-4
Vezina, M., Esfandiari, B.: Epistemic reasoning in Jason. In: Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2022, pp. 1328–1336. International Foundation for Autonomous Agents and Multiagent Systems, Richland, SC (2022)
Zanuttini, B., Lang, J., Saffidine, A., Schwarzentruber, F.: Knowledge-based programs as succinct policies for partially observable domains. Artif. Intell. 288, 103365 (2020)
Acknowledgements
We acknowledge the support of the Natural Sciences and Engineering Research Council of Canada (NSERC).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Vezina, M., Esfandiari, B., Morley, S., Schwarzentruber, F. (2023). Qualitative Uncertainty Reasoning in AgentSpeak. In: Malvone, V., Murano, A. (eds) Multi-Agent Systems. EUMAS 2023. Lecture Notes in Computer Science(), vol 14282. Springer, Cham. https://doi.org/10.1007/978-3-031-43264-4_3
Download citation
DOI: https://doi.org/10.1007/978-3-031-43264-4_3
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-43263-7
Online ISBN: 978-3-031-43264-4
eBook Packages: Computer ScienceComputer Science (R0)