Dr Sara Uckelman s.l.uckelman@durham.ac.uk
Associate Professor
Medieval Disputationes de obligationibus as formal dialogue systems
Uckelman, Sara L.
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
Christine Ladd-Franklin
(2023)
Book Chapter
John Eliot's Logick Primer: A bilingual English-Massachusett logic textbook
(2023)
Journal Article
Fictional Modality and the Intensionality of Fictional Contexts
(2022)
Journal Article
Lorhard, Ramus, and Timpler and “The Birth of Ontology”
(2022)
Journal Article
What Problem Did Ladd-Franklin (Think She) Solve(d)?
(2021)
Journal Article
Downloadable Citations
About Durham Research Online (DRO)
Administrator e-mail: dro.admin@durham.ac.uk
This application uses the following open-source libraries:
SheetJS Community Edition
Apache License Version 2.0 (http://www.apache.org/licenses/)
PDF.js
Apache License Version 2.0 (http://www.apache.org/licenses/)
Font Awesome
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2024
Advanced Search