人工知能学会誌（1986～2013, Print ISSN:0912-8085）
コストに基づく仮説推論を多項式時間で達成する新しい十分条件
1998 年 13 巻 3 号 p. 415-423
詳細
1998 年 13 巻 3 号 p. 415-423
Cost-based abduction is a well established formalization of abduction for obtaining the most desirable hypotheses-set. However, slow inference-speed is its crucial problem-it is NP-complete. In order to overcome this problem, mathematical programming based methods have been shown to be effective. However, their performances were mainly evaluated empirically, not theoretically supported. Recently, a new condition was presented under which polynomial time cost-based abduction can be achieved by solving the relaxed linear programming problem, though inconsistencies among hypotheses were not considered. This paper presents a new sufficient condition for the polynomial solvability of cost-based abduction by linear programming relaxation, considering inconsistencies among hypotheses which heavily influence the time complexity of abduction. Testing the new condition is possible within polynomial time. Our theory is based on the constraint network of a previously presented Networked Bubble Propagation (NBP) method, a high-speed approximate cost-based abduction method.
