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.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
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