Design of an ITS for Strategic Knowledge in Proving Logical Formulas (Special Issue on Intelligent CAI and Hypermedia)
スポンサーリンク
概要
- 論文の詳細を見る
This paper is concerned with an ITS designed for augmenting a student's capability in problem solving. Discussions are concentrated on helping students acquire strategic knowledge and assisting them to build it in their heads. In this paper, many kinds of strategies are treated from a unified point of view. Based on this consideration, a teaching paradigm of strategic knowledge is presented. The paradigm is realized in an ITS as a training environment for strategic knowledge. Assisting students to learn strategic knowledge, the system sets up an appropriate environment and gives them some appropriate advice in each environment. It is realized as a function of giving them appropriate problems and hints about it. In general, strategic knowledge is a kind of heuristics so that it is not easy to describe their application conditions deterministically and explicitly. For this reason, an ITS for strategic knowledge is required to be designed so as to cover not only the case where expertise is represented explicitly as an executable model but also the case where it is represented only implicitly. To realize this teaching paradigm, situation-dependent knowledge called reminding pattern is prepared in the system. It is represented by a triple of a strategy, a situation, and a key symbol in the situation. It denotes that the key usually reminds students of the strategy in the situation. The system gives students problems including positive/negative examples of applications of each strategy in its problem solving process and hints which remind them of an appropriate strategy and makes them resume the problem solving when they fall into an impasse. In this paper, the structure of the system realizing this teaching paradigm is explained in the domain of proving propositional formulas.
- 社団法人電子情報通信学会の論文
- 1994-01-25
著者
-
Ikeda Mitsuru
Institute of Scientific and Industrial Research, Osaka University
-
Mizoguchi Riichiro
Institute of Scientific and Industrial Research, Osaka University
-
Ikeda Mitsuru
Institute Of Scientific And Industrial Research Osaka University
-
Morihiro Koichiro
Center For School Education Research Hyogo University Of Teacher Education
-
Mizoguchi Riichiro
Institute Of Scientific And Industrial Research Osaka University
関連論文
- An Inductive Student Modeling Method which Deals with Student Contradictions (Special Issue on Intelligent CAI and Hypermedia)
- Design of an ITS for Strategic Knowledge in Proving Logical Formulas (Special Issue on Intelligent CAI and Hypermedia)
- MASCOTS II: A Dialog Manager in General Interface for Speech Input and Output (Special Issue on Speech and Discourse Processing in Dialogue Systems)
- Tree-Based Approaches to Automatic Generation of Speech Synthesis Rules for Prosodic Parameters : Special lssue on Speech Synthesis: Current Technologies and Equipment
- Interactive Synthesis of Conceptual Schema Based on Queries : Towards an Expert System of Relational Database Design
- An Utterance Prediction Method Based on the Topic Transition Model