國立臺灣師範大學資訊教育研究所Lu, Chun-hungWu, Chia-weiWu, Shih-hungChiou, Guey-faHsu, Wen-lian2014-10-302014-10-302005-10-011436-4522http://rportal.lib.ntnu.edu.tw/handle/20.500.12235/34214This paper presents a new model for simulating procedural knowledge in the problem solving process with our ontological system, InfoMap. The method divides procedural knowledge into two parts: process control and action performer. By adopting InfoMap, we hope to help teachers construct curricula (declarative knowledge) and teaching strategies by capturing students ’ problem-solving processes (procedural knowledge) dynamically. Using the concept of declarative and procedural knowledge in intelligent tutoring systems, we can accumulate and duplicate the knowledge of the curriculum manager and student.Intelligent Tutoring System (ITS)OntologyProcedural KnowledgeStudent ModelOntological Support in Modeling Learners' Problem Solving Process