Operational semantics for agents by iterated refinement

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2990, Issue , 2004, Pages 37-53

  Bergenti, Federico ^a   Rimassa, Giovanni ^a   Viroli, Mirko ^b  

^a AOT Lab   (Italy)

^b UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; INTELLIGENT AGENTS; INTELLIGENT BUILDINGS; MULTI AGENT SYSTEMS; SEMANTICS; SPECIFICATIONS;

AGENT SOCIAL; LOOSELY COUPLED; OPERATIONAL ASPECTS; OPERATIONAL SEMANTICS; RULE-BASED SPECIFICATION; SEMANTIC INTEROPERABILITY; TRANSITION SYSTEM;

AUTONOMOUS AGENTS;

EID: 23244464959     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-25932-9_3     Document Type: Conference Paper

References (23)

1. Glabbeek, R.v.: The linear time - branching time spectrum I. The semantics of concrete, sequential processes. [12] chapter 1 3-100
2. 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). Volume 2., Bologna, Italy, ACM (2002) 712-720
3. Rimassa, G., Viroli, M.: An operational framework for the semantics of agent communication languages. In: Engineering Societies in the Agents World (ESAW 2002). Lecture Notes in Artificial Intelligence, Vol. 2577. Springer-Verlag (2003) 111-125
4. Viroli, M., Omicini, A.: Modelling agents as observable sources. Journal of Universal Computer Science 8 (2002)
5. Newell, A.: The knowledge level. Artificial Intelligence 18 (1982) 87-127
6. Jennings, N. R.: On agent-based software engineering. Artificial Intelligence 117 (2000) 277-296
7. Bergenti, F.: A discussion of two major benefits of using agents in software development. In: Engineering Societies in the Agents World (ESAW 2002). Lecture Notes in Artificial Intelligence, Vol. 2577. Springer-Verlag (2003) 1-12
8. Bergenti, F., Poggi, A.: A development toolkit to realize autonomous and interoperable agents. In: Conference on Autonomous Agents. (2001) 632-639
9. 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)
10. Norling, E., Ritter, F. E.: Embodying the jack agent architecture. In: 14th Australian Joint Conference on Artificial Intelligence. Lecture Notes in Artificial Intelligence, Vol. 2256. Springer (2001) 368-377
11. Plotkin, G.: A structural approach to operational semantics. Technical Report DAIMI FN-19, Department of Computer Science, AArhus University (1991)
12. Bergstra, J. A., Ponse, A., Smolka, S. A., eds.: Handbook of Process Algebra. North-Holland (2001)
13. Milner, R.: Communication and Concurrency. Prentice Hall (1989)
14. Cohen, P. R., Levesque, H.: Intention is choice with commitment. Artificial Intelligence 42 (2-3) (1990) 213-361
15. Trân, B., Harland, J., Hamilton, M.: A combined logic of expectation and observation (a generalization of BDI logics). In this volume.
16. Ancona, D., Mascardi, V.: BCDI: Extending the BDI model with collaborations. In this volume.
17. FIPA: FIPA communicative act library specification. http://www.fipa.org (2000) Doc. XC00037H.
18. 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 this volume.
19. van Eijk, R. M., de Boer, F. S., van der Hoek, W., Meyer, J. J. C.: Operational semantics for agent communication languages. In: Issues in Agent Communication. Lecture Notes in Artificial Intelligence, Vol. 1916. Springer (2000) 80-95
20. 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). Volume 2., Bologna, Italy, ACM (2002) 721-728
21. Jensen, K.: Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use. Springer-Verlag, Berlin (1992)
22. Ferber, J.: Multi-Agent Systems: An Introduction to Distributed Artifical Intelligence. Addison-Wesley, London (1999)
23. Clark, K. L., McCabe, F. G.: Go! for multi-threaded deliberative agents. In this volume.