Mathematical domain reasoning tasks in natural language tutorial dialog on proofs

Proceedings of the National Conference on Artificial Intelligence

Volumn 2, Issue , 2005, Pages 516-522

  Benzmüller, Christoph ^a   Vo, Quoc Bao ^a  

^a SAARLAND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

MATHEMATICAL MODELS; NATURAL LANGUAGE PROCESSING SYSTEMS; STUDENTS;

MATHEMATICAL DOMAIN; MATHEMATICAL PROOFS; NATURAL LANGUAGE TUTORIAL;

ARTIFICIAL INTELLIGENCE;

EID: 29344436762     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (23)

1. Andrews, P. B. 1981. Theorem proving via general matings. J. of the ACM 28(2): 193-214.
2. Autexier, S.; Benzmüller, C.; Fiedler, A.; Horacek, H.; and Vo, B. Q. 2003. Assertion-level proof representation with under-specification. ENTCS 93:5-23.
3. Autexier, S. 2003. Hierarchical Contextual Reasoning. Ph.D. Dissertation, Saarland University, Germany.
4. Benzmüller, C.; Fiedler, A.; Gabsdil, M.; Horacek, H.; Kruijff-Korbayová, I.; Pinkal, M.; Siekmann, J.; Tsovaltzi, D.; Vo, B. Q.; and Wolska, M. 2003. Tutorial dialogs on mathematical proofs. In Proc. of the IJCAI 03 Workshop on Knowledge Representation and Automated Reasoning for E-Learning Systems.
5. Bibel, W. 1983. Automate Theorem Proving. Friedr. Vieweg.
6. Bos, J. 2003. Implementing the the binding and accomodation theory for anaphora resolution and presupposition projection. Computational Linguistics.
7. Buckley, M., and Benzmüller, C. 2005. System description: A dialog manager supporting tutorial natural language dialogue on proofs. In Proc. of the ETAPS Satellite Workshop on User Interfaces for Theorem Proven (UITP).
8. Dahlbäck, N.; Jönsson, A.; and Ahrenberg, L. 1993. Wizard of oz studies - why and how. Knowledge-Based Systems 6(4):258-266.
9. Dershowitz, N., and Kirchner, C. 2003. Abstract saturation-based inference. In Proc. of LICS 2003. Ottawa, Ontario: ieee.
10. Fiedler, A., and Tsovaltzi, D. 2003. Automating hinting in an intelligent tutorial dialog system for mathematics. In Proc. of the IJCAI 03 Workshop on Knowledge Representation and Automated Reasoning for E-Learning Systems.
11. Graesser, A.; Wiemer-Hastings, P.; Wiemer-Hastings, K.; Harter, D.; and Person, N. 2000. Using latent semantic analysts to evaluate the contributions of students in autotutor. Interactive Learning Environments 8.
12. Hähnle, R. 2001. Tableaux and related methods. In Robinson, A., and Voronkov, A., eds., Handbook of Automated Reasoning, volume I. Elsevier Science, chapter 3, 101-176.
13. Huang, X. 1994. Reconstructing Proofs at the Assertion Level. In Proc. of CADE-12, number 814 in LNAI, 738-752. Springer.
14. Hübner, M.; Autexier, S.; Benzmüller, C.; and Meier, A. 2004. Interactive theorem proving with tasks. ENTCS 103(C):161-181.
15. Matsuda, N., and VanLehn, K. 2003. Modelling hinting strategies for geometry theorem proving. In Proc. of the 9th International Conference on User Modeling.
16. Moore, J. 1993. What makes human explanations effective? In Proc. of the 15th Annual Conference of the Cognitive Science Society.
17. Person, N. K.; Graesser, A. C.; Harter, D.; Mathews, E.; and the Tutoring Research Group. 2000. Dialog move generation and conversation management in AutoTutor. In Building Dialog Systems for Tutorial Applications - Papers from the AAAI Fall Symposium. North Falmouth, MA: AAAI press.
18. Rips. L. J. 1994. The psychology of proof. MIT Press, Cambridge, Mass.
19. Traum, D. R., and Larsson, S. 2003. The information state approach to dialogue management. In van Kuppevelt, J., and Smith, R., eds., Current and New Directions in Discourse and Dialogue. Kluwer. http://www.ict.usc.edu/~traum/ Papers/traumlarsson.pdf.
20. Vo, Q. B.; Benzmüller, C.; and Autexier, S. 2003. Assertion application in theorem proving and proof planning. In Proc. of IJCAI-03. IJCAI/Morgan Kaufmann.
21. Wolska, M.; Vo, B. Q.; Tsovaltzi, D.; Kruijff-Korbayová, I.; Karagjosova, E.; Horacek, H.; Gabsdil, M.; Fiedler, A.; and Benzmüller, C. 2004. An annotated corpus of tutorial dialogs on mathematical theorem proving. In Proc. of LREC.
22. Zinn, C.; Moore, J. D.; Core, M. G.; Varges, S.; and PorayskaPomsta, K. 2003. The be&e tutorial learning environment (beetle). In Proc. of Diabruck, the 7th Workshop on the Semantics and Pragmatics of Dialogue.
23. Zinn, C. 2004. Understanding Informal Mathematical Discourse. Ph.D. Dissertation, University of Erlangen-Nuremberg.