Abstract
The BDI-oriented multi-agent programming language 2APL allows the implementation of an agent’s beliefs in terms of logical facts and rules. An agent’s beliefs represent information about its surrounding environment including other agents. Repeated querying of the beliefs by the 2APL interpreter causes unnecessary overhead resulting in poor run-time performance of the interpreter. We propose an extension to 2APL to reduce the number of such queries by using belief caching. We show that our proposal implements belief caching and extends an existing caching proposal. Moreover, we provide formal proofs establishing that our extension does not affect the execution behavior of 2APL. Benchmarking results indicate that belief caching leads to significant improvements.
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
Alechina, N., Behrens, T., Hindriks, K.V., Logan, B.: Query Caching in Agent Programming Languages. In: Dastani, M., Hübner, J.F., Logan, B. (eds.) ProMAS 2012. LNCS, vol. 7837, pp. 123–137. Springer, Heidelberg (2013)
Bordini, R., Wooldridge, M., Hübner, J.: Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology). John Wiley & Sons (2007) ISBN 0470029005
Bordini, R., Dastani, M., Dix, J., Seghrouchni, A.E.F. (eds.): Multi-Agent Programming: Languages, Tools and Applications. Springer (2009)
Dastani, M.: 2APL: a practical agent programming language. In: Autonomous Agents and Multi-Agent Systems, pp. 214–248 (2008)
Hindriks, K.: Programming Rational Agents in GOAL. In: Multi-Agent Programming: Languages and Tools and Applications (see [3]), pp. 119–157 (2009)
Levy, A.Y., Sagiv, Y.: Queries Independent of Updates. In: Proceedings of the 19th International Conference on Very Large Data Bases, pp. 24–27 (1993)
Levy, A.: Creating Abstractions Using Relevance Reasoning. In: Proceedings of the Twelfth National Conference on Artificial Intelligence, pp. 588–594 (1994)
Levy, A.Y., Fikes, R.E., Sagiv, Y.: Speeding Up Inferences Using Relevance Reasoning: A Formalism and Algorithms. Journal of Artificial Intelligence, 97–1 (1997)
DeRaedt, L.: Interactive theory revision: an inductive logic programming approach. Academic Press Ltd. (1992) ISBN 0-12-210730-6
Ziafati, P., Dastani, M., Meyer, J.-J., van der Torre, L.: Agent Programming Languages Requirements for Programming Autonomous Robots. In: Dastani, M., Hübner, J.F., Logan, B. (eds.) ProMAS 2012. LNCS, vol. 7837, pp. 35–53. Springer, Heidelberg (2013)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dastani, M., van Zee, M. (2013). Belief Caching in 2APL. In: Cossentino, M., El Fallah Seghrouchni, A., Winikoff, M. (eds) Engineering Multi-Agent Systems. EMAS 2013. Lecture Notes in Computer Science(), vol 8245. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-45343-4_7
Download citation
DOI: https://doi.org/10.1007/978-3-642-45343-4_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-45342-7
Online ISBN: 978-3-642-45343-4
eBook Packages: Computer ScienceComputer Science (R0)