常識機能を実現するための不完全性を含む知識構造と操作メカニズムの研究

研究知识结构和运行机制，包括不完善之处，以实现常识功能

• 批准号: 01633505
• 负责人: 石塚 満
• 金额: $ 1.66万
• 依托单位: The University of Tokyo
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research on Priority Areas
• 财政年份: 1989
• 资助国家: 日本
• 起止时间: 1989 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-01633505/
• 关键词: 知識ベ-ス; 人工知能; 仮説推論; 高速推論; 論理

知識の対応の幅の狭さ、知識獲得のボトルネックといった現状の知識ベ-スの問題を克服する次世代知識べ-スへ向けて、不完全な知識の操作を鍵となる技術と認識し、論理に基づく仮説推論に関する研究を進めた。非単調論理の一種であるこの仮説推論システムは、昨年度までの研究で実証したように、診断や設計といった実用的問題に適用できる非常に有用な枠組みであるが、推論速度が遅いことが大きな問題である。そこで、この推論の高速化手法の研究を重点課題として研究を行った。この推論の高速化を図るため、まず数理計画法(simplex法)を適用した推論手法について検討した。数理計画法では不等式で表わした制約(論理の公理に相当)をまとめて大局的に操作するため、与えられたゴ-ルを証明するのに必要な仮説のみを抽出して操作する機能に欠けるため、結果的には高速化は達成されなかった。しかし、この検討を通じてモデル論的視点からの仮説推論の構造を明らかにできた。この検討結果に基づき、第1フェ-ズでゴ-ルの証明に関与する可能性のある仮説の絞り込みと仮説合成のパスを設定する後向き推論を行い、第2フェ-ズでゴ-ルの証明に必要な無矛盾な仮説集合の合成をバックトラックなしの前向きの推論で行うBPFH(Backward Path generation and Foward Hypothesis Synthesis)法と名付けた高速仮説推論法を開発した。非単調推論システムでは無矛盾性制約により後に否定される可能性のある知識(defeasible knowledge)の使用に起因する推論時でのバックトラックの発生が推論速度低下の最も大きな要因であるが、開発したBPFH法はこのバックトラックの回避により高速化を達成している。BPFH法にパスのネットワ-ク状へのコンパイルも加えた高速仮説推論システムを作成し、単純なPrologによる実装と比較して1,000倍以上の推論速度が達成されることを実証した。

认识到不完整的知识的操作是克服当前知识的下一代知识的关键，例如知识的狭窄和知识知识。这种假设系统是一种非单调逻辑，是一个非常有用的框架，可以应用于诸如诊断和设计等实践问题，正如我们在研究中一直在去年之前所证明的那样，但是速度慢的速度为一个主要问题。因此，我们对这种推论的高速方法进行了研究，作为优先问题。为了加快这种推论，我们首先检查了应用数学规划法的推理方法（Simplex Law）。在《数学计划法》中，为了操作不等式所代表的限制（相当于逻辑的公理），它缺乏提取和操作所需的假设的功能，以证明给定的GOL。但是，通过这项研究，从模型理论的角度揭示了假设的结构。基于这项研究的结果，我们将缩小可能与Goro证明有关的假设，并建立了可能参与GORU证明的假设组成路径，而第二fe-Ze则消失了。已经开发出了向后的综合综合证明假设的综合，而后向路径生成和福拉德假说合成）已被开发出来，该假设被称为高速假设推断方法。在非单调推理系统中，通过使用融化知识引起的推理时的回溯性是推理速度的最大因素，但开发了BPFH。与实施简单的序言相比，已经创建了一个高速假设系统，该系统在BPFH方法中添加了汇编，以达到1000倍以上的速度。

项目成果

M.Ishizuka,T.Matsuda: "Knowledge Aquisition Mechanisms for a Logical Knowledge-base including Hypothesis" Knowledge-Based Systems. 3. (1990)

M.Ishizuka，T.Matsuda：“逻辑知识库的知识获取机制，包括假设”知识库系统。

M.Ishizuka: "Knowledge Assimilation & Management Mechanism for Frame Knowledge-base including Hypothesis Knowledg" Workshop on Theoretical Foundation for Knowledge Information Processing(at Prague). (1989)

M.Ishizuka：“知识同化

牧野俊朗、石塚満: "制約評価機構付き仮説推論システムとその回路ブロック設計への応用" 人工知能学会誌. (1990)

Toshiro Makino、Mitsuru Ishizuka：“具有约束评估机制的假设推理系统及其在电路块设计中的应用”日本人工智能学会杂志（1990）。

近藤朗子,牧野俊朗,石塚満: "Lattice構造を使った並列横型解法による仮説推論システム高速化" 情報処理学会第40回全国大会講演論文集. (1990)

Akiko Kondo、Toshiro Makino、Mitsuru Ishizuka：“使用晶格结构通过并行水平求解方法加速假设推理系统”第 40 届日本信息处理学会全国会议论文集（1990 年）。

伊藤史朗,石塚満: "数理計画法を適用した仮説推論システム" 人工知能学会研究資料. SIG-F/H/K-8901-5 (1988)

Shiro Ito、Mitsuru Ishizuka：《应用数学规划的假设推理系统》日本人工智能学会研究资料SIG-F/H/K-8901-5（1988）。