Argumentation 27 (2):143-166 (2013)

Sara L. Uckelman
Durham University
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)
DOI 10.1007/s10503-012-9266-7
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 72,607
Through your library

References found in this work BETA

Fallacies.Charles Leonard Hamblin - 1970 - London, England: Vale Press.
Fallacies.C. L. Hamblin - 1970 - Revue Philosophique de la France Et de l'Etranger 160:492-492.
Dynamic Epistemic Logic.Hans van Ditmarsch, Wiebe van der Hoek & Barteld Kooi - 2016 - Internet Encyclopedia of Philosophy.
Dynamic Epistemic Logic.Hans van Ditmarsch, and, Wiebe van der Hoek & Barteld Kooi - 2016 - Internet Encyclopedia of Philosophy.

View all 28 references / Add more references

Citations of this work BETA

A Dialectical Approach to Presupposition.Fabrizio Macagno - 2018 - Intercultural Pragmatics 15 (2):291-313.
Interactive Logic in the Middle Ages.Sara L. Uckelman - 2012 - Logic and Logical Philosophy 21 (4):439-471.
Reasoning About Obligations in Obligationes: A Formal Approach.Sara Uckelman - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10. CSLI Publications. pp. 533-568.

Add more citations

Similar books and articles


Added to PP index

Total views
85 ( #140,028 of 2,533,631 )

Recent downloads (6 months)
1 ( #389,998 of 2,533,631 )

How can I increase my downloads?


My notes