THE COMPUTATIONAL-COMPLEXITY OF ABDUCTION

被引:179
|
作者
BYLANDER, T
ALLEMANG, D
TANNER, MC
JOSEPHSON, JR
机构
[1] Laboratory for Artificial Intelligence Research, Department of Computer and Information Science, The Ohio State University, Columbus
关键词
D O I
10.1016/0004-3702(91)90005-5
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
The problem of abduction can be characterized as finding the best explanation of a set of data. In this paper we focus on one type of abduction in which the best explanation is the most plausible combination of hypotheses that explains all the data. We then present several computational complexity results demonstrating that this type of abduction is intractable (NP-hard) in general. In particular, choosing between incompatible hypotheses, reasoning about cancellation effects among hypotheses, and satisfying the maximum plausibility requirement are major factors leading to intractability. We also identify a tractable, but restricted, class of abduction problems.
引用
收藏
页码:25 / 60
页数:36
相关论文
共 50 条