Argumentation 27 (2):143-166 (2013)
Formal dialogue systems model rule-based interaction between agents and as such have multiple applications in multi-agent systems and AI more generally. Their conceptual roots are in formal theories of natural argumentation, of which Hamblin’s formal systems of argumentation in Hamblin (Fallacies. Methuen, London, 1970, Theoria 37:130–135, 1971) are some of the earliest examples. Hamblin cites the medieval theory of obligationes as inspiration for his development of formal argumentation. In an obligatio, two agents, the Opponent and the Respondent, engage in an alternating-move dialogue, where the 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 Prakken (Knowl Eng Rev 21(2):163–188, 2006) using Dynamic Epistemic Logic (van Ditmarsch et al. in Dynamic epistemic logic, Synthese Library Series. Springer, Berlin, 2007). The result is a new type of inter-agent dialogue, for consistency-checking, and analyzing obligationes in this way also sheds light on interpretational and historical questions concerning their use and purpose in medieval academia
|Keywords||Consistency Dialogue protocol Dialogue systems Obligationes|
|Categories||categorize this paper)|
References found in this work BETA
Commitment in Dialogue: Basic Concepts of Interpersonal Reasoning.Douglas Walton & Erik C. W. Krabbe - 1995 - State University of New York Press.
Games That Agents Play: A Formal Framework for Dialogues Between Autonomous Agents. [REVIEW]Peter McBurney & Simon Parsons - 2002 - Journal of Logic, Language and Information 11 (3):315-334.
Interactive Logic in the Middle Ages.Sara L. Uckelman - 2012 - Logic and Logical Philosophy 21 (4):439-471.
Citations of this work BETA
No citations found.
Similar books and articles
Is There a Burden of Questioning?Douglas Walton - 2003 - Artificial Intelligence and Law 11 (1):1-43.
Roger Swyneshed's Obligationes: A Logical Game of Inference Recognition?Dutilh Novaes Catarina - 2006 - Synthese 151 (1):125 - 153.
Medieval Obligationes as a Theory of Discursive Commitment Management.Catarina Dutilh Novaes - 2011 - Vivarium 49 (1-3):240-257.
Added to index2012-03-17
Total downloads29 ( #177,618 of 2,171,911 )
Recent downloads (6 months)1 ( #326,615 of 2,171,911 )
How can I increase my downloads?