A mathematical model of dialog

Electronic Notes in Theoretical Computer Science

Volumn 141, Issue 5, 2005, Pages 33-48

  Johnson, Mark W ^a   McBurney, Peter ^b   Parsons, Simon ^c  

^a PENNSYLVANIA STATE UNIVERSITY   (United States)

^b UNIVERSITY OF LIVERPOOL   (United Kingdom)

^c CITY UNIVERSITY OF NEW YORK   (United States)

Author keywords

Agent communications; Auctions; Category theory; Dialogue games; FIPA ACL; Interaction protocols; Multi agent systems

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SCIENCE; MULTI AGENT SYSTEMS; NETWORK PROTOCOLS; SEMANTICS; SOFTWARE AGENTS;

AGENT COMMUNICATIONS; AUCTIONS; CATEGORY THEORY; DIALOGUE GAMES; FIPA ACL; INTERACTION PROTOCOLS;

MATHEMATICAL MODELS;

EID: 29144520850     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2005.05.015     Document Type: Conference Paper

References (36)

1. S. Abramsky Semantics of interaction: an introduction to game semantics A.M. Pitts P. Dybjer Semantics and Logics of Computation 1997 Cambridge University Press Cambridge, UK 1 31
2. L. Amgoud, N. Maudet, and S. Parsons Modelling dialogues using argumentation E. Durfee Proceedings of the International Conference on Multi-Agent Systems (ICMAS 2000) 2000 IEEE Press Boston, MA, USA 31 38
3. L. Amgoud, S. Parsons, and N. Maudet Arguments, dialogue, and negotiation W. Horn Proceedings of the European Conference on Artificial Intelligence (ECAI 2000) 2000 IOS Press Berlin, Germany 338 342
4. Aristotle Topics W.D. Ross 1928 Clarendon Press Oxford, UK
5. J.L. Austin How To Do Things with Words 1962 Oxford University Press Oxford, UK
6. R.M. van Eijk. Programming Languages for Agent Communications. PhD thesis, Department of Computer Science, Utrecht University, Utrecht, The Netherlands, 2000
7. FIPA. Communicative Act Library Specification. Standard SC00037J, Foundation for Intelligent Physical Agents, 3 December 2002
8. C.L. Hamblin. Language and the Theory of Information. Ph.D. thesis, Logic and Scientific Method Programme, University of London, London, UK, 1957. Submitted October 1956
9. C.L. Hamblin Fallacies 1970 Methuen London, UK
10. W. Hodges A Shorter Model Theory 1997 Cambridge University Press Cambridge, UK
11. M. W. Johnson. On pointed enrichments and illegal compositions. Technical Report ULCS-03-010, Department of Computer Science, University of Liverpool, Liverpool, UK, 2003
12. M.W. Johnson, P. McBurney, and S. Parsons When are two protocols the same? M.-P. Huget Communication in Multi-Agent Systems: Agent Communication Languages and Conversation Policies Lecture Notes in Artificial Intelligence 2650 2003 Springer Berlin 253 268
13. G.M. Kelly Basic Concepts of Enriched Category Theory London Mathematical Society Lecture Notes 64 1982 Cambridge University Press Cambridge, UK
14. V. Krishna Auction Theory 2002 Academic Press San Diego, CA, USA
15. P. Lorenzen Ein dialogisches konstruktivitätskriterium Infinitistic Methods: Proc. Symp. Foundations of Mathematics Warsaw, 2-9 September 1959 1961 PWN Warszawa, Poland 193 200
16. S. Mac Lane Categories for the Working Mathematician second edition Graduate Texts in Mathematics 5 1998 Springer New York
17. P. McBurney, R.M. van Eijk, S. Parsons, and L. Amgoud A dialogue-game protocol for agent purchase negotiations Journal of Autonomous Agents and Multi-Agent Systems 7 3 2003 35 273
18. P. McBurney, D. Hitchcock, and S. Parsons. The eightfold way of deliberation dialogue. Intelligent Systems, 2005. In press
19. P. McBurney, and S. Parsons Representing epistemic uncertainty by means of dialectical argumentation Annals of Mathematics and Artificial Intelligence 32 1-4 2001 25 169
20. P. McBurney, and S. Parsons Games that agents play: A formal framework for dialogues between autonomous agents Journal of Logic, Language and Information 11 3 2002 15 334
21. P. McBurney, and S. Parsons Dialogue game protocols M.-P. Huget Communication in Multi-Agent Systems: Agent Communication Languages and Conversation Policies Lecture Notes in Artificial Intelligence 2650 2003 Springer Berlin 269 283
22. P. McBurney, and S. Parsons A denotational semantics for deliberation dialogues N.R. Jennings C. Sierra E. Sonenberg M. Tambe Proceedings of the Third International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2004) 2004 ACM Press New York City 86 93
23. P. McBurney, and S. Parsons The Posit Spaces Protocol for multi-agent negotiation F. Dignum Advances in Agent Communication Lecture Notes in Artificial Intelligence 2922 2004 Springer Berlin 364 382
24. P. McBurney, S. Parsons, and M. Wooldridge Desiderata for agent argumentation protocols C. Castelfranchi W.L. Johnson Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2002) 2002 ACM Press New York City 402 409
25. M.J. Osborne, and A. Rubinstein A Course in Game Theory 1994 MIT Press Cambridge, MA, USA
26. J. Pitt, and A. Mamdani Some remarks on the semantics of FIPA's Agent Communications Language Journal of Autonomous Agents and Multi-Agent Systems 2 1999 33 356
27. S. Popkorn First Steps in Modal Logic 1994 Cambridge University Press Cambridge, UK
28. H. Prakken On dialogue systems with speech acts, arguments, and counterarguments M. Ojeda-Aciego Proceedings of the Seventh European Confernce on Applications of Logic in Artificial Intelligence (JELIA 2000) Lecture Notes in Artificial Intelligence 1919 2000 Springer Berlin, Germany 224 238
29. J. Searle Speech Acts: An Essay in the Philosophy of Language 1969 Cambridge University Press Cambridge, UK
30. C.E. Shannon The mathematical theory of communication C.E. Shannon W. Weaver The Mathematical Theory of Communication 1963 University of Illinois Press Chicago, IL, USA 29 125 Originally published in the Bell System Technical Journal, October and November 1948
31. H. Sonnenschein An axiomatic characterization of the price mechanism Econometrica 42 3 1974 25 434
32. D.N. Walton, and E.C.W. Krabbe Commitment in Dialogue: Basic Concepts of Interpersonal Reasoning 1995 State University of New York Press Albany, NY, USA
33. M.J. Wooldridge Semantic issues in the verification of agent communication languages Journal of Autonomous Agents and Multi-Agent Systems 3 1 2000 9 31
34. M.J. Wooldridge Introduction to Multiagent Systems 2002 Wiley New York
35. P.R. Wurman, M.P. Wellman, and W.E. Walsh A parametrization of the auction design space Games and Economic Behavior 35 1-2 2001 304 338
36. F. Zambonelli, and H.V.D. Parunak Signs of a revolution in computer science and software engineering P. Petta Engineering Societies in the Agents World (ESAW 2002) Lecture Notes in Artificial Intelligence 2577 2003 Springer Berlin 13 28