2024-03-29T20:31:24Zhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaipmhoai:ipsj.ixsq.nii.ac.jp:000511782024-03-29T05:26:34Z01164:04402:04501:04502
述語論理知識ベースに適用できる高速仮説推論システムAn Efficient Hypothetical Reasoning System for Knowledge - base Represented in Predicate Logicjpnhttp://id.nii.ac.jp/1001/00051178/Technical Reporthttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_action_common_download&item_id=51178&item_no=1&attribute_id=1&file_no=1Copyright (c) 1990 by the Information Processing Society of Japan東京大学生産技術研究所東京大学生産技術研究所東京大学生産技術研究所近藤, 朗子牧野, 俊朗石塚, 満仮説推論は非単調推論系の一種であり、推論速度の遅さが実用上最大の問題点となっている。我々は、前向き推論と後向き推論の特長を取り入れることによって、従来のPrologの推論系を利用するシステムで行なわれていた無駄な探索を省き、効率的な推論を行なうことを命題論理知識に対しては可能にした。しかし、現実の問題への応用を考える場合、変数を含む述語論理知識への拡張が不可欠となる。そこで、本論文では、これらの高速化手法を述語論理知識に適用するために変更すべき点を検討し、述語論理知識ベースに適用可能な高速仮説推論の手法について述べる。A hypothetical reasoning system is an important framework toward advanced knowledge-base systems. It can be effectively applied to many practical problems including diagnosis, design, etc. However, the inference speed of its Prolog-based implementation is slow particulaly due to inefficient backtracking. In order to overcome this problem, we have developed a fast hypothetical reasoning mechanism for propositional-logic knowledge by combining the advantages of forward and backward reasonings. This fast mechanism has not been directly applicable for the hypothetical reasoning with predicate-logic knowledge. In this paper, we present a fast hypothetical reasoning mechanism for the predicate-logic knowledge as an extension of above idea.AA11135936情報処理学会研究報告知能と複雑系(ICS)199088(1990-ICS-073)21301990-11-082009-06-30