Medieval Disputationes de obligationibus as Formal Dialogue Systems

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

Abstract

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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,551

External links

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

Through your library

Similar books and articles

The Diversity of Cognitive Processes in a Dialogue.Katarzyna Budzyńska Olena Yaskorska - 2016 - Studia Semiotyczne—English Supplement 28:57-94.
Aristotelian Dialectic, Argumentation Theory and Artificial Intelligence.Douglas Walton - 2021 - In Joseph Andrew Bjelde, David Merry & Christopher Roser (eds.), Essays on Argumentation in Antiquity. Cham: Springer. pp. 245-277.
Dialogue logic as dynamic logic.Roderic Girle - 2016 - Logique Et Analyse 236:427-443.
Is there a burden of questioning?Douglas Walton - 2003 - Artificial Intelligence and Law 11 (1):1-43.
Intensional Protocols for Dynamic Epistemic Logic.Suzanne Wijk, Rasmus Rendsvig & Hanna Lee - 2019 - Journal of Philosophical Logic 48 (6):1077-1118.

Analytics

Added to PP
2012-03-17

Downloads
139 (#160,955)

6 months
20 (#148,041)

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.

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 25 references / Add more references