Graduate studies at Western
Argumentation 27 (2):143-166 (2013)
|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|
|Keywords||Consistency Dialogue protocol Dialogue systems Obligationes|
No categories specified
(categorize this paper)
|Through your library||Configure|
Similar books and articles
Douglas Walton (2003). Is There a Burden of Questioning? Artificial Intelligence and Law 11 (1):1-43.
Erik C. W. Krabbe (2013). Topical Roots of Formal Dialectic. Argumentation 27 (1):71-87.
Erick C. W. Krabbe (1984). Formal Systems of Dialogue Rules. Synthese 58 (2):295 - 328.
Erik C. W. Krabbe (1985). Formal Systems of Dialogue Rules. Synthese 63 (3):295 - 328.
Catarina Dutilh Novaes (2006). Roger Swyneshed's Obligationes: A Logical Game of Inference Recognition? Synthese 151 (1):125 - 153.
C. Dutilh Novaes (2005). Medieval Obligationes as Logical Games of Consistency Maintenance. Synthese 145 (3):371 - 395.
Henry Prakken (2011). Argumentation Without Arguments. Argumentation 25 (2):171-184.
Catarina Dutilh Novaes (2011). Medieval Obligationes as a Theory of Discursive Commitment Management. Vivarium 49 (1-3):240-257.
Douglas Walton (2011). A Dialogue Model of Belief. Argument and Computation 1 (1):23-46.
Jim Mackenzie (1990). Four Dialogue Systems. Studia Logica 49 (4):567 - 583.
Paul St Denis & Patrick Grim (1997). Fractal Images of Formal Systems. Journal of Philosophical Logic 26 (2):181-222.
Added to index2012-03-17
Total downloads5 ( #170,895 of 756,449 )
Recent downloads (6 months)1 ( #63,427 of 756,449 )
How can I increase my downloads?