extending the operational semantics of a bdi agent-oriented programming language for introducing speech-act based communication文档.pdfVIP

Extending the Operational Semantics of a BDI Agent-Oriented Programming Language for Introducing Speech-Act Based Communication 1 2 3 ´ Alvaro F. Moreira , Renata Vieira , and Rafael H. Bordini 1 Departamento de Inform´atica Te´orica Instituto de Inform´atica Universidade Federal do Rio Grande do Sul Porto Alegre RS, 91501-970, Brazil afmoreira@inf.ufrgs.br 2 Centro de Ciˆencias Exatas Universidade do Vale do Rio dos Sinos CP 275, CEP 93022-000, S˜ao Leopoldo, RS, Brazil renata@exatas.unisinos.br 3 Department of Computer Science University of Liverpool Liverpool L69 7ZF, UK R.Bordini@csc.liv.ac.uk Abstract. Work on agent communication languages has since long striven to achieve adequate speech act semantics; partly, the problem is that references to an agent’s architecture (in particular a BDI-like ar- chitecture) would be required in giving such semantics more rigorously. On the other hand, BDI agent-oriented programming languages have had their semantics formalised for abstract versions only, neglecting practi- cal aspects such as communication primitives; this means that, at least in what concerns communication, implementations of BDI programming languages have been ad hoc. This paper tackles, however preliminarily, both these problems by giving semantics to speech-act based messages