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

开发自主向用户提供建议的逻辑学习系统

• 批准号: 14022211
• 负责人: 程 京徳
• 金额: $ 2.3万
• 依托单位: Saitama University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research on Priority Areas
• 财政年份: 2002
• 资助国家: 日本
• 起止时间: 2002 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-14022211/
• 关键词: 論理学; 推論; 証明; 古典数理論理; 哲学論理; 論理パズル; 自律進化; 創造力教育

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

This study is aimed at the students in the senior year of primary school, the students in the post-doctoral program of university, the students in the middle range, the students in the post-doctoral program of university, the students in the post-doctoral program Who is responsible for when and where to use it? This year, the main research results are recorded. (1)HILBERT requirements definition:HILBERT name, user self-discipline, logic professor, learning system requirements, user (student and teacher) to provide the function, purpose, scope of learning materials, research development criteria. (2) Design of HILBERT's overall structure: Self-evolution information system implementation, self-measurement principle, measurement, recording, monitoring, control and system design. (3)Speeding up the implementation of the forward node algorithm EnCal: Speeding up the process of autonomous evolutionary knowledge processing (4) User management of HILBERT system: The function of personal and group management of professors and learners is realized. (5)Development of Textbook for Logic Study: The Purpose of Textbook for Logic Study on General Knowledge and Classical Mathematical Theory

项目成果

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)

J.Cheng：“模糊条件演算的强相关逻辑方法”D。

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)

J.Cheng：“HILBERT：用于教学逻辑的自主进化信息系统”Proc。

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)

J.Cheng：“基于强相关逻辑的数学知识表示与推理”R。

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)

Y.Goto：“提高共享内存并行计算机上自动前向推演系统 EnCal 的性能”Proc。

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)

T.Takawa：“道义相关逻辑：从道义逻辑中消除悖论的强相关逻辑方法”计算机科学讲义，Springer-Verlag。