A modal semantics for an argumentation-based pragmatics for agent communication

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 3366, Issue , 2005, Pages 44-63

  Bentahar, Jamal ^a   Moulin, Bernard ^a   Meyer, John Jules Ch ^b   Chaib draa, Brahim ^a  

^a UNIVERSITÉ LAVAL   (Canada)

^b UTRECHT UNIVERSITY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

MATHEMATICAL MODELS; MULTI AGENT SYSTEMS; NETWORK PROTOCOLS; SOCIAL ASPECTS;

ARGUMENTATION-BASED PRAGMATICS; COMMITMENT AND ARGUMENT NETWORK (CAN); LOGIC-BASED PROTOCOLS; LOGICAL MODELS;

SEMANTICS;

EID: 26844582545     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-32261-0_4     Document Type: Conference Paper

References (25)

1. Amgoud, L., Maudet, N., and Parsons, N. An argumentation-based semantics for agent communication languages. 15th Euro. Conf. on AI (2002) 38-42.
2. Bentahar, J., Moulin, B., and Chaib-draa, B. Commitment and Argument Network: a formal framework for representing conversation dynamics Logic and Dialogue. Kluwer (2004) (to appear).
3. Bentahar, J., Moulin, B., and Chaib-draa, B. Commitment and argument network: a new formalism for agent communication. Dignum, F. (ed.). Advances in Agent Communication. Lecture Notes in Artificial Intelligence, Vol. 2922. Springer-Verlag (2003) 146-165.
4. Bentahar, J., Moulin, B., and Chaib-draa, B. Specifying and Implementing a Persuasion Dialogue Game using Commitments and Arguments. Rahwan, I., Moraitis, P., and Reed, C. (eds.). Argumentation in Multi-Agent Systems. Springer Verlag (2004), in this volume.
5. Castelfranchi, C. Commitments: from individual intentions to groups and organizations. The Int. Conf. ICMAS. (1995) 41-48.
6. Cleaveland, R. Tableau-based model checking in the propositional mu-calculus. In Acta Informatica, Vol. 27(8). (1990) 725-747.
7. Chaib-draa, B., and Dignum, F. Trends in agent communication language. Computational Intelligence, Vol. 18(2). Oxford (2002) 89-101.
8. Cohen, P.R., and Levesque, H.J. Persistence, intentions and commitment. Cohen, P.R., Morgan. J., and Pollack, M.E. (eds.). Intentions in Communication. Cambridge (1990) 33-70.
9. Dastani, M., Hulstijn, J., and der Torre, L.V. Negotiation protocols and dialogue games. The Belgium/Dutch AI Conf. Kaatsheuvel (2000) 13-20.
10. Elvang-Goransson, M., Fox, J., and Krause, P. Dialectic reasoning with inconsistent information. The 9th Conf. on Uncertainty in AI (1993) 114-121.
11. Emerson, E. A. Temporal and Modal logic. Handbook of Theoretical Computer Science, van Leeuwen, J. (eds). Elsevier Science Publishers (1990) 995-1072.
12. Finin, T., Labrou, Y., and Mayfield, J. KQML as an agent communication language. Bradshaw, J.M. (ed.). Software Agent. MIT Press (1997) 291-316.
13. Fornara, N., and Colombetti, M. Operational specification of a commitment-based agent communication language. The First Int. Conf. on AAMAS (2002) 536-542.
14. Harel, D. Dynamic logic. Handbook of Philosophical Logic. Gabbay, D.M., and Guenther, F. (eds), Vol. 2 (1984) 497-604.
15. Rahwan, I., Ramchum, S.D., Jennings, N.R., McBurney, P., Parsons, S., and Sonenberg, L. Argumentation-based negotiation. Knowledge Engineering Review (2004) (to appear).
16. Van der Hoek, W., and Wooldridge, M. Towards a logic of rational agency. Logic Journal of the IGPL, Vol. 11(2) (2003) 133-157.
17. Mallya, A.U., Yolum, P., and Singh, M. Resolving Commitments Among Autonomous Agents. Dignum, F. (ed.). Advances in Agent Communication. Lecture Notes in Artificial Intelligence, Vol. 2922. Springer Verlag (2003) 166-182.
18. McBurney, P., Parsons, S., and Wooldridge, M. Desiderata for agent argumentation protocols. The First Int. Conf. on AAMAS (2002) 402-409.
19. Meyer, J.-J. Ch., van der Hoek, W., and van Linder, B. A logical Approach to the dynamics of commitments. AI Journal, Vol. 113 (1-2) (1999) 1-40.
20. Parsons, S., Sierra, C., and Jennings, N. Agents that reason and negotiate by arguing. Journal of Logic and Computation, Vol. 8(3) (1998) 261-292.
21. Pitt, J., and Mamdani, A. Communication protocols in multi-agent systems: a development method and reference architecture. Dignum, F., and Greaves, M. (eds.). Issues in Agent Communication. Lecture Notes in Artificial Intelligence, Vol. 1916. Springer Verlag (2000) 160-177.
22. Rao, A.S., and Georgeff, M.P. BDI agents: from theory to practice. The Int. Conf. ICMAS (1995) 312-319.
23. Singh, M.P. Agent communication languages: rethinking the principles. IEEE Computer, Vol. 31(12) (1998) 40-47.
24. Singh, M.P., A social semantics for agent communication language. Dignum, F., and Greaves. M. (eds.). Issues in Agent Communication. Lecture Notes in Artificial Intelligence, Vol. 1916. Springer Verlag (2000) 31-45.
25. Verdicchio, M., and Colombetti, M. A logical model of social commitment for agent communication. The Second Int. Conf. on AAMAS (2003) 528-535.