【溯因问题求解及应用】陈保平.pdf
目录 第一章引言 S1溯因问题 81溯因问题的计算复杂性 1溯因问题求解 S1本文工作 第二章基于限定的溯因问题求解 82溯因问题与相容解释.S2限定理论限定中的溯因解 2Horn子句集的溯因解算法.第三章溯因解释的度量及最优解求解 3问题引入溯因解释的度量 83信度度量标准 S3信度网求解最优解.例.第四章潮因知识修正 4问题提出4溯因知识修正 4开放逻辑 4二者的比较 第五章使用溯因知识修正的信念修正系统 .5.
第一章引言 81溯因问题 1简介 溯因问题是由C.S.Peirce认定的三种基本推理方式之一,另外两 种是归纳和演绎.推理的一般过程是从已掌握的事实出发,运用事物之间的相互关 系,找出其中蕴涵的更多的事实。溯因推理(Abduction)是已知某一 结果已经发生,去寻找出现这个结果的原因,具体的说,给定原因集 C,结果集E和背景理论T(即原因和结果之间的关系的描述),对 于观察dEE,溯因推理就是寻找合适的假设集H,满足HcC,使H 在背景理论T中能够解释d.通常情况下,求解溯因解释是非常困难的,比如说对于给定的观 察和背景理论,溯因解往往会有很多,其中很大一部分是不一致的。
p(xs),x是对XeW的赋值。对于一类特殊的信度转换问题,变量集 W的一个子集V被初始化成特定的值,V是对V的赋值,问题的解是 求一个可能的赋值w,使p(wlv)大于等于p(wlv),其中w是对W的 任一赋值,W叫做最大可能解释(MPE):一个信度转换问题可以映射成如下溯因问题:Da=V;H=WV; e(H)=一个最大的集合DcD,使p(H=true^HaH=false-D)>0; pl(H)=p(H=true^HH=false-e(H) 若一个MIPE是完备的也是极小的,则它对应于一个最优解,81.