An abstract, argumentation-theoretic approach to default reasoning
Artificial Intelligence
An analysis of formal inter-agent dialogues
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
Desiderata for agent argumentation protocols
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
Autonomous Agents and Multi-Agent Systems
Formal systems for persuasion dialogue
The Knowledge Engineering Review
Dialogue games that agents play within a society
Artificial Intelligence
Dynamic Epistemic Logic
New types of inter-agent dialogues
ArgMAS'05 Proceedings of the Second international conference on Argumentation in Multi-Agent Systems
| Hi-index | 0.00 |
Formal Dialogue Systems (FDSs) model rule-based interaction between agents. Their conceptual roots go back to Hamblin's [11,12], which cites the medieval theory of obligationes as inspiration for his development of a formal system of argumentation. In an obligatio, two agents, Opponent and Respondent, engage in an alternating-move dialogue, where Respondent's actions are governed by certain rules, and the goal of the dialogue is establishing the consistency of a proposition. We implement obligationes in the formal dialogue system framework of [20] using Dynamic Epistemic Logic [26]. The result is a new type of inter-agent dialogue, consistency-checking, and analyzing obligationes in this way also sheds light on interpretational and historical questions concerning their use and purpose in medieval academia.