1989 Fiscal Year Annual Research Report
常識機能を実現するための不完全性を含む知識構造と操作メカニズムの研究
| Project/Area Number |
01633505
|
|---|
| Research Institution | The University of Tokyo |
|---|
Principal Investigator |
石塚 満 東京大学, 生産技術研究所, 助教授 (50114369)
|
|---|
| Keywords | 知識ベ-ス / 人工知能 / 仮説推論 / 高速推論 / 論理 |
|---|
| Research Abstract |
知識の対応の幅の狭さ、知識獲得のボトルネックといった現状の知識ベ-スの問題を克服する次世代知識べ-スへ向けて、不完全な知識の操作を鍵となる技術と認識し、論理に基づく仮説推論に関する研究を進めた。非単調論理の一種であるこの仮説推論システムは、昨年度までの研究で実証したように、診断や設計といった実用的問題に適用できる非常に有用な枠組みであるが、推論速度が遅いことが大きな問題である。そこで、この推論の高速化手法の研究を重点課題として研究を行った。
この推論の高速化を図るため、まず数理計画法(simplex法)を適用した推論手法について検討した。数理計画法では不等式で表わした制約(論理の公理に相当)をまとめて大局的に操作するため、与えられたゴ-ルを証明するのに必要な仮説のみを抽出して操作する機能に欠けるため、結果的には高速化は達成されなかった。しかし、この検討を通じてモデル論的視点からの仮説推論の構造を明らかにできた。この検討結果に基づき、第1フェ-ズでゴ-ルの証明に関与する可能性のある仮説の絞り込みと仮説合成のパスを設定する後向き推論を行い、第2フェ-ズでゴ-ルの証明に必要な無矛盾な仮説集合の合成をバックトラックなしの前向きの推論で行うBPFH(Backward Path generation and Foward Hypothesis Synthesis)法と名付けた高速仮説推論法を開発した。非単調推論システムでは無矛盾性制約により後に否定される可能性のある知識(defeasible knowledge)の使用に起因する推論時でのバックトラックの発生が推論速度低下の最も大きな要因であるが、開発したBPFH法はこのバックトラックの回避により高速化を達成している。BPFH法にパスのネットワ-ク状へのコンパイルも加えた高速仮説推論システムを作成し、単純なPrologによる実装と比較して1,000倍以上の推論速度が達成されることを実証した。
|
-
[Publications] 伊藤史朗,石塚満: "数理計画法を適用した仮説推論システム" 人工知能学会研究資料. SIG-F/H/K-8901-5 (1988)
-
[Publications] 伊藤史朗,石塚満: "シンプレックス法に基づく仮説推論システム" 情報処理学会第39回全国大会講演論文集. No.5C-8 (1989)
-
[Publications] 近藤朗子,牧野俊朗,石塚満: "Lattice構造を使った並列横型解法による仮説推論システム高速化" 情報処理学会第40回全国大会講演論文集. (1990)
-
[Publications] 牧野俊朗、石塚満: "制約評価機構付き仮説推論システムとその回路ブロック設計への応用" 人工知能学会誌. (1990)
-
[Publications] M.Ishizuka: "Knowledge Assimilation & Management Mechanism for Frame Knowledge-base including Hypothesis Knowledg" Workshop on Theoretical Foundation for Knowledge Information Processing(at Prague). (1989)
-
[Publications] M.Ishizuka,T.Matsuda: "Knowledge Aquisition Mechanisms for a Logical Knowledge-base including Hypothesis" Knowledge-Based Systems. 3. (1990)
