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.

Journal
Argumentation
Published
2013-05-01
DOI
10.1007/s10503-012-9266-7
CompPile
Search in CompPile ↗
Open Access
OA PDF Hybrid
Topics
Export

Citation Context

Cited by in this index (0)

No articles in this index cite this work.

Cites in this index (0)

No references match articles in this index.

Also cites 28 works outside this index ↓
  1. Angelelli, I. 1970. Techniques of disputation in the history of logic. Journal of Philosophy 67(20): 800–815.
    Journal of Philosophy  
  2. Bondarenko, A., P.M. Dung, R.A. Kowalski, and F. Toni. 1997. An abstract, argumentation-theoretic approach to…
    Artificial Intelligence  
  3. Braakhuis, H. 1998. Obligations in early 13th century Paris: The obligationes of Nicholas of Paris (?). Vivar…
    Vivarium  
  4. Brewka, G. 2001. Dynamic argument systems: A formal model of argumentation processes based on situation calcu…
    Journal of Logic and Computation  
  5. Cogan, E., S. Parsons, and P. McBurney. 2005. What kind of argument are we going to have today? In Proceeding…
  6. Argumentation in multi-agent systems, LNAI 4049
  7. de Rijk, L.M. 1974. Some thirteenth century tracts on the game of obligation. Vivarium 12(2): 94–123.
    Vivarium  
  8. de Rijk, L.M. 1975. Some thirteenth century tracts on the game of obligation II. Vivarium 13(1): 22–54.
    Vivarium  
  9. de Rijk, L.M. 1976. Some thirteenth century tracts on the game of obligation III. Vivarium 14(1): 26–49.
    Vivarium  
  10. Formalizing medieval logical theories: Suppositio, consequentiae and obligationes.Logic, …
  11. Gabbay, D., and J. Woods. 2001. Non-cooperation in dialogue logic. Synthese 127(1–2): 161–186.
    Synthese  
  12. Girle, R.A. 1996. Commands in dialogue logic. In Practical reasoning: Proceedings of the First International …
  13. Hamblin, C. 1971. Mathematical models of dialogue. Theoria 37: 130–155.
    Theoria  
  14. Karunatillake, N.C., N.R. Jennings, I. Rahwan, and P. McBurney. 2009. Dialogue games that agents play within …
    Artificial Intelligence  
  15. Maudet, N. 2003. Negotiating dialogue games. Autonomous Agents and Multi-Agent Systems 7: 229–233.
    Autonomous Agents and Multi-Agent Systems  
  16. McBurney, P., and S. Parsons. 2002. Games that agents play: A formal framework for dialogues between autonomo…
    Journal of Logic, Language and Information  
  17. Argumentation in artificial intelligence
  18. Parsons, S., M. Wooldridge, and L. Amgoud. 2003a. On the outcomes of formal inter-agent dialogues. In Proceed…
  19. Parsons, S., M. Wooldridge, and L. Amgoud. 2003b. Properties and complexity of some formal inter-agent dialog…
    Journal of Logic and Computation  
  20. Prakken, H. 2005. Coherence and flexibility in dialogue games for argumentation. Journal of Logic and Computa…
    Journal of Logic and Computation  
  21. Prakken, H. 2006. Formal systems for persuasion dialogue. Knowledge Engineering Review 21(2): 163–188.
    Knowledge Engineering Review  
  22. Ravenscroft, A., and M.P. Matheson. 2002. Developing and evaluating dialogue games for collaborative e-learni…
    Journal of Computer Assisted Learning  
  23. Uckelman, S.L. 2011a. Deceit and indefeasible knowledge: The case of dubitatio. Journal of Applied Non-Classi…
  24. Uckelman, S.L. 2011c. Obligationes as formal dialogue systems. In STAIRS 2010: Proceedings of the Fifth Start…
  25. Uckelman, S.L. 2012. Interactive logic in the Middle Ages. Logic and Logical Philosophy (Forthcoming).
  26. Dynamic epistemic logic. Synthese Library Series
  27. Walton, D. 2000. The place of dialogue theory in logic, computer science, and communication studies. Synthese…
    Synthese  
  28. Yrjönsuuri, M. (ed.) 2001. Medieval formal logic. The Netherlands: Kluwer.