Modelling and specifying scenarios and agent behaviour

Proceedings - IEEE/WIC International Conference on Intelligent Agent Technology, IAT'03

Volumn , Issue , 2003, Pages 32-38

  Shan, Lijun ^a   Zhu, Hong ^b  

^a NATIONAL UNIVERSITY OF DEFENSE TECHNOLOGY   (China)

^b OXFORD BROOKES UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL SPECIFICATION; FORMAL SPECIFICATION LANGUAGE; MIT MEDIA LAB; MODELLING LANGUAGE; MULTI-AGENT; SCENARIO ANALYSIS;

BEHAVIORAL RESEARCH; ECOLOGY; SPECIFICATION LANGUAGES; SPECIFICATIONS;

MULTI AGENT SYSTEMS;

EID: 78649710923     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (17)

1. Rash, J. L. et al (eds.), Formal Approaches to Agent-Based Systems, First International Workshop, FAABS2000, Springer Lecture Notes in Computer Science, Vol. 1871, 2001.
2. Meyer, J-J., Schobbens, P-Y. (eds.), Formal Models of Agents-ESPRIT Project ModelAge Final Workshop Selected Papers. LNAI, Vol. 1760. Springer (1999)
3. Rao, A.S., Georgreff, M.P., "Modeling Rational Agents within a BDI-Architecture". In Proc. of the International Conference on Principles of Knowledge Representation and Reasoning (1991) 473-484.
4. Singh, M.P., "Semantical Considerations on Some Primitives for Agent Specification". In: Wooldridge, M., Muller, J., Tambe, M. (eds.) Intelligent Agents. LNAI, Vol 1037. Springer (1996) 49-64
5. Wooldridge, M., Reasoning About Rational Agents. The MIT Press (2000)
6. Ambroszkiewicz, S., Komar, J., "A Model of BDI-Agent in Game-Theoretic Framework". In: [2] (1999) 8-19
7. Wooldridge, M. and Jennings, N.R., "Agent Theories, Architectures, and Languages: A Survey". In: Intelligent Agents. LNAI, Vol. 890. Springer-Verlag (1994) 1-32
8. Kinny, D., Georgeff, M., Rao, A., "A Methodology and Modelling Technology for Systems of BDI Agents", In: Agents Breaking Away, Proc. of MAAMAW'96. LNAI, Vol. 1038. Springer-Verlag (1996)
9. Moulin, B., Brassard, M., "A Scenario-Based Design Method and An Environment for the Development of Multi-Agent Systems". In: Lukose, D. and Zhang, C. (eds.): First Australian Workshop on Distributed Artificial Intelligence. LNAI, Vol. 1087. Springer-Verlag (1996) 216-232
10. Wooldridge, M., Jennings, N., Kinny, D., "A Methodology for Agent-Oriented Analysis and Design". In: Proc. of ACM Third International Conference on Autonomous Agents, Seattle, WA, USA (1999) 69-76
11. Iglesias, C.A., Garijo, M., Gonzalez, J.C., "A Survey of Agent-Oriented Methodologies". In: Muller, J.P., Singh, M.P., Rao, A., (eds.) Intelligent Agents V. LNAI, Vol. 1555. Springer, Berlin (1999) 317-330
12. Bauer, B., Muller, J.P. and Odell, J., "Agent UML: A Formalism for Specifying Multiagent Software Systems". In: Ciancarini, P. and Wooldridge, M. (eds.): Agent-Oriented Software Engineering. LNCS, Vol. 1957. Springer (2001) 91-103
13. Zhu, H., "Formal Specification of Agent Behaviour through Environment Scenarios". In: [1]263-277.
14. Zhu, H., "SLABS: A Formal Specification Language for Agent-Based Systems". Int. J. of Software Engineering and Knowledge Engineering 11(5) (2001) 529-558
15. Zhu, H., "The Role of Caste in Formal Specification of MAS". In: Proc. of PRIMA'2001. LNCS, 2132. Springer (2001) 1-15 (Pubitemid 33314681)
16. Zhu, H., "Formal Specification of Evolutionary Software Agents", in Formal Methods and Software Engineering, Proc. of ICFEM'2002, George, C. and Miao, H., (eds), Springer LNCS 2495, (2002) 249-261.
17. Moukas, A., "Amalthaea: Information Discovery and Filtering Using a Multi-Agent Evolving Ecosystem". Journal of Applied Artificial Intelligence, 11(5) (1997) 437-457.