Using a cognitive architecture to plan dialogs for the adaptive explanation of proofs

IJCAI International Joint Conference on Artificial Intelligence

Volumn 1, Issue , 1999, Pages 358-363

  Fiedler, Armin ^a  

^a SAARLAND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COGNITIVE ARCHITECTURES; COGNITIVE PROCESS; COGNITIVE STATE; EXPLANATION SYSTEMS; EXPLICIT REPRESENTATION; HUMAN COGNITION; INTERACTIVE PROOFS; PROOF PRESENTATION;

ABSTRACTING; ARTIFICIAL INTELLIGENCE;

COGNITIVE SYSTEMS;

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

References (17)

1. J. R. Anderson and C. Lebiere. The Atomic Components of Thought. Lawrence Erlbaum, 1998.
2. C. Benzmuller, L. Cheikhrouhou, D. Fehrer, A. Fiedler, X. Huang, M. Kerber, M. Kohlhase, K. Konrad, E. Melis, A. Meier, W. Schaarsehmidt, J. Siekmann, and V. Sorge. ΩMEGA: Towards a mathematical assistant, In W. McCune, editor, Proceedings of the 14th Conference on Automated Deduction, number 1249 in LNAI, pages 252-255, Townsville, Australia, 1997. Springer Verlag.
3. A. Cawsey. Generating explanatory discourse. In R. Dale, C. Mellish, and M. Zock, editors, Current Research in Natural Language Generation, number 4 in Cognitive Science Series, pagers 75-101. Academic Press, San Diego, CA, 1990.
4. A. Fiedler. Macroplanning with a cognitive architecture for the adaptive explanation of proofs. In Proceedings of the 9th International Workshop on Natural Language Generation, pages 88-97, Niagara-on-the-Lake, Ontario, Canada, 1998.
5. G. Gentzen. Untersuchungen uber das logische Schlieften I & II. Mathematische Zeitschrift, 39:176-210, 572-595, 1935.
6. H. Horacek. A model for adapting explanations to the user's likely inferences. User Modeling and User-Adapted Interaction, 7:1-55, 1997. (Pubitemid 127508955)
7. X. Huang and A. Fiedler. Proof verbalization as an application of NLG. In M. E. Pollack, editor, Proceedings of the 15th International Joint Conference on Artificial Intelligence (1JCAI), pages 965-970, Nagoya, Japan, 1997. Morgan Kaufmann.
8. X.Huang. Planning argumentative texts. In Proceedmgs of the 15th International Conference on Computational Linguistics, pages 329-333, Kyoto, Japan, 1994.
9. Proceedings of the 7th International Workshop on Natural Language Generation, Kennebunkport, ME, USA, 1994.
10. A. Kilger and W. Kinkier. Incremental generation for real time applications. Research Report RR-95-11, DKKI, Saarbrucken, Germany, 1995.
11. D. E. Meyer and D. E. Kieras. EPIC: A computational theory of executive cognitive processes and multiple-task performance: Part 1. Psychological Review, 104:3-65, 1997.
12. A. Newell. Unified Theories of Cognition. Havard University Press, Cambridge, MA, 1990.
13. C. Paris. The role of the user's domain knowledge in generation. Computational Intelligence, 7:71-93, 1991.
14. E. Reiter. Has a consensus NL generation architecture appeared, and is it psyeholinguistieally plausible? In Proceedings of the 7th International Workshop on Natural Language Generation [1994], pages 163-170.
15. W. Wahlster, E. Andre, W. Kinkier, H.-J. Profitlich, and T. Rist. Plan-based integration of natural language and graphics generation. Artificial Intelligence, 63:387-427, 1993.
16. M. A. Walker and O. Hambow. The role of cognitive modeling in achieving communicative intentions. In Proceedings of the 7th International Workshop on Natural Language Generation [1994], pages 171-180.
17. I. Zukerman and R. McConachy. Generating concise discourse that addresses a user's inferences. In Ruzena Bajcsy, editor, Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI), pages 1202-1207, Chambery, Prance, 1993. Morgan Kaufmann.