A new logical semantics for agent communication

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

Volumn 4371 LNAI, Issue , 2007, Pages 151-170

  Bentahar, Jamal ^a   Moulin, Bernard ^b   Meyer, John Jules Ch ^c   Lespérance, Yves ^d  

^a Concordia Institute for Information Systems Engineering ^*  (Canada)

^b UNIVERSITÉ LAVAL   (Canada)

^c UTRECHT UNIVERSITY   (Netherlands)

^d YORK UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

DATA HANDLING; DYNAMIC PROGRAMMING; MODEL CHECKING; SEMANTICS; TEMPORAL LOGIC;

CONVERSATIONAL AGENTS; DYNAMIC LOGIC; LOGICAL MODELS; LOGICAL SEMANTICS;

MULTI AGENT SYSTEMS;

EID: 38149128163     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-69619-3_9     Document Type: Conference Paper

References (27)

1. Amgoud, L., Maudet, N., Parsons, S.: An argumentation-based semantics for agent communication languages. 15th European Conf. on AI (2002) 38-42
2. Baldoni, M., Baroglio, C., Martelli, A., Patti, V.: Verification of protocol conformance and agent interoperability. F. Toni, P. Torroni (Eds.), Computational Logic in Multi-Agent Systems. Springer LNAI 3900 (2006) 265-283
3. Belnap, N., Perloff, M.: The way of the agent. Studia Logica 51 (1992) 463-484
4. Belnap, N.: Backwards and towards in the modal logic of Agency. Philosophy and Phenomenological Research 51 (1991) 777-807
5. Bentahar, J.: A pragmatic and semantic unified framework for agent communication. Ph.D. Thesis, Laval University, Canada May (2005)
6. Bentahar, J., Moulin, B., Chaib-draa, B.: Commitment and argument network: a new formalism for agent communication. F. Dignum (Ed.), Advances in Agent Communication. Springer LNAI 2922 (2004) 146-165
7. Bentahar, J., Moulin, B., Meyer, J-J.Ch., Chaib-draa, B.: A computational model for conversation policies for agent communication. J. Leite, P. Torroni (Eds.), Computational Logic in Multi-Agent Systems. Springer LNCS 3487 (2004) 178-195
8. Bentahar, J., Moulin, B., Meyer, J-J.Ch., Chaib-draa, B.: A logical model for commitment and argument network for agent communication. Proc. of the Int. Joint Conf. on AAMAS (2004) 792-799
9. Bentahar, J., Moulin, B., Meyer, J-J.Ch., Chaib-draa, B.: A modal semantics for an argumentation-based pragmatics for agent communication. I. Rahwan, P. Moraitis, C. Reed (Eds.), Argumentation in Multi-Agent Systems. Springer LNAI 3366 (2005) 44-63
10. Moreira, Á.F., Vieira, R., Bordini, R.H.: Extending the operational semantics of a BDI agent-oriented programming language for introducing speech-act based communication. J. Leite, A. Omicini, L. Sterling, P. Torroni (Eds.), Declarative Agent Languages and Technologies. Springer LNAI 2990 (2004) 135-154
11. Chellas, B.F.: Time and modality in the logic of agency. Studia Logica, 51 (1992) 485-518
12. Costantini, S., Tocchio, A.: About declarative semantics of logic-based agent languages. M. Baldoni, U. Endriss, A. Omicini, P. Torroni (Eds.), Declarative Agent Langiages and Technologies III. Springer LNAI 3904 (2006) 106-123
13. Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artificial Intelligence 77 (1995) 321-357
14. Elvang-Goransson, M., Fox, J., Krause, P.: Dialectic reasoning with inconsistent information. 9th Conf. on Uncertainty in Artificial Intelligence (1993) 114-121
15. Emerson, E.A., Halpern, J.Y.: Sometimes and not never, revisited: on branching versus linear time temporal logic. Journal ACM 33(1) (1986) 151-178
16. Endriss, U., Maudet, N., Sadri, F., Toni, F.: Protocol conformance for logic-based agents. Proc. of the Int. Joint Conf. on Artificial Intelligence (2003) 679-684
17. Guerin, F., Pitt, J.: Denotational semantics for agent communication languages. Proc. of 5th International Conf. on Autonomous Agents (2001) 497-504
18. Harel, D.: Dynamic logic: axiomatics and expressive power. Ph.D. Thesis, (1979)
19. Kakas, A.C., Miller, R., Toni, F.: An argumentation framework for reasoning about actions and change. Proc. of LPNMR 99, LNCS 1730 (1999) 78-91
20. Mallya, A., Yolum, P., Singh, M.P.: Resolving commitments among autonomous agents. F. Dignum (Ed.), Advances in Agent Communication. Springer LNAI 2922 (2004) 166-182
21. Prakken, H., Vreeswijk, G.: Logics for defeasible argumentation. Handbook of Philosophical Logic (Second Edition) (2000)
22. Sadri, F., Toni, F., Torroni, P.: Dialogues for negotiation: agent varieties and dialogue sequences. 8th Int. Workshop on ATAL. Springer LNCS 2333 (2001) 405-421
23. Singh, M.P.: A social semantics for agent communication language. F. Dignum, M. Greaves (Eds.), Issues in Agent Communication. Springer LNCS 1916 (2000) 31-45
24. Toni, F.: Multi-agent systems in computational logic: challenges and outcomes of the SOCS project. F. Toni, P. Torroni (Eds.), Computational Logic in Multi-Agent Systems. Springer LNAI 3900 (2006) 420-426
25. Torroni, P.: Computational logic in multi-agent systems: recent advances and future directions. J. Dix, J. Leite, K. Satoh (Eds.). Annals of Mathematics and Artificial Intelligence 42(1-3) Kluwer (2004) 293-305
26. Verdicchio, M., Colombetti, M.: A logical model of social commitment for agent communication. Proc. of the Int. Joint Conf. on AAMAS (2003) 528-535
27. Wooldridge, M.: Semantic issues in the verification of agent communication languages. Journal of AAMAS 3(1) Springer (2000) 9-31