Art

J-GLOBAL ID：201402257904723374   Reference number：14A0227472

An Intelligent Tutoring System with Variable Levels of Instructional Support for Instructing Natural Deduction

自然演繹を教育するための可変レベルの教育支援を備える知的教授システム

Author (4)： MIWA Kazuhisa (Graduate School of Information Sci., Nagoya Univ.) ,  TERAI Hitoshi (Graduate School of Information Sci., Nagoya Univ.) ,  KANZAKI Nana (Junior Coll., Nagoya Woman’s Univ.) ,  NAKAIKE Ryuichi (Graduate School of Education, Kyoto Univ.)
Material： 人工知能学会論文誌(Web)  (TJSAI (Web))
Volume： 29  Issue： 1  Page： 148-156 (J-STAGE)  Publication year： 2014 
JST Material Number： U0128A  ISSN： 1346-8030  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： ENGLISH (EN)

Thesaurus term： *CAI ,  *ITS (tutoring system) ,  *CMI ,  *deduction ,  Problem Solving ,  student ,  experiment ,  interaction ,  adaptability ,  adaptive system ,  education and training ,  subject experiment
Semi thesaurus term： *自然演繹 ,  *intelligent tutoring system

JST classification (2)： CAI  (JE09000G) ,  Logic algebra  (JB03000H)

Reference (19)：

• [Aleven 00] Aleven, V. and Koedinger, K. R.: Limitations of Student Control: Do Student Know when they need help?, in Proceedings of the 5th International Conference on Intelligent Tutoring Systems, ITS 2000, pp. 292-303 (2000)
• [Aleven 04] Aleven, V., McLaren, B., Roll, I., and Koedinger, K. R.: Toward Tutoring Help Seeking: Applying Cognitive Modeling to Meta-cognitive skills, in Proceedings of the 7th International Conference on Intelligent Tutoring Systems, ITS 2004, pp. 227-239 (2004)
• [Atkinson 03] Atkinson, R. K., Renkl, A., and Merrill, M. M.: Transitioning From Studying Examples to Solving Problems: Effects of Self-Explanation Prompts and Fading Worked-Out Steps, Journal of Educational Psychology, Vol. 95, pp. 774-783 (2003)
• [Barwise 03] Barwise, J. and Etchemendy, J.: Language, Proof and Logic, CSLI publications (2003)
• [Croy 07] Croy, M., Barnes, T., and Stamper, J.: Towards an Intelligent Tutoring System for propositional proof construction, in Proceedings of European Computing and Philosophy Conference, pp. 145-155 (2007)

Terms in the title (5)： 自然演繹 ,  教育 ,  可変 ,  教育支援 ,  知的教授システム