Abstract
In this paper we evaluate transition systems as a tool for providing a rule-based specification of the operational aspects of autonomous agents. By our technique, different aspects of an agent can be analyzed and designed in a loosely coupled way, enabling the possibility of studying their properties in isolation.
We take as a use case the ParADE framework for building intelligent agents, which leverages a FIPA-like ACL semantics to support semantic interoperability. Our grey-boxing technique is exploited to provide a specification where aspects related to the ACL, the adopted ontology, the agent social role, and the other agent internal details are described separately, in an incremental way.
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
Glabbeek, R.v.: The linear time – branching time spectrum I. The semantics of concrete, sequential processes. In: [12] ch. 1, pp. 3–100
Viroli, M., Omicini, A.: Specifying agent observable behaviour. In: Castelfranchi, C., Johnson, W.L. (eds.) 1st International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2002), Bologna, Italy, vol. 2, pp. 712–720. ACM, New York (2002)
Rimassa, G., Viroli, M.: An operational framework for the semantics of agent communication languages. In: Petta, P., Tolksdorf, R., Zambonelli, F. (eds.) ESAW 2002. LNCS (LNAI), vol. 2577, pp. 111–125. Springer, Heidelberg (2003)
Viroli, M., Omicini, A.: Modelling agents as observable sources. Journal of Universal Computer Science 8 (2002)
Newell, A.: The knowledge level. Artificial Intelligence 18, 87–127 (1982)
Jennings, N.R.: On agent-based software engineering. Artificial Intelligence 117, 277–296 (2000)
Bergenti, F.: A discussion of two major benefits of using agents in software development. In: Petta, P., Tolksdorf, R., Zambonelli, F. (eds.) ESAW 2002. LNCS (LNAI), vol. 2577, pp. 1–12. Springer, Heidelberg (2003)
Bergenti, F., Poggi, A.: A development toolkit to realize autonomous and interoperable agents. In: Conference on Autonomous Agents, pp. 632–639 (2001)
Hindriks, K.V., de Boer, F.S., van der Hoek, W., Meyer, J.J.C.: Agent programming in 3APL. Autonomous Agents and Multi-Agent Systems 2 (1999)
Norling, E., Ritter, F.E.: Embodying the jack agent architecture. In: Stumptner, M., Corbett, D.R., Brooks, M. (eds.) Canadian AI 2001. LNCS (LNAI), vol. 2256, pp. 368–377. Springer, Heidelberg (2001)
Plotkin, G.: A structural approach to operational semantics. Technical Report DAIMI FN-19, Department of Computer Science, AArhus University (1991)
Bergstra, J.A., Ponse, A., Smolka, S.A. (eds.): Handbook of Process Algebra. North-Holland, Amsterdam (2001)
Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)
Cohen, P.R., Levesque, H.: Intention is choice with commitment. Artificial Intelligence 42(2-3), 213–361 (1990)
Trân, B., Harland, J., Hamilton, M.: A combined logic of expectation and observation (a generalization of BDI logics). In: Leite, J., Omicini, A., Sterling, L., Torroni, P. (eds.) DALT 2003. LNCS (LNAI), vol. 2990, pp. 155–172. Springer, Heidelberg (2004)
Ancona, D., Mascardi, V.: BCDI: Extending the BDI model with collaborations. In: Leite, J., Omicini, A., Sterling, L., Torroni, P. (eds.) DALT 2003. LNCS (LNAI), vol. 2990, pp. 109–134. Springer, Heidelberg (2004)
FIPA: FIPA communicative act library specification (2000), http://www.fipa.org Doc. XC00037H
Moreira, Á.F., Vieira, R., Bordini, R.H.: Extending the operational semantics of a bdi agent-oriented programming language for introducing speech-act based communication. In: Leite, J., Omicini, A., Sterling, L., Torroni, P. (eds.) DALT 2003. LNCS (LNAI), vol. 2990, pp. 135–154. Springer, Heidelberg (2004)
van Eijk, R.M., de Boer, F.S., van der Hoek, W., Meyer, J.J.C.: Operational semantics for agent communication languages. In: Dignum, F.P.M., Greaves, M. (eds.) Issues in Agent Communication. LNCS, vol. 1916, pp. 80–95. Springer, Heidelberg (2000)
Kinny, D.: Vip: a visual programming language for plan execution systems. In: Castelfranchi, C., Johnson, W.L. (eds.) 1st International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2002), Bologna, Italy, vol. 2, pp. 721–728. ACM, New York (2002)
Jensen, K.: Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use. Springer, Berlin (1992)
Ferber, J.: Multi-Agent Systems: An Introduction to Distributed Artifical Intelligence. Addison-Wesley, London (1999)
Clark, K.L., McCabe, F.G.: Go! for multi-threaded deliberative agents. In: Leite, J., Omicini, A., Sterling, L., Torroni, P. (eds.) DALT 2003. LNCS (LNAI), vol. 2990, pp. 54–75. Springer, Heidelberg (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bergenti, F., Rimassa, G., Viroli, M. (2004). Operational Semantics for Agents by Iterated Refinement. In: Leite, J., Omicini, A., Sterling, L., Torroni, P. (eds) Declarative Agent Languages and Technologies. DALT 2003. Lecture Notes in Computer Science(), vol 2990. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-25932-9_3
Download citation
DOI: https://doi.org/10.1007/978-3-540-25932-9_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22124-1
Online ISBN: 978-3-540-25932-9
eBook Packages: Springer Book Archive