Skip to main content

Research Repository

Advanced Search

Medieval Disputationes de obligationibus as formal dialogue systems

Uckelman, Sara L.

Medieval Disputationes de obligationibus as formal dialogue systems Thumbnail


Authors



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.

Citation

Uckelman, S. L. (2013). Medieval Disputationes de obligationibus as formal dialogue systems. Argumentation, 27(2), 143-166

Journal Article Type Article
Publication Date May 1, 2013
Deposit Date Oct 6, 2014
Publicly Available Date Mar 29, 2024
Journal Argumentation
Print ISSN 0920-427X
Electronic ISSN 1572-8374
Publisher Springer
Peer Reviewed Peer Reviewed
Volume 27
Issue 2
Pages 143-166

Files

Published Journal Article (481 Kb)
PDF

Publisher Licence URL
http://creativecommons.org/licenses/by/4.0/

Copyright Statement
Open Access © The Author(s) 2012. This article is published with open access at Springerlink.com This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.




You might also like



Downloadable Citations