Argumentation within deductive reasoning

International Journal of Intelligent Systems

Volumn 22, Issue 1, 2007, Pages 49-70

  Fiedler, Armin ^a   Horacek, Helmut ^a  

^a SAARLAND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

INFERENCE ENGINES; INTERACTIVE COMPUTER SYSTEMS; KNOWLEDGE BASED SYSTEMS; MATHEMATICAL MODELS; THEOREM PROVING;

DEDUCTIVE REASONING; MACHINE-BASED TECHNIQUES; TUTORIAL SYSTEMS;

FORMAL LOGIC;

EID: 33846315116     PISSN: 08848173     EISSN: 1098111X     Source Type: Journal    
DOI: 10.1002/int.20189     Document Type: Article

References (32)

1. Andrews PB. Transforming matings into natural deduction proofs. In: Proc Fifth Int Conf on Automated Deduction. Berlin: Springer Verlag; 1980. pp 281-292.
2. Lingenfelder C. Transformation and structuring of computer generated proofs. Ph.D. dissertation. Kaiserslautern, Germany: Universität Kaiserslautern; 1990.
3. Gentzen G. Untersuchungen über das logische Schließen I & II. Mathematische Zeitschrift 1935;39:176-210,572-595.
4. Huang X. Reconstructing proofs at the assertion level. In: Bundy A, editor. Proc 12th Conf on Automated Deduction. Lecture Notes in Artificial Intelligence 814. Nancy, France: Springer Verlag; 1994. pp 738-752.
5. Chester D. The translation of formal proofs into English. Artif Intell 1976;7:178-216.
6. Coscoy Y, Kahn G, Théry L. Extracting text from proofs. In: Dezani-Ciancaglini M, Plotkin G, editors. Typed lambda calculi and applications. Lecture Notes in Computer Science 902. Berlin: Springer Verlag; 1995. pp 109-123.
7. Dahn BI, Gehne J, Honigmann T, Wolf A. Integration of automated and interactive theorem proving in ILF. In: McCune W, editor. Proc 14th Conf on Automated Deduction. Lecture Notes in Artificial Intelligence 1249. Townsville, Australia: Springer Verlag; 1997. pp 57-60.
8. Edgar A, Pelletier FJ. Natural language explanation of natural deduction proofs. In: Proc First Conf of the Pacific Association for Computational Linguistics. Vancouver, Canada, Centre for Systems Science, Simon Fraser University; 1993.
9. Huang X, Fiedler A. Proof verbalization as an application of NLG. In: Pollack ME, editor. Proc 15th Int Joint Conf on Artificial Intelligence (IJCAI), Nagoya, Japan. San Francisco: Morgan Kaufmann; 1997. pp 965-970.
10. Fiedler A. Using a cognitive architecture to plan dialogs for the adaptive explanation of proofs. In: Dean T, editor. Proc 16th Int Joint Conf on Artificial Intelligence (IJCAI), Stockholm, Sweden. San Francisco: Morgan Kaufmann; 1999. pp 358-363.
11. Holland-Minkley AM, Barzilay R, Constable RL. Verbalization of high-level formal proofs. In: Proc 16th Nat Conf on Artificial Intelligence (AAAI-99) and 11th Innovative Application of Artificial Intelligence Conf (IAAI-99). Menlo Park, CA: AAAI Press; 1999. pp 277-284.
12. Thüring M. Wender K. Über kausale Inferenzen beim Lesen. Sprache Kognition 1985;2:78-86.
13. Johnson-Laird PN, Byrne RM. Deduction. Hillsdale, NJ: Lawrence Erlbaum Associates; 1991.
14. Walker M. The effect of resource limits and task complexity on collaborative planning in dialogue. Artif Intell 1996;85:181-243.
15. Stickel ME. Schubert's Steamroller problem: Formulations and solutions. J Autom Reason 1986;2:89-101.
16. Horacek H. Expressing references to rules in proof presentations. In: Goré R, Leitsch A, Nipkow T, editors. Int Joint Conf on Automated Reasoning (IJCAR 2001) - Short Papers, Siena, Italy. Università degli Studi Di Siena; 2001. pp 76-85.
17. Grice HP. Logic and conversation. In: Cole P, Morgan JL, editors. Syntax and semantics, vol 3, Speech acts. New York: Academic Press, 1975. pp 41-58.
18. Fehrer D, Horacek H. Exploiting the addressee's inferential capabilities in presenting mathematical proofs. In: Pollack ME, editor. Proc 15th Int Joint Conf on Artificial Intelligence (IJCAI), Nagoya, Japan. San Francisco: Morgan Kaufmann; 1997. pp 959-964.
19. Horacek H. Presenting proofs in a human-oriented way. In: Ganzinger H, editor. Proc 16th Conf on Automated Deduction. Lecture Notes in Artificial Intelligence 1632. Berlin: Springer Verlag; 1999. pp 142-156.
20. Horacek H. A model for adapting explanations to the user's likely inferences. User Model User Adapt Interact 1997;7:1-55.
21. Horacek H. Tailoring inference-rich descriptions through making compromises between conflicting cooperation principles. Int J Hum Comput Stud 2000;53:1117-1146.
22. Melis E. AI-techniques in proof planning. In: Prade H, editor. Proc 13th European Conf on Artificial Intelligence, Brighton, UK. Chichester, UK: John Wiley & Sons; 1998. pp494-498.
23. Moore JD, Swartout WR. A reactive approach to explanation: Taking the user's feedback into account. In: Paris CL, Swartout WR, Mann WC, editors. Natural language generation in artificial intelligence. Boston, MA: Kluwer; 1991. pp 3-48.
24. Melis E, Siekmann J. Knowledge-based proof planning. Artif Intell 1999;115:65-105.
25. Moore J. What makes human explanations effective? In: Proc 15th Annual Conf of the Cognitive Science Society. Hillsdale, NJ: Lawrence Erlbaum Associates; 2000. pp 131-136.
26. Gertner AS, Conati C, VanLehn K. Procedural help in Andes: Generating hints using a Bayesian network student model. In: Proc 15th Nat Conf on Artificial Intelligence, Madison, Wisconsin; 1998. pp 106-111.
27. Anderson JR, Corbett AT, Keodinger KR, Polletier R. Cognitive tutors: Lessons learned. J Learn Sci 1995;4:167-207.
28. Zhou Y, Freedman R, Glass M, Michael JA, Rovick AA, Evens MW. What should the tutor do when the student cannot answer a question? In: Press A, editor. Proc 12th Int Florida AI Research Society Conf (FLAIRS-99), Orlando, FL; 1999. pp 187-191.
29. Graesser AC, Wiemer-Hastings K, Wiemer-Hastings P, Kreuz R, Tutoring Research Group. Autotutor: A simulation of a human tutor. J Cogn Syst Res 1999;1:35-51.
30. Benzmüller C, Fiedler A, Gabsdil M, Horacek H, Kruijff- Korbayová I, Pinkal M, Siekmann J, Tsovaltzi D, Vo BQ, Wolska M. A wizard-of-Oz experiment for tutorial dialogues in mathematics. In: Aleven V, Hoppe U, Kay J, Mizoguchi R, Pain H, Verdejo F, Yacef K, editors. AIED2003 - Supplementary Proc 11th Int Conf on Artificial Intelligence in Education, vol VIII: Advanced Technologies for Mathematics Education. Sidney, Australia: School of Information Technologies, University of Sydney; 2003. pp 471-481.
31. Ashley KD, Desai R, Levine JM. Teaching case-based argumentation concepts using dialectic arguments vs. didactic explanations. In: Proc Sixth Int Conf on Intelligent Tutoring Systems, Biarratz, France and San Sebastian, Spain; 2002. pp 585-595.
32. Fiedler A, Tsovaltzi D. Automating hinting in an intelligent tutorial system. In: Proc IJCAI Workshop on Knowledge Representation and Automated Reasoning for E-Learning Systems, Acapulco; 2003. pp 23-35.