IEL-based Formal Dialogue System for Tutorials

Paweł Łupkowski



FFormal dialogue system for tutorials DL(IEL)T is introduced. The system allows for modelling certain behaviours related to questioning agendas observed in tutorial dialogues. Inferential Erotetic Logic is the underlying logic of questions used here. Tutorial dialogues retrieved from the Basic Electricity and Electronics Corpus are presented and analysed with the use of DL(IEL)T.


questions; tutorials; inferential erotetic logic; erotetic implication; erotetic search scenario

Full Text:



Budzynska, K., M. Kacprzak, A. Sawicka, and Y. Olena, Dynamika dialogow w ujeciu formalnym (Dialogue Dynamics: A Formal Approach), IFiS PAN, Warszawa, 2015.

Ginzburg, J., The Interactive Stance: Meaning for Conversation, Oxford University Press, Oxford, 2012.

Girle, R.A., “Belief sets and commitment stores”, in Proceedings of the Argumentation Conference, Brock University, Ontario, 1997.

Graesser, A.C., and N.K. Person, “Question asking during tutoring”, American Educational Research Journal 31, 1 (1994): 104–137.

Grobler, A., “Fifth part of the definition of knowledge”, Philosophica 86 (2012): 33–50.

Harrah, D., “The logic of questions”, pages 1–60 in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic. Second Edition, Kluwer, Dordrecht/Boston/London, 2002. DOI: 10.1007/978-94-010-0387-2_1

Kacprzak, M., and K. Budzynska, “Strategies in dialogues: A game-theoretic approach”, Computational Models of Argument: Proceedings of COMMA 2014 266 (2014): 333.

Leszczyńska-Jasion, D., “Erotetic search scenarios as families of sequences and erotetic search scenarios as trees: two different, yet equal accounts”, Research Report no 1, 1/2013, Adam Mickiewicz University, Poznań.

Leszczyńska-Jasion, D., and P. Łupkowski, “Erotetic search scenarios and three-valued logic”, Journal of Logic, Language and Information 25, 1 (2016): 51–76. DOI: 10.1007/s10849-015-9233-4

Łupkowski, P., Test Turinga. Perspektywa sędziego, “Umysł”, Prace z filozofii i kognitywistyki, Wydawnictwo Naukowe UAM, Poznań, 2010.

Łupkowski, P., “A formal approach to exploring the interrogator’s perspective in the Turing test”, Logic and Logical Philosophy 20, 1–2 (2011): 139–158. DOI: 10.12775/LLP.2011.007

Łupkowski, P., Logic of Questions in the Wild. Inferential Erotetic Logic in Information Seeking Dialogue Modelling, College Publications, London, 2016.

Łupkowski, P., and J. Ginzburg, “A corpus-based taxonomy of question responses”, pages 354–361 in Proceedings of the 10th International Conference on Computational Semantics (IWCS 2013), Potsdam, Germany, Association for Computational Linguistics, March 2013.

Peliš, M., “Set of answers methodology in erotetic epistemic logic”, Acta Universitatis Carolinae Philosophica et Historica IX, 2 (2010): 61–74.

Peliš, M., Inferences with Ignorance: Logics of Questions (Inferential Erotetic Logic & Erotetic Epistemic Logic), Karolinum, Praha, 2016.

Peliš, M., and O. Majer, “Logic of questions from the viewpoint of dynamic epistemic logic”, pages 157–172 in M. Peliš (ed.), The Logica Yearbook 2009, College Publications, London, 2010.

Peliš, M., and O. Majer, “Logic of questions and public announcements”, pages 145–157 in N. Bezhanishvili, S. Löbner, K. Schwabe, and L. Spada (eds.), Eighth International Tbilisi Symposium on Logic, Language and Computation 2009, Lecture Notes in Computer Science, Springer, 2011.

Purver, M., “SCoRE: A tool for searching the BNC”, Technical Report TR-01-07, Department of Computer Science, King’s College London, October 2001.

Rosé, C.P., B. DiEugenio, and J. Moore, “A dialogue-based tutoring system for basic electricity and electronics”, pages 759–761 in S.P. Lajoie and M. Vivet (eds.), Artificial intelligence in education, IOS, Amsterdam, 1999.

Shoesmith, D.J., and T.J. Smiley, Multiple-Conclusion Logic, Cambridge UP, Cambridge, 1978.

Skura, T., and A. Wiśniewski, “A system for proper multiple-conclusion entailment”, Logic and Logical Philosophy 24, 2 (2015): 241–253. DOI: 10.12775/LLP.2015.001

Švarný, P., O. Majer, and M. Peliš, “Erotetic epistemic logic in private communication protocol”, The Logica Yearbook, pages 223–238, 2013.

Urbański, M., “Synthetic tableaux and erotetic search scenarios: Extension and extraction”, Logique et Analyse, 173–174–175 (2001): 69–91.

Urbański, M., and P. Łupkowski, “Erotetic search scenarios: Revealing interrogator’s hidden agenda”, pages 67–74 in P. Łupkowski and M. Purver (eds.), Aspects of Semantics and Pragmatics of Dialogue. SemDial 2010, 14th Workshop on the Semantics and Pragmatics of Dialogue, Polish Society for Cognitive Science, Poznań, 2010.

Urbański, M., K. Paluszkiewicz, and J. Urbańska, “Erotetic problem solving: From real data to formal models. An analysis of solutions to erotetic reasoning test task”, in F. Paglieri (ed.), The Psychology of Argument: Cognitive Approaches to Argumentation and Persuasion College Publications, College Publications, London, 2016.

Urquhart, A., “Basic many-valued logic”, pages 249–295, Chapter 4, in D.M. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, volume 2, Kluwer AP, 2001. DOI: 10.1007/978-94-017-0452-6_4

VanLehn, K., A.C. Graesser, G.T. Jackson, P. Jordan, A. Olney, and C.P. Rosé, “When are tutorial dialogues more effective than reading?”, Cognitive Science 31, 1 (2007): 3–62. DOI: 10.1080/03640210709336984

Wiśniewski, A., The Posing of Questions: Logical Foundations of Erotetic Inferences, Kluwer AP, Dordrecht, Boston, London, 1995. DOI: 10.1007/978-94-015-8406-7

Wiśniewski, A., “The logic of questions as a theory of erotetic arguments”, Synthese 109, 1 (1996): 1–25. DOI: 10.1007/BF00413820

Wiśniewski, A., “Questions and inferences”, Logique et Analyse 173–175 (2001): 5–43.

Wiśniewski, A., “Erotetic search scenarios”, Synthese 134 (2003): 389–427. DOI: 10.1023/A:1022983325118

Wiśniewski, A., Essays in Logical Philosophy, LIT Verlag, Berlin–Münster–Wien–Zürich–London, 2013.

Wiśniewski, A., Questions, Inferences, and Scenarios, College Publications, London, 2013.

Print ISSN: 1425-3305
Online ISSN: 2300-9802

Partnerzy platformy czasopism