Extending the operational semantics of a BDI agent-oriented programming language for introducing speech-act based communication

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

Volumn 2990, Issue , 2004, Pages 135-154

  Moreira, Álvaro F ^a   Vieira, Renata ^b   Bordini, Rafael H ^c  

^a FEDERAL UNIVERSITY OF RIO GRANDE DO SUL   (Brazil)

^b UNIVERSIDADE DO VALE DO RIO DOS SINOS   (Brazil)

^c UNIVERSITY OF LIVERPOOL   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ASPECT ORIENTED PROGRAMMING; COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING LANGUAGES; LINGUISTICS; LOGIC PROGRAMMING; MULTI AGENT SYSTEMS; PROBLEM ORIENTED LANGUAGES; PROGRAM INTERPRETERS; SEMANTICS; SPEECH COMMUNICATION;

AGENT COMMUNICATION LANGUAGES; AGENT-ORIENTED; BDI AGENT-ORIENTED PROGRAMMING LANGUAGE; COMMUNICATION PRIMITIVES; OPERATIONAL SEMANTICS; SPEECH ACTS; STRUCTURAL OPERATIONAL SEMANTICS; THEORETICAL FOUNDATIONS;

AUTONOMOUS AGENTS; SPEECH COMMUNICATION;

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

References (32)

1. Rao, A. S.: AgentSpeak (L): BDI agents speak out in a logical computable language. In Van de Velde, W., Perram, J., eds.: Proceedings of the Seventh Workshop on Modelling Autonomous Agents in a Multi-Agent World (MAAMAW'96), 22-25 January, Eindhoven, The Netherlands. Lecture Notes in Artificial Intelligence, Vol. 1038. Springer-Verlag (1996) 42-55
2. Bordini, R. H., Bazzan, A. L. C., Jannone, R. O., Basso, D. M., Vicari, R. M., Lesser, V. R.: AgentSpeak (XL): Efficient intention selection in BDI agents via decisiontheoretic task scheduling. In Castelfranchi, C., Lewis Johnson, W., eds.: Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2002), 15-19 July, Bologna, Italy, New York, NY, ACM Press (2002) 1294-1302
3. Bordini, R. H., Visser, W., Fisher, M., Pardavila, C., Wooldridge, M.: Model checking multi-agent programs with CASP. In Hunt Jr., W. A., Somenzi, F., eds.: Proceedgins of the Fifteenth Conference on Computer-Aided Verification (CAV-2003), Boulder, CO, 8-12 July. Lecture Notes in Computer Science, Berlin. Springer-Verlag (2003) 110-113 Tool description.
4. Bordini, R. H., Fisher, M., Pardavila, C., Wooldridge, M.: Model checking AgentSpeak. In Rosenschein, J. S., Sandholm, T., Michael, W., Yokoo, M., eds.: Proceedings of the Second International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2003), Melbourne, Australia, 14-18 July, New York, NY, ACM Press (2003) 409-416
5. Rao, A. S., Georgeff, M. P.: Decision procedures for BDI logics. Journal of Logic and Computation 8 (1998) 293-343
6. Moreira, Á. F., Bordini, R. H.: An operational semantics for a BDI agent-oriented programming language. In Meyer, J. J. C., Wooldridge, M. J., eds.: Proceedings of the Workshop on Logics for Agent-Based Systems (LABS-02), held in conjunction with the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR2002), April 22-25, Toulouse, France. (2002) 45-59
7. Bordini, R. H., Moreira, Á. F.: Proving the asymmetry thesis principles for a BDI agent-oriented programming language. In Dix, J., Leite, J. A., Satoh, K., eds.: Proceedings of the Third International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-02), 1st August, Copenhagen, Denmark. Electronic Notes in Theoretical Computer Science 70(5), Elsevier (2002)
8. Bordini, R. H., Moreira, Á. F.: Proving BDI properties of agent-oriented programming languages: The asymmetry thesis principles in AgentSpeak (L). Annals of Mathematics and Artificial Intelligence (2003) Accepted for publication in a Special Issue on Computational Logic in Multi-Agent Systems.
9. Singh, M. P.: Agent communication languages: Rethinking the principles. IEEE Computer 31 (1998) 40-47
10. Wooldridge, M.: Computationally grounded theories of agency. In Durfee, E., ed.: Proceedings of the Fourth International Conference on Multi-Agent Systems (ICMAS-2000), 10-12 July, Boston, Los Alamitos, CA, IEEE Computer Society (2000) 13-20 Paper for an Invited Talk.
11. Labrou, Y., Finin, T.: A semantics approach for KQML-a general purpose communication language for software agents. In: Proceedings of the Third International Conference on Information and Knowledge Management (CIKM'94), ACM Press (1994)
12. Cohen, P. R., Levesque, H. J.: Intention is choice with commitment. Artificial Intelligence 42 (1990) 213-261
13. Wooldridge, M.: Semantic issues in the verification of agent communication languages. Autonomous Agents and Multi-Agent Systems 3 (2000) 9-31
14. de Boer, F. S., van Eijk, R. M., Van Der Hoek, W., Meyer, J. J. C.: Failure semantics for the exchange of information in multi-agent systems. In Palamidessi, C., ed.: Eleventh International Conference on Concurrency Theory (CONCUR 2000), University Park, PA, 22-25 August. Lecture Notes in Computer Science, Vol. 1877. Springer-Verlag (2000) 214-228
15. van Eijk, R. M., de Boer, F. S., Van Der Hoek, W., Meyer, J. J. C.: A verification framework for agent communication. Autonomous Agents and Multi-Agent Systems 6 (2003) 185-219
16. Wooldridge, M.: Reasoning about Rational Agents. The MIT Press, Cambridge, MA (2000)
17. Bratman, M. E.: Intentions, Plans and Practical Reason. Harvard University Press, Cambridge, MA (1987)
18. Austin, J. L.: How to Do Things with Words. Oxford University Press, London (1962)
19. Searle, J. R.: Speech Acts: An Essay in the Philosophy of Language. Cambridge University Press, Cambridge (1969)
20. Levinson, S. C.: The essential inadequacies of speech act models of dialogue. In Parret, H., Sbisa, M., Verschuren, J., eds.: Possibilities and limitations of pragmatics: Proceedings of the Conference on Pragmatics at Urbino, July, 1979. Benjamins, Amsterdam (1981) 473-492
21. Ballmer, T. T., Brennenstuhl, W.: Speech Act Classification: A Study in the Lexical Analysis of English Speech Activity Verbs. Springer-Verlag, Berlin (1981)
22. Singh, M. P.: Multiagent Systems - A Theoretic Framework for Intentions, Know-How, and Communications. Lecture Notes in Artificial Intelligence, Vol. 799. Springer-Verlag, Berlin (1994)
23. Castelfranchi, C., Falcone, R.: Principles of trust for MAS: Cognitive anatomy, social importance, and quantification. In Demazeau, Y., ed.: Proceedings of the Third International Conference on Multi-Agent Systems (ICMAS'98), Agents' World, 4-7 July, Paris, Washington, IEEE Computer Society Press (1998) 72-79
24. Smith, R. G.: The contract net protocol: High-level communication and control in a distributed problem solver. IEEE Transactions on Computers c-29 (1980) 1104-1113
25. Genesereth, M. R., Ketchpel, S. P.: Software agents. Communications of the ACM 37 (1994) 48-53
26. Mayfield, J., Labrou, Y., Finin, T.: Evaluation of KQML as an agent communication language. In Wooldridge, M., Müller, J. P., Tambe, M., eds.: Intelligent Agents II-Proceedings of the Second International Workshop on Agent Theories, Architectures, and Languages (ATAL'95), held as part of IJCAI'95, Montréal, Canada, August 1995. Lecture Notes in Artificial Intelligence, Vol. 1037. Springer-Verlag (1996) 347-360
27. Cohen, P. R., Levesque, H. J.: Rational interaction as the basis for communication. In Cohen, P. R., Morgan, J., Pollack, M. E., eds.: Intentions in Communication. MIT Press, Cambridge, MA (1990) 221-255
28. Ancona, D., Mascardi, V.: Coo-BDI: Extending the BDI model with cooperativity. In this volume.
29. Alberti, M., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Modeling interactions using social integrity constraints: a resource sharing case study. In this volume.
30. Clark, K. L., McCabe, F. G.: Go! for multi-threaded deliberative agents. In this volume.
31. Castaldi, M., Constantini, S., Gentile, S., Tocchio, A.: A logic-based infrastructure for reconfiguring applications. In this volume.
32. Hübner, J. F.: Um Modelo de Reorganização de Sistemas Multiagentes. PhD thesis, Universidade de São Paulo, Escola Politécnica (2003)