1994 Fiscal Year Annual Research Report
| Project/Area Number |
06452398
|
|---|
| Research Institution | The University of Tokyo |
|---|
Principal Investigator |
石塚 満 東京大学, 工学部, 教授 (50114369)
|
|---|
| Keywords | 人工知能 / 知識処理 / 仮説推論 / 高速推論 / 準最適解計算 / 0-1整数計画 |
|---|
| Research Abstract |
可能な要素仮説に重みを付し、重みの和最小の解仮説を求めるコストに基づく仮説推論に焦点を当て、必ずしも最適解でないが制約を充たす準最適解を高速に求める仮説推論法の研究を進め、有用な成果を得た。本研究以前に我々は仮説推論を0-1整数計画法の問題に変換し、その近似解法である掃出し補数法(pivot and compliment method)を適用することにより、準最適解の多項式時間仮説推論法が可能であることを明らかにした。これは知識処理の問題を数理計画問題に変換して、その土俵の上で解法を見い出したものであるが、このままでは知識構造の情報も利用した高速化効果を図れない。そこで、この有効な掃出し補数法の考え方を踏襲しながらも、ネットワーク化した知識上で動作する「ネットワーク化バブル伝播法」と名付けた推論手法を創案し、これによる多項式時間の命題論理版仮説推論システムを開発した。これは、知識ネットワーク上のノードを整数計画法の構造変数、スラック変数、基底変数、非基底変数に対応して分類し、掃出し補数法で最も時間がかかる基底変数と非基底変数の交換を、知識構造を利用して効率化する。高速化の効果を実験によって明らかにし、非常に有効な高速推論手法であることを示した。これはまた、記号操作を主体としてきた人工知能の推論と、数学的手法により多次元実数空間で制約を充足する最適解の探索を行ってきた数理計画法の手法との間の、橋渡しを可能にしたという点でも意義が大きいと思う。より表現力が高い変数を含む述語論理表現の仮説推論に適用する手法の研究も進めた。
|
-
[Publications] 堂前宣夫、石塚 満: "仮説推論高速化のための知識ベースリフォメーション" 9. 595-603 (1994)
-
[Publications] T.Makino,M.Ishizuka: "Speedup of Hypothetical Reasoning by Experience-based Learning Mechanism" Knowledge-Based Systems. 7. 189-198 (1994)
-
[Publications] M.Ishizuka,T.Okamoto: "A Polynomial-time Hypothetical Reasoning employing an Approximate Solution Method of 0-1 Integer Programming for Computing Near-optimal Solution" Proc.10th Canadian Conf.on AI. 179-186 (1994)
-
[Publications] 石塚 満: "仮説推論の計算量と高速化メカニズム" 人工知能学会誌. 9. 342-349 (1994)
-
[Publications] 大澤幸生、石塚 満: "仮説推論における準最適解を多項式時間で計算するネットワーク化バブル伝搬法" 電子情報通信学会論文誌D-II. J77-D-II. 1817-1829 (1994)
-
[Publications] 大澤幸生、石塚 満: "改良型ネットワーク化バブル伝播法による低次多項式時間仮説推論法" 人工知能学会誌. 10. 123-130 (1995)
