David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
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)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
Douglas Walton & Erik C. W. Krabbe (1995). Commitment in Dialogue: Basic Concepts of Interpersonal Reasoning. State University of New York Press.
C. L. Hamblin (1970/1993). Fallacies. Vale Press.
C. L. Hamblin (1971). Mathematical Models of Dialogue. Theoria 37 (2):130-155.
Peter McBurney & Simon Parsons (2002). Games That Agents Play: A Formal Framework for Dialogues Between Autonomous Agents. [REVIEW] Journal of Logic, Language and Information 11 (3):315-334.
Sara L. Uckelman (2012). Interactive Logic in the Middle Ages. Logic and Logical Philosophy 21 (4):439-471.
Citations of this work BETA
No citations found.
Similar books and articles
Douglas Walton (2003). Is There a Burden of Questioning? Artificial Intelligence and Law 11 (1):1-43.
Erik C. W. Krabbe (2013). Topical Roots of Formal Dialectic. Argumentation 27 (1):71-87.
Erick C. W. Krabbe (1984). Formal Systems of Dialogue Rules. Synthese 58 (2):295 - 328.
Erik C. W. Krabbe (1985). Formal Systems of Dialogue Rules. Synthese 63 (3):295 - 328.
Catarina Dutilh Novaes (2006). Roger Swyneshed's Obligationes: A Logical Game of Inference Recognition? Synthese 151 (1):125 - 153.
C. Dutilh Novaes (2005). Medieval Obligationes as Logical Games of Consistency Maintenance. Synthese 145 (3):371 - 395.
Henry Prakken (2011). Argumentation Without Arguments. Argumentation 25 (2):171-184.
Catarina Dutilh Novaes (2011). Medieval Obligationes as a Theory of Discursive Commitment Management. Vivarium 49 (1-3):240-257.
Douglas Walton (2011). A Dialogue Model of Belief. Argument and Computation 1 (1):23-46.
Jim Mackenzie (1990). Four Dialogue Systems. Studia Logica 49 (4):567 - 583.
Paul St Denis & Patrick Grim (1997). Fractal Images of Formal Systems. Journal of Philosophical Logic 26 (2):181-222.
Added to index2012-03-17
Total downloads16 ( #167,478 of 1,726,994 )
Recent downloads (6 months)2 ( #289,836 of 1,726,994 )
How can I increase my downloads?