現状の知識処理の大きな課題である知識獲得のボトルネックを克服するために学習機能や知識獲得支援の研究が行われているが、これらとは異なり、本研究では宣言的知識表現に対する知識ベース・コンパイルによる高速推論技術が重要であるという観点から研究を行った。本研究では宣言的知識表現として最も形式が整った論理表現、及びその実用的部分集合であるホーン節論理を対象としたが、この場合の知識ベース・コンパイルは一般に冗長部分を切り捨てた主項(Prime Implicants)への展開となる。しかし、すべての主項に展開すると必要なメモリ空間が膨大となることから、重要な枠組みであり他と矛盾する可能性を有する知識を仮説として含む仮説推論の知識ベースについて、推論速度の向上に有効な部分のみを展開する部分コンパイルの技術を考案、開発した。また、論理回路の多段化による簡単化で開発されてきた手法を上記の知識ベース・コンパイルに結合して、効率化を図る手法を明らかにした。更に仮説推論の高速化に関しては、0-1整数計画法の近似解法を適用することにより、準最適解を多項式時間で求める非常に実用的な手法を考案した。
|