Abstract
In order to provide generic development tools for rational agents, a number of agent programming languages are now being developed, often by extending conventional programming languages with capabilities from the BDI (Belief-Desire-Intention) theory of rational agency [7,9]. Such languages provide high-level abstractions that aid the construction of dynamic, autonomous components, together with the deliberation that goes on within them. One particularly influential example of such a language is AgentSpeak(L) [6], a logic programming language with abstractions provided for key aspects of rational agency, such as beliefs, goals and plans.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Bordini, R.H., Fisher, M., Pardavila, C., Wooldridge, M.: Model checking AgentSpeak. In: 2nd Int. Joint Conf. on Autonomous Agents and Multi-Agent Systems (2003)
Bordini, R.H., Visser, W., Fisher, M., Wooldridge, M.: Model checking a reactive planning language for multi-agent systems (2003) (Submitted)
Cimatti, A., et al.: NuSMV2: an opensource tool for symbolic model checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, p. 359. Springer, Heidelberg (2002)
Fisher, M., Visser, W.: Verification of autonomous spacecraft control — a logical vision of the future. In: Workshop on AI Planning and Scheduling For Autonomy in Space Applications, co-located with TIME (2002)
Holzmann, G.J.: The Spin model checker. IEEE Transaction on Software Engineering 23(5), 279–295 (1997)
Rao, A.S.: AgentSpeak(L): BDI agents speak out in a logical computable language. In: Perram, J., Van de Velde, W. (eds.) MAAMAW 1996. LNCS (LNAI), vol. 1038, Springer, Heidelberg (1996)
Rao, A.S., Georgeff, M.P.: Decision procedures for BDI logics. Journal of Logic and Computation 8(3), 293–343 (1998)
Visser, W., Havelund, K., Brat, G., Park, S.: Model checking programs. In: 15th Int. Conf. on Automated Software Engineering. IEEE Computer Society Press, Los Alamitos (2000)
Wooldridge, M.: Reasoning about Rational Agents. The MIT Press, Cambridge (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bordini, R.H., Fisher, M., Pardavila, C., Visser, W., Wooldridge, M. (2003). Model Checking Multi-Agent Programs with CASP. In: Hunt, W.A., Somenzi, F. (eds) Computer Aided Verification. CAV 2003. Lecture Notes in Computer Science, vol 2725. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45069-6_10
Download citation
DOI: https://doi.org/10.1007/978-3-540-45069-6_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40524-5
Online ISBN: 978-3-540-45069-6
eBook Packages: Springer Book Archive