Academia.eduAcademia.edu

Outline

A Common Ontology of Agent Communication Languages

Applied Ontology

Abstract

There are two main traditions in defining a semantics for agent communication languages, based either on mental attitudes or on social commitments. These traditions, even if they share the idea of speech acts as operators with preconditions and effects, and agents playing roles like speaker and hearer, rely on completely distinct ontologies. Not only does the mental attitudes approach refer to concepts like belief, desire, goal or intention and is the social commitment approach based on the notion of commitment, but the two approaches also refer to distinct speech acts, distinct types of dialogue games, and so on. In this paper, we propose a common ontology for both approaches based on public mental attitudes attributed to roles. Public mental attitudes avoid the problems of mentalistic semantics, such as the unverifiability of private mental states, and they allow the reuse of the logics and implementations developed for FIPA compliant approaches. Moreover, a common ontology of communication primitives allows for the construction of agents participating to dialogues with both FIPA and social commitments compliant agents. The challenge of agent communication languages whose semantics is based on public mental attitudes, such as our rolebased semantics, is to define mappings from existing languages to the new one. In this paper we show how to map the two existing traditions to our role-based ontology of public mental attitudes and we show how it allows for a comparison. Moreover, to test the generality of our new ontology for agent communication languages, we show how to extend the social commitment approach to cope with persuasion dialogue too.

FAQs

sparkles

AI

What distinguishes the two traditions in agent communication ontologies?add

The study differentiates between semantics based on mental attitudes, exemplified by FIPA, and those grounded in social commitments, highlighting how each utilizes distinct primitives.

How does the proposed role-based ontology address public mental attitudes?add

The paper establishes that public mental attitudes are attributed to role instances, reflecting the beliefs and goals agents are accountable for during dialogues.

What challenges arise in mapping FIPA's communication to a role-based ontology?add

Mapping requires reinterpretation of feasibility preconditions, which traditionally mandate prior belief, allowing for more varied interpretations under public mental attitudes.

How does action commitment differ from propositional commitment in this context?add

Action commitments are linked to role-based goals, while propositional commitments are viewed as the beliefs attributed to roles, defining responsibilities in dialogues.

What implications does the role-based ontology have for agent interactions?add

By modeling interactions as role instances, the framework permits multiple dialogues, enabling nuanced dynamics such as bluffing or insincerity in communications.

References (68)

  1. Allen, J. F. and Perrault, C. R. (1980). Analyzing intention in utterances. Artificial Intelligence, 15:143-178.
  2. Austin, J. (1962). How to do things with words. Harvard University Press, Cambridge Mass.
  3. Bentahar, J., Moulin, B., Meyer, J., and Chaib-draa, B. (2004). A modal semantics for an argumentation-based pragmatics for agent communication. In LNCS n.3366 Argumentation in Multi-Agent Systems (ArgMAS'04), pages 44-63, Berlin. Springer.
  4. Boella, G., Damiano, R., Hulstijn, J., and van der Torre, L. (2006a). ACL semantics between social commitments and mental attitudes. In Proceedings of the AAMAS 2006 Workshop on Agent Communication (AC'06), LNCS to appear. Springer Verlag, Berlin.
  5. Boella, G., Damiano, R., Hulstijn, J., and van der Torre, L. (2006b). Role-based semantics for agent communication: Embedding of the Śmental attitudesŠ and Śsocial commitmentsŠ semantics. In Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'06), pages 688-690. ACM Press, New York.
  6. Boella, G., Damiano, R., Hulstijn, J., and van der Torre, L. (2007a). Distinguishing propositional and action commitment in agent communication. In Proceedings of the Workshop on Computational Modles of Natural Argument (CMNA'07).
  7. Boella, G., Hulstijn, J., Governatori, G., Riveret, R., Rotolo, A., and van der Torre, L. (2007b). FIPA communicative acts in defeasible logic. In Proceedings of workshop on Nonmonotonic Reasoning, Action and Change (NRAC'07).
  8. Boella, G., Hulstijn, J., and van der Torre, L. (2005a). A synthesis between mental attitudes and social commitments in agent communication languages. In Proceedings of the 2005 IEEE/WIC/ACM International Conference on Intelligent Agent Tech- nology (IAT'05), pages 358-364. IEEE Computer Society.
  9. Boella, G., Odell, J., van der Torre, L. W. N., and Verhagen, H., editors (2005b). AAAI 2005 Fall Symposium on Roles, an interdisciplinary perspective , Arlington, VA, 03/11/05-06/11/05, volume FS-05-08 of AAAI Technical Report.
  10. Boella, G. and van der Torre, L. (2004). Organizations as socially constructed agents in the agent oriented paradigm. In Proceedings of workshop on Engineering Societies in the Agents World (ESAW'04), LNAI 3451, pages 1-13, Berlin. Springer Verlag, Berlin.
  11. Boella, G. and van der Torre, L. (2006a). A game theoretic approach to contracts in multiagent systems. IEEE Transactions on Systems, Man and Cybernetics -Part C: Applications and Reviews, 36(1):68-79.
  12. Boella, G. and van der Torre, L. (2006b). Security policies for sharing knowledge in virtual communities. IEEE Transactions on Systems, Man and Cybernetics -Part A: Systems and Humans, 36(3):439-450.
  13. Boella, G. and van der Torre, L. W. N. (2007). The ontological properties of social roles in multi-agent systems: Definitional dependence, powers and roles playing roles. Artificial Intelligence and Law Journal (AILaw).
  14. Brandom, R. (1994). Making it explicit. Harvard University Press, Cambridge, MA.
  15. Bratman, M. (1987). Intention, plans, and practical reason. Harvard University Press, Cambridge Mass.
  16. Bresciani, P., Giorgini, P., Giunchiglia, F., Mylopoulos, J., and Perini, A. (2004). TROPOS: An agent-oriented software develop- ment methodology. Autonomous Agents and Multi-Agent Systems, 8(3):203-236.
  17. Bretier, P. and Sadek, D. (1997). A rational agent as the kernel of a cooperative spoken dialogue system: implementing a logical theory of interaction. In Muller, J. P., Wooldridge, M. J., and Jennings, N. R., editors, Lecture Notes in Artificial Intelligence n. 1193 Intelligent Agents III, pages 189-203. Springer.
  18. Castelfranchi, C. (1995). Commitment: from intentions to groups and organizations. In Proc. of ICMAS'95, pages 41-48, Cambridge (MA). AAAI/MIT Press.
  19. Castelfranchi, C. (1998). Modeling social action for AI agents. Artificial Intelligence, 103(1-2):157-182.
  20. Cohen, P. R. and Levesque, H. J. (1990). Intention is choice with commitment. Artificial Intelligence, 42:213-261.
  21. Cohen, P. R. and Perrault, C. R. (1979). Elements of a plan-based theory of speech acts. Cognitive Science, 3:177-212.
  22. Coleman, J., O'Rourke, M., and Edwards, D. B. (2006). Pragmatics and agent communication languages. In Roberta Ferrario, Nicola Guarino, L. P., editor, Proceedings of the ESSLLI Workshiop on Formal Ontologies for Communicating Agents. ESSLLI.
  23. Colombetti, M., Fornara, N., and Verdicchio, M. (2004). A social approach to communication in multiagent systems. In Leite, J. A., Omicini, A., Sterling, L., and Torroni, P., editors, Declarative Agent Languages and Technologies (DALT'03), volume LNCS 2990, pages 191-220. Springer Verlag.
  24. Dastani, M., Dignum, V., and Dignum, F. (2003). Role-assignment in open agent societies. In Proceedings of the 2nd Inter- national Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'03), pages 489-496. ACM Press, New York.
  25. Dastani, M., Herzig, A., Hulstijn, J., and Van der Torre, L. (2004). Inferring trust. In Proceedings of Fifth Workshop on Compu- tational Logic in Multi-agent Systems (CLIMA V), LNAI 3487, pages 144-160. Springer.
  26. Demolombe, R. (2001). To trust information sources: a proposal for a modal logical framework. In Castelfranchi, C. and Tan, Y.-H., editors, Trust and Deception in Virtual Societies, pages 111 -124. Kluwer.
  27. Esteva, M., de la Cruz, D., and Sierra, C. (2002). ISLANDER: an electronic institutions editor. In First Interantional Joint Conference on Autonoumous Agents and Multiagent Systems (AAMAS'02), pages 1045 -1052. ACM Press.
  28. Ferber, J., Gutknecht, O., and Michel, F. (2003). From agents to organizations: an organizational view of multiagent systems. In Agent-Oriented Software Engineering IV (AOSE'03), LNCS 2935, pages 214-230. Springer-Verlag, Berlin.
  29. FIPA (2002a). FIPA ACL communicative act library specification. Technical Report SC00037J, Foundation for Intelligent Physical Agents.
  30. FIPA (2002b). Fipa propose interaction protocol specification. Technical Report SC00036H, Foundation for Intelligent Physical Agents.
  31. Fornara, N. and Colombetti, M. (2004). A commitment-based approach to agent communication. Applied Artificial Intelligence, 18(9-10):853-866.
  32. Gaudou, B., Herzig, A., and Longin, D. (2006a). A logical framework for grounding-based dialogue analysis. Electronic Notes in Theoretical Computer Science, 157(4):117-137.
  33. Gaudou, B., Herzig, A., Longin, D., and Nickles, M. (2006b). A new semantics for the fipa agent communication language based on social attitudes. In Procs. of ECAI'06.
  34. Goffman, E. (1959). The Presentation of Self in Everyday Life. Doubleday, Garden City, New York.
  35. Guerini, M. and Castelfranchi, C. (2006). Promises and threats in persuasion. In Proceedings of the ECAI Workshop on Compu- tational Models of Natural Argument (CMNA'06).
  36. Habermas, J. (1984). Theory of Communicative Action, volume I. Beacon, Boston, MA, translated by t. mccarthy edition.
  37. Habermas, J. (1987). Theory of Communicative Action, volume II. Beacon, Boston, MA, translated by t. mccarthy edition. Hamblin, C. L. (1970). Fallacies. Methuen & Co, London.
  38. Herrmann, S. (2005). Roles in a context. In Procs. of AAAI Fall Symposium Roles'05. AAAI Press.
  39. Juan, T. and Sterling, L. (2004). Achieving dynamic interfaces with agents concepts. In Procs. of AAMAS'04. Kagal, L. and Finin, T. (2005). Modeling conversation policies using permissions and obligations. LNCS 3396, pages 120-133. Springer Verlag, Berlin.
  40. Kibble, R. (2005). Speech acts, commitment and multi-agent communication. Computational & Mathematical Organization Theory, 12(2-3):127-145.
  41. Lewis, D. (1969). Convention: A Philosophical Study. Harvard University Press, Cambridge.
  42. Liau, C.-J. (2003). Belief, information acquisition, and trust in multi-agent systems -a modal formulation. Artificial Intelligence, 149:31-60.
  43. Lochbaum, K. E. (1998). A collaborative planning model of intentional structure. Computational Linguistics, 24(4):525-572.
  44. Loebe, F. (2005). Abstract vs. social roles: A refined top-level ontological analysis. In Boella, G., Odell, J., van der Torre, L., and Verhagen, H., editors, Proceedings of the 2005 AAAI Fall Symposium on 'Roles, an Interdisciplinary Perspective', page 93 Ű100. AAAI Press, Menlo Park.
  45. Mackenzie, J. (1979). Question begging in non-cumulative systems. Journal of Philosophical Logic, 8:117-133.
  46. Makinson, D. and van der Torre, L. (2000). Input-output logics. Journal of Philosophical Logic, 29(4):383-408.
  47. Masolo, C., Guizzardi, G., Vieu, L., Bottazzi, E., and Ferrario, R. (2005). Relational roles and qua-individuals. In Boella, G., Odell, J., van der Torre, L., and Verhagen, H., editors, Proceedings of the 2005 AAAI Fall Symposium on 'Roles, an Interdisciplinary Perspective', page paper 103. AAAI Press, Menlo Park.
  48. Maudet, N. and Chaib-draa, B. (2002). Commitment-based and dialogue-game based protocols-new trends in agent communi- cation language. The Knowledge Engineering Review, 17(2):157-179.
  49. Nickles, M., Fischer, F., and Weiss, G. (2006). Communication attitudes: A formal approach to ostensible intentions, and indi- vidual and group opinions. Electronic Notes in Theoretical Computer Science, 157(4):95-115.
  50. Pasquier, P. and Chaib-draa, B. (2003). The cognitive coherence approach for agent communication pragmatics. In Proceedings of the 2nd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'03), pages 544-551. ACM Press, New York.
  51. Pasquier, P., Flores, R., and Chaib-draa, B. (2004). Modelling flexible social commitments and their enforcement. In Engineering Societies in the Agent World (ESAW'04), LNCS 3451, pages 139-151. Springer-Verlag, Berlin.
  52. Pitt, J. and Mamdani, A. (1999). Some remarks on the semantics of FIPA's agent communication language. Autonomous Agents and Multi-Agent Systems, 2(4):333-356.
  53. Pollack, M. E. (1990). Plans as complex mental attitudes. In Cohen, P. R., Morgan, J., and Pollack, M. E., editors, Intentions in Communication, pages 77-103. MIT Press, Cambridge, Mass.
  54. Sadek, D. M. (1990). Logical task modelling for man-machine dialogue. In Proceedings of the 8th AAAI Conference, pages 970-975. Morgan Kaufmann.
  55. Sadek, M. D., Bretier, P., and Panaget, E. (1997). ARTIMIS: Natural dialogue meets rational agency. In Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI'97), pages 1030-1035. Morgan Kaufmann.
  56. Schank, R. C. and Abelson, R. P. (1977). Scripts, Plans, Goals and Understanding: an Inquiry into Human Knowledge Structures. Erlbaum, New York.
  57. Searle, J. (1969). Speech Acts: an Essay in the Philosophy of Language. Cambridge University Press, Cambridge (UK).
  58. Singh, M. P. (1991). A conceptual analysis of commitments in multiagent systems. In Technical Report, Department of Computer Science. North Carolina State University, pages 69-74.
  59. Singh, M. P. (2000). A social semantics for agent communication languages. In Issues in Agent Communication (AC'2000), LNCS 1916, pages 31 -45. Springer-Verlag, Berlin.
  60. Smith, R. G. (1980). The contract net protocol: High-level communication and control in a distributed problem solver. IEEE Transactions on Computers, 29(12):1104-1113.
  61. Stalnaker, R. C. (2002). Common ground. Linguistics and Philosophy, 25:701 Ű7219.
  62. Verdicchio, M. and Colombetti, M. (2006). From message exchanges to communicative acts to commitments. In Procs. of LCMAS'05, pages 75-94. ENTCS 157(4).
  63. Walton, D. N. and Krabbe, E. C. (1995). Commitment in Dialogue: Basic Concepts of Interpersonal Reasoning. State University of New York Press.
  64. Winograd, T. and Flores, F. (1986). Understanding Computers and Cognition. Reading, MA: Addison-Wesley.
  65. Wooldridge, M., Jennings, N., and Kinny, D. (2000). The Gaia methodology for agent-oriented analysis and design. Autonomous Agents and Multi-Agent Systems, 3(3):285-312.
  66. Wooldridge, M. J. (2000). Semantic issues in the verification of agent communication languages. Journal of Autonomous Agents and Multi-Agent Systems, 3(1):9-31.
  67. Yolum, P. and Singh, M. P. (2002). Flexible protocol specification and execution: Applying event calculus planning using commitments. In Proceedings of the 1st International Joint Conference on Autonomous Agents and MultiAgent Systems (AAMAS'02), pages 527-534. ACM Press.
  68. Zambonelli, F., Jennings, N., and Wooldridge, M. (2003). Developing multiagent systems: The Gaia methodology. IEEE Trans- actions of Software Engineering and Methodology, 12(3):317-370.