Abstract
Formal Dialogue Systems (FDSs) model rule-based interaction between agents. Their conceptual roots go back to Hamblin's [11,12], which cites the medieval theory of obligationes as inspiration for his development of a formal system of argumentation. In an obligatio, two agents, Opponent and Respondent, engage in an alternating-move dialogue, where 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 [20] using Dynamic Epistemic Logic [26]. The result is a new type of inter-agent dialogue, consistency-checking, and analyzing obligationes in this way also sheds light on interpretational and historical questions concerning their use and purpose in medieval academia.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.