型付き論理プログラミングを用いた学習アルゴリズムの構成

使用类型化逻辑编程构建学习算法

• 批准号: 07680375
• 负责人: 山本 章博
• 金额: $ 0.7万
• 依托单位: Hokkaido University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for General Scientific Research (C)
• 财政年份: 1995
• 资助国家: 日本
• 起止时间: 1995 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-07680375/
• 关键词: 論理プログラミング; アルゴリズム; 帰納推論

階層的知識表現のための型付き論理プログラミング言語による学習の基礎研究本年度は、オブジェクト指向論理型言語としてその展開が期待されているF論理上で、帰納的一般化を行う学習方式の基礎研究を行った。具体的には、F論理の階層的かつオブジェクト中心のスタイルで記述された領域知識と実際のデータの間に不整合性がある場合に、領域知識を修正し、データと無矛盾なものに自動変換することを意図している。そうした修正を行うための可能な戦略としては、いくつか考えられるが、本研究では、1階の(型なし)言語上で開発されてきた極小多重汎化手法を拡張したものになっており、そうした基本的手法が高度な記述力をもつF論理に適用できることを理論的に実証している。特に、計算量の問題に関しても、多くの部分が多項式時間の計算量で収まることを証明し、今後の実際の応用研究への一つの重要な指針を与えることができた。

Basic Research on Hierarchical Knowledge Representation, Logic and Language Learning This year, we will conduct basic research on the generalization of learning methods in logic and language. Specific, F logical hierarchy of the description of the center of the domain knowledge and the real time between the non-integration of the situation, domain knowledge is modified, the non-contradiction of the automatic transformation of the meaning of this This study is based on the first order (type) verbal development of minimal multiple generalization techniques. The basic techniques are highly descriptive and logically applicable. In particular, the calculation of the problem related to the number of parts of the polynomial time calculation of the amount of proof, the future of practical research and an important point