Medieval Disputationes de obligationibus as Formal Dialogue Systems

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


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



    Upload a copy of this work     Papers currently archived: 86,213

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library


Added to PP

89 (#163,822)

6 months
4 (#244,000)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Sara L. Uckelman
Durham University

Citations of this work

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

References found in this work

Fallacies.Charles Leonard Hamblin - 1970 - Newport News, Va.: 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.

View all 28 references / Add more references