A Mathematical Model of Dialog

Authors:
Mark W. Johnson;Peter McBurney;Simon Parsons
Affiliations:
Department of Mathematics, Pennsylvania State University, Altoona PA 16601-3760 USA;Department of Computer Science, University of Liverpool, Liverpool L69 3BX UK;Department of Computer and Information Science, Brooklyn College, 2900 Bedford Avenue, Brooklyn NY 11210 USA
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2005

Citing 12
Cited 6

First steps in modal logic

First steps in modal logic
A shorter model theory

A shorter model theory
Desiderata for agent argumentation protocols

Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
Introduction to Multiagent Systems

Introduction to Multiagent Systems
Representing Epistemic Uncertainty by Means of Dialectical Argumentation

Annals of Mathematics and Artificial Intelligence
Games That Agents Play: A Formal Framework for Dialogues between Autonomous Agents

Journal of Logic, Language and Information
Some Remarks on the Semantics of FIPA's Agent Communication Language

Autonomous Agents and Multi-Agent Systems
Semantic Issues in the Verification of Agent Communication Languages

Autonomous Agents and Multi-Agent Systems
A Dialogue Game Protocol for Agent Purchase Negotiations

Autonomous Agents and Multi-Agent Systems
Modeling Dialogues Using Argumentation

ICMAS '00 Proceedings of the Fourth International Conference on MultiAgent Systems (ICMAS-2000)
A Denotational Semantics for Deliberation Dialogues

AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
Signs of a revolution in computer science and software engineering

ESAW'02 Proceedings of the 3rd international conference on Engineering societies in the agents world III

Argumentation in artificial intelligence

Artificial Intelligence
Learning Common Outcomes of Communicative Actions Represented by Labeled Graphs

ICCS '07 Proceedings of the 15th international conference on Conceptual Structures: Knowledge Architectures for Smart Applications
Amongst First-Class Protocols

Engineering Societies in the Agents World VIII
Learning communicative actions of conflicting human agents

Journal of Experimental & Theoretical Artificial Intelligence
Discovering common outcomes of agents' communicative actions in various domains

Knowledge-Based Systems
A formal general setting for dialogue protocols

AIMSA'06 Proceedings of the 12th international conference on Artificial Intelligence: methodology, Systems, and Applications

Quantified Score

Hi-index	0.01

Visualization

Abstract

Computer Science is currently undergoing a paradigm shift, from viewing computer systems as isolated programs to viewing them as dynamic multi-agent societies. Evidence of this shift is the significant effort devoted recently to the design and implementation of languages and protocols for communications and interaction between software agents. Despite this effort, no formal mathematical theory of agent interaction languages and protocols yet exists. We argue that such a theory needs to account for the semantics of agent interaction, and propose the first mathematical theory which does this. Our framework incorporates category-theoretic entities for the utterances made in an agent dialog and for the commitments incurred by those utterances, together with maps between these.