若干限制形式的缺省推理的复杂性

该文研究判定一文字是否出现在缺省理论〈D,W〉的某一扩张中的复杂性.其中,D是一集Horn缺省规则,而W是definite Horn公式或者Bi-Horn公式.     

缺省推理与认识进程

本文概述了一个可以刻画知识的增长、更新以及假说的进化的开放逻辑理论;给出了有关新假设、事实反驳、假说的重构、认识进程及其极限等概念,讨论了它们的性质并证明了与之有关的定理。本文对开放逻辑和Reiter缺省推理理论做了比较研究,并用开放逻辑的概念给出了缺省的一个模型论解释,给出了扩充的构造,并证明了Reiter缺省证明概念的完全性。     

基于证据推理的软件项目复杂性评估

软件项目复杂性是软件项目管理中很重要的指标。该文定义了软件项目复杂性的概念,建立了软件项目复杂性模型,提出了基于证据推理的软件项目复杂性评估模型和方法。并结合一个简单的例子,验证了方法的可行性。     

缺省推理中的三个定理

本文证明了缺省推理中的三个定理.定理1表明了缺省推理的非单调性这一特点.定理2的实际意义在于,在一个封闭规范缺省理论(D,W)中,只要W能推出D中某些缺省的结论,则可以把这样的缺省规则从理论中删除,所得到的较小的缺省理论其延伸仍与原来缺省理论一样.尤其是若W能推出D中所有的缺省规则结论,则(D,W)的延伸就是W,这就是本文推论的结论.     

子句型缺省理论的推理算法

1 引言缺省理论自1980年Reiter提出之后,已成为非单调推理的热点。在缺省逻辑中,扩张的概念至为重要。Reiter对特殊的缺省理论——正规缺省理论做了许多研究,并得出了一些漂亮的结果。Etherington给出了生成任意有穷有序半正规缺省理论的扩张的程序。张明义提出缺省的一种子类——自相容缺省理     

Ising图模型概率推理的计算复杂性

图模型概率推理的主要任务是通过对联合概率分布进行变量求和来计算配分函数、变量边缘概率分布、条件 概率分布等。图模型概率推理计算复杂性及近似概率推理的计算复杂性是一重要的理论问题,也是设计概率推理算 法和近似概率推理算法的理论基础。研究了Ising图模型概率推理的计算复杂性,包括概率推理的难解性及不可近似 性。具体地,通过构建#2 SA"I'问题到Icing图模型概率推理问题的多项式时间计数归约,证明在一般 Ising图模型上 计算配分函数、变量边缘概率分布、条件概率分布的概率推理问题是#P难的,同时证明Icing图模型近似概率推理问 题是NP难的,即一般Icing图模型上的概率推理问题是难解且不可近似的。     

利用格论研究缺省推理

本文提出了一组转换规则,使用这组转换规则可以把缺省规则转换成扩展规则,然后使用这些扩展规则去扩展缺省理论的初始逻辑公式集合,在这些扩展规则的基础上,我们提出了缺省格(default lattice)的概念,证明了缺省理论的外延刚好对应于它的缺省格的相容性集合的D-极大值,因此可以使用缺省格求出缺省理论的所有外延.