1993 Fiscal Year Annual Research Report
| Project/Area Number |
04452190
|
|---|
| Research Institution | The University of Tokyo |
|---|
Principal Investigator |
石塚 満 東京大学, 工学部, 教授 (50114369)
|
|---|
| Keywords | 知識ベース / 推論 / 人工知能 / 仮説推論 / コンパイル |
|---|
| Research Abstract |
現状の知識処理の大きな課題である知識獲得のボトルネックを克服するために学習機能や知識獲得支援の研究が行われているが、これらとは異なり、本研究では宣言的知識表現に対する知識ベース・コンパイルによる高速推論技術が重要であるという観点から研究を行った。本研究では宣言的知識表現として最も形式が整った論理表現、及びその実用的部分集合であるホーン節論理を対象としたが、この場合の知識ベース・コンパイルは一般に冗長部分を切り捨てた主項(Prime Implicants)への展開となる。しかし、すべての主項に展開すると必要なメモリ空間が膨大となることから、重要な枠組みであり他と矛盾する可能性を有する知識を仮説として含む仮説推論の知識ベースについて、推論速度の向上に有効な部分のみを展開する部分コンパイルの技術を考案、開発した。また、論理回路の多段化による簡単化で開発されてきた手法を上記の知識ベース・コンパイルに結合して、効率化を図る手法を明らかにした。更に仮説推論の高速化に関しては、0-1整数計画法の近似解法を適用することにより、準最適解を多項式時間で求める非常に実用的な手法を考案した。
|
-
[Publications] 堂前、石塚: "仮説推論高速化のための知識ベース・リフォメーション" 人工知能学会誌(採録済み). 9. (1994)
-
[Publications] 岡本、石塚: "整数計画法の近似解法を適用した準最適解計算の高速仮説推論法" 人工知能学会誌. 8. 222-229 (1993)
-
[Publications] 近藤、牧野、石塚: "述語論理知識を扱う高速仮説推論システム" 人工知能学会誌. 8. 819-827 (1993)
-
[Publications] 牧野、石塚: "経験に基づく学習による仮説推論の高速化" 人工知能学会誌. 8. 320-327 (1993)
-
[Publications] A.Kondo,T.Makino,M.Ishizuka: "Efficient Hypothetical Reasoning System for Predicate-Logic Knowledge-Base" Knowledge-Based Systems. 6. 87-94 (1993)
-
[Publications] S.Ohsawa,M.Ishizuka: "Networked Bubble Propagation Method as a Polynomial-time Hypothetical Reasoning for Computing Quasi-optimal Solution" Proc.IEEE Int'l Conf.on Tools of AI(TAI'93). 184-187 (1993)
