Lattice構造を使った並列横型解法による仮説推論システムの高速化

スポンサーリンク

概要

論文の詳細を見る
不完全な知識を取り扱うことにより、高次人工知能機能を実現する仮説推論は、次世代知識ベースシステムを構築する上で重要な技術となっている。しかし、仮説推論システムは、知識ベースに不完全な知識を含むため、常に無矛盾性の管理をする必要があり、推論の速度がかなり遅くなる。そのため、現在仮説推論では、推論速度の向上が重要なテーマの1つとなっている。今回我々は推論の高速化の一手法として、ATMS[2]のlattice構造を利用して、無矛盾性を管理しつつ全解を並列に求める方法について検討し、システムを作成した。この方法を用いると、無矛盾・完全・健全・最小の解を高速に求めることができる。以下に、そのシステムについて報告する。
一般社団法人情報処理学会の論文
1990-03-14

著者

関連論文

もっと見る

スポンサーリンク