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|
No categories specified
(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
Ignacio Angelelli (1970). The Techniques of Disputation in the History of Logic. Journal of Philosophy 67 (20):800-815.
Philotheus Boehner (1952/1979). Medieval Logic: An Outline of its Development From 1250 to C.1400. Hyperion Press.
H. A. G. Braakhuis (1998). Obligations in Early Thirteenth Century Paris: The Obligationes of Nicholas of Paris(?). Vivarium 36 (2):152-233.
L. M. De Rijk (1975). In Memoriam Prof. Dr Joseph Engels. Vivarium 13 (2):99-102.
L. M. De Rijk (1976). Richayd Billingham's Works on Logic. Vivarium 14 (2):121-138.
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 downloads11 ( #131,222 of 1,096,600 )
Recent downloads (6 months)6 ( #37,677 of 1,096,600 )
How can I increase my downloads?