文章基本信息

标题：Problem Posing Support in Natural Deduction by Coordinating Problem Posing and Problem Solving
本地全文：下载
作者：Kazuhisa Miwa ; Hitoshi Terai ; Shoma Okamoto 等
期刊名称：人工知能学会論文誌
印刷版ISSN：1346-0714
电子版ISSN：1346-8030
出版年度：2015
卷号：30
期号：3
页码：526-535
DOI：10.1527/tjsai.30.
出版社：The Japanese Society for Artificial Intelligence
摘要：We developed a learning environment to support participants' problem posing in a formal logic system, natural deduction, by combining problem-posing and problem-solving activities. In the problem posing-phase, the participants posed original problems and presented them on a shared problem database called ``Forum,'' which was accessible to other group members. During the problem-solving phase, the participants solved the problems presented on Forum. This first round of problem posing and solving was followed by a second round of problem posing. We performed two practices: one for undergraduates in a liberal arts college and the other for graduates in a graduate school of information science. The results showed that the participants successfully posed more advanced problems in the second round of problem posing as compared to the first. The empirical data gathered from the two practices indicated a significant relationship between problem-solving and problem-posing abilities.
关键词：learning support ; problem posing ; natural deduction