Argumentation in explanations to logical problems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2073, Issue , 2001, Pages 969-978

  Fiedler, Armin ^a   Horacek, Helmut ^a  

^a SAARLAND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

ADAPTIVE EXPLORATIONS; INFERENCE SYSTEMS; NATURAL LANGUAGES; THEOREM PROVERS; TUTORIAL SYSTEM;

COMPUTATION THEORY;

EID: 84876207353     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45545-0_109     Document Type: Conference Paper

References (18)

1. [1] Peter B. Andrews. Transforming matings into natural deduction proofs. In Proceedings of the 5th International Conference on Automated Deduction, pages 281-292. Springer Verlag, 1980.
2. [2] Daniel Chester. The translation of formal proofs into English. AI, 7:178-216, 1976.
3. [3] Yann Coscoy, Gilles Kahn, and Laurent Théry. Extracting text from proofs. In Mariangiola Dezani-Ciancaglini and Gordon Plotkin, editors, Typed Lambda Calculi and Applications, number 902 in Lecture Notes in Computer Science, pages 109-123. Springer Verlag, 1995.
4. [4] Bernd Ingo Dahn, J. Gehne, Thomas Honigmann, and A. Wolf. Integration of automated and interactive theorem proving in ILF. In William McCune, editor, Proceedings of the 14th Conference on Automated Deduction, number 1249 in LNAI, pages 57-60, Townsville, Australia, 1997. Springer Verlag.
5. Andrew Edgar and Francis Jeffry Pelletier. Natural language explanation of natural deduction proofs. In Proceedings of the 1st Conference of the Pacific Association for Computational Linguistics, Vancouver, Canada, 1993. Centre for Systems Science, Simon Fraser University.
6. [6] Armin Fiedler. Using a cognitive architecture to plan dialogs for the adaptive explanation of proofs. In Thomas Dean, editor, Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI), pages 358-363, Stockholm, Sweden, 1999. Morgan Kaufmann.
7. [7] Gerhard Gentzen. Untersuchungen über das logische Schließen I & II. Mathematische Zeitschrift, 39:176-210, 572-595, 1935.
8. [8] H. Grice. Logic and conversation. Syntax and Semantics, 3:43-58, 1975.
9. [9] Amanda M. Holland-Minkley, Regina Barzilay, and Robert L. Constable. Verbalization of high-level formal proofs. In Proceedings of the Sixteenth National Conference on Artificial Intelligence (AAAI-99) and Eleventh Innovative Application of Artificial Intelligence Conference (IAAI-99), pages 277-284. AAAI Press, 1999.
10. [10] Hemlut Horacek. Tailoring inference-rich descriptions through making compromises between conflicting cooperation principles. Int. J. Human-Computer Studies, 53:1117-1146, 2000.
11. [11] Xiaorong Huang. Reconstructing proofs at the assertion level. In Alan Bundy, editor, Proceedings of the 12th Conference on Automated Deduction, number 814 in LNAI, pages 738-752, Nancy, France, 1994. Springer Verlag.
12. [12] Xiaorong Huang and Armin Fiedler. Proof verbalization as an application of NLG. In Martha E. Pollack, editor, Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI), pages 965-970, Nagoya, Japan, 1997. Morgan Kaufmann.
13. [13] Philip Johnson-Laird and Ruth Byrne. Deduction. Ablex Publishing, 1990.
14. [14] Christoph Lingenfelder. Transformation and Structuring of Computer Generated Proofs. PhD thesis, Universität Kaiserslautern, Kaiserslautern, Germany, 1990.
15. [15] Erica Melis. AI-techniques in proof planning. In Henri Prade, editor, Proceedings of of the 13th European Conference on Artificial Intelligence, pages 494-498, Brighton, UK, 1998. John Wiley & Sons, Chichester, UK.
16. [16] Mark E. Stickel. Schubert’s steamroller problem: Formulations and solutions. Journal of Automated Reasoning, 2:89-101, 1986.
17. [17] Manfred Thüring and Kurt Wender. Über kausale Inferenzen beim Lesen. Sprache und Kognition, 2:76-85, 1985.
18. [18] Marylin Walker. The effect of resource limitations and task complexity on collaborative planning in dialogue. Artificial Intelligence, 85:181-243, 1996.