利用者に自律的に助言する論理学学習システムの開発

2002 Fiscal Year Annual Research Report

• Project/Area Number: 14022211
• Research Institution: Saitama University
• Principal Investigator: 程 京徳 埼玉大学, 大学院・理工学研究科, 教授 (30217228)
• Keywords: 論理学 / 推論 / 証明 / 古典数理論理 / 哲学論理 / 論理パズル / 自律進化 / 創造力教育

Research Abstract

本研究は、小学校高学年学生から大学院博士後期課程大学院生まで幅広い範囲の学生を対象として、論理学に対する興味を培い、推論の妥当性に対する判断力や物事に対する論理的思考力、そして、新しい概念の創造力を伸ばすための論理学知識、それらを身に付けるための学習用教材と学習環境を、インターネットを通じて誰でも何時でも何処でも利用できるように提供することを目指している。今年度は、主に下記の研究成果があった。
(1)利用者に自律的に助言する論理学教授・学習システムHILBERTの要求定義:HILBERTと名付けた、利用者に自律的に助言する論理学教授・学習システムに対する要求、利用者(学生と教師)に提供しなければならない機能、用意しなければならない学習用教材の範囲とレベルを明確にし、研究開発の基準を定めた。
(2)HILBERTシステム全体構成のアーキテクチャーの設計:自律進化情報システムを実現するために、自己計測原理に基づいて、計測、記録、監視、制御とシステムバスを中心としたシステム・アーキテクチャーを設計した。
(3)前向き帰結演算システムEnCalの高速化:自律進化知識処理に不可欠な推論エンジンの役目を果たす前向き帰結演算システムEnCalの実用化のために、その処理の高速化を行った。
(4)HILBERTシステムの利用者管理:教授者・学習者の個人、グループ管理機能を実現した。
(5)論理学学習用教材の開発:論理学に関する一般知識、古典数理論理の学習用教材を用意した。

Research Products

• [Publications] J.Cheng: "Mathematical Knowledge Representation and Reasoning Based on Strong Relevant Logic"R. Trappl(Ed.), "Cybernetics and Systems 2002," Austrian Society for Cybernetic Studies. 789-794 (2002)
• [Publications] T.Tagawa: "Deontic Relevant Logic : A Strong Relevant Logic Aproach to Removing Paradoxes from Deontic Logic"Lectures Notes in Computer Science, Springer-Verlag. 2417. 39-48 (2002)
• [Publications] J.Cheng: "A Strong Relevant Logic Approach to the Calculus of Fuzzy Conditionals"D.Ruan, P.D'hondt, and E.E.Kerre (Ed.), "Computational Intelligent Systems for Applied Research," World Scientific. 66-74 (2002)
• [Publications] Y.Goto: "Improving the Performance of Automated Forward Deduction System EnCal on Shared-Memory Parallel Computers"Proc. 3rd International Conference on Parallel and Distributed Computing, Applications and Technologies. 63-68 (2002)
• [Publications] S.Nara: "Parallel Forward Deduction Algorithms for General-Purpose Entailment Calculus on a Clusters of PCs"Proc. IASTED International Conference on Networks, Parallel and Distributed Processing, and Applications. 359-364 (2002)
• [Publications] J.Cheng: "System Bus : A Mechanism for Designing, Developing and Maintaining Reconfigurable Reactive Systems"Proc. International Conference on Systems, Development and Self-organization. 232-236 (2002)
• [Publications] J.Cheng: "HILBERT : An Autonomous Evolutionary Information System for Teaching and Learning Logic"Proc. 6th International Conference on Computer Based Learning in Science. (to appear). (2003)