@article{oai:kanazawa-u.repo.nii.ac.jp:00009967,
 author = {野畠, 英明 and 木村, 春彦 and 広瀬, 貞樹 and 広林, 茂樹},
 issue = {36},
 journal = {情報処理学会研究報告. 人工知能研究会報告},
 month = {May},
 note = {仮説推論は, 不完全な知識を扱うことのできる有用な枠組であるが, 低い推論速度が大きな問題として挙げられる. この推論速度の問題を克服するアプローチは, 大きく分けて2通り考えられる. 1つは準最適解を求める問題と捉え高速化を図るアプローチ, もう1つはあくまで最適解を求める問題として高速化を図るアプローチである. 本稿では, 後者の最適解を求める方法において有名な方法である推論パスネットワークによる高速仮説推論システムを基に無矛盾チェックを軽減するアルゴリズムを提案し, 実験によりその効果を示す. A logic-based hypothetical reasoning can handle incomplete knowledge as a hypothesis. But the problem is that the hypothetical reasoning has a fault of low reasoning speed. We think that there are two approaches to resolve this problem. The one is an approach for reducing the synthesis process that find the sub-optimal solutions. The other is an approach that exactly find the optimal solutions. In this paper, we propose the algorithm for reducing the consistency check based on the fast hypothetical reasoning system that is famous for the latter appoach. And we prove that proposed algorithm is effective for hypothetical reasoning systems by experiment using real knowledge bases., 金沢大学理工研究域電子情報学系},
 pages = {25--32},
 title = {推論パスネットワークによる仮説合成時の無矛盾性チェックの改善案},
 volume = {96},
 year = {1996}
}