不完全信息下的溯因诊断

研究缺省逻辑表示下的溯因框架，给出一种基于规则的命题逻辑缺省溯因诊断的求解方法。     

带有约束的缺省逻辑

提出了一种改进缺省逻辑的方法，讨论了这种缺省理论的性质，证明了每个缺省理论都有扩充，具有半单调性和累积性，并讨论了处理多扩充问题的一种方法．     

有序缺省理论及其扩充

讨论了半正规缺省理论和一般缺省理论之间的关系，将有序的概念引入了一般缺省理论，证明了每个有序缺省理论都有扩张。而且，给出了一个判定缺省理论是否有序的可行算法。     

约束可满足问题求解策略的改进和实验结果

通过对那些属于NP－Complete的约束可满足问题（如图着色、规划、SAT问题等）的求解实验，指出了局部搜索算法的局限性，由此给出改进的搜索策略．实验结果表明，应用改进的搜索策略使算法效率明显提高．     

基于溯因问题求解的知识库更新

在一个广义的溯因问题框架下,讨论以逻辑公式形式表示的知识库的维护问题．使用表推演方法,检查知识库协调性,对知识库进行扩展、约减和修正,给出可行方法     

不完全信息下的溯因诊断

研究缺省逻辑表示下的溯因框架,给出一种基于规则的命题逻辑缺省溯因诊断的求解方法     

广义归结中的强蕴涵和涵盖

本文讨论了涵盖和强蕴涵之间的关系,给出并证明了强蕴涵是涵盖的条件,还证明了在广义归结中同时使用涵盖和强蕴涵做为删除策略仍是完备的.     

基于溯因问题求解的知识库更新

在一个广义的溯因问题框架下，讨论以逻辑公式形式表示的知识库的维护问题。使用表推演方法，检查知识库协调性，对知识库进行扩展，约减和修正，给出可行方法。     

带有约束的缺省逻辑

提出了一种改进缺省逻辑的方法，讨论了这种缺省理论的性质，证明了每个缺省都有扩充，具有半单调性和累积性，并讨论了处理多扩充问题的一种方法。