关于概率无限寄存器机器PURM及其程序可模拟的随机函数

本文给出了一种新的随机计算的机器模型:概率无限寄存器机器PURM,它比概率Turing机(PTM)更为简单。我们证明了PURM程序与可计算的PTM之间的等价性。基于对PURM程序的构造,我们给出了随机函数可被PURM程序或可计算的PTM模拟的充分条件。最后,讨论了PTM和PURM的一些简单性质。     

双析取逻辑程序设计基础（Ⅰ）

析取逻辑程序设计是传统逻辑程序设计最重要的扩充之一，本文通过一些实例说明，现存语义无法充分 表示信息的不完全性。为此，本文提出了双析取逻辑程序设计的概念，我们不仅从句法上将正规则析取逻辑程序推广为双析取逻辑程序。而且建立了一种高度直观，灵活的辩论语义框架ＢＤＡＳ。     

标记辩论推理系统

Lin提出的辩论推理系统为非单调推理形式提供了一种统一的基础，其推理机制由所谓的论点结构实现．由Lin的系统导出的非单调推理并不具有累加性，而该性质是衡量一个非单调推理关系的重要标志之一．利用Brewka的方法，本文提出标记辩论推理的概念，并且证明缺省逻辑CDL可以嵌入本系统，从而也间接地给出了标记辩论系统具有累加性的一种充分条件．为了彻底地恢复累加性，本文提出了强封闭论点结构的概念，且由标记辩论系统的强封闭论点结构定义的非单调推理具有累加性．     

连接依赖的蕴涵问题及其推导公理系统

本文首先证明了一个连接依赖集等价于一个连接依赖；根据这一结果，可以构造一个不用追踪判定连接依赖蕴涵问题的方法，然后，本文给出了一个新的连接依赖的推导公理系统，并证明了这一系统的合理性和完全性。     

双析取逻辑程序设计基础（Ⅱ）

双析取逻辑程序设计是析取逻辑程序设计的一种扩充，其辩论语框架ＢＤＡＳ为逻辑程序设计中的常识推理提供了一种较为合理的语义框架。