逆演绎的学习算法研究

针对传统归纳学习的困难,提出一种新的逆演绎的学习算法.从学习任务、模式声明和启发信息角度出发,研究逆演绎学习算法相关的逆演绎规则、格结构和状态算子等核心问题,并利用逆演绎的学习算法实现了学习推理系统.该算法包括最特殊子句构造、状态空间搜索和覆盖集计算3个模块;以最泛化子句为顶结点、最特殊子句为底结点、其他为中间结点,通过状态算子构建格结构的状态空间,在压缩引导的启发信息下,类A＊算法完成状态空间搜索,得到压缩最大的正例结点或反例结点;再利用覆盖集算法不断进行覆盖正例去除反例的操作,计算出经剪枝和压缩的最优子句;重复计算的最大压缩率的假设,便是搜索出的关系,也是需要学习的结果.算法测试结果表明,逆演绎的学习算法可产生泛化能力很强的规则,是可行及有效的.     

汉密尔顿回路逻辑程序的两个结果

基于回答集语义的逻辑程序提供了描述性问题求解的范例,而逻辑程序的一阶环公式提供了计算回答集的新方法——自动定理证明.本文研究了汉密尔顿回路逻辑程序的一阶环公式,证明了计算汉密尔顿回路的有助于提供计算效率的两个主要结果.     

逻辑程序“与并行”计算模型的研究

本文概述了逻辑程序并行性研究的状况和逻辑程序的并行处理方式。详细分析了目前两种获得“与并行”的计算模型,指出了它们的优劣性。最后得出结论:基于编译获得“与并行”是目前最有效的途径。文中同时给出了编译模型下几种算法的实现方法。     

程序兼纳集：由力迫描述的中介逻辑程序语义

运用力迫方法在非封闭世界假设下讨论了一种基于中介逻辑含非Ｈｏｒｎ型语句逻辑程序的语义，并就程序兼纳集的不动点性质，迭代性质作了研究，还证明了程序兼纳集在集合包含关系下是１个完全交半格。     

一种基于同例和异例的溯因推理

溯因推理是在给定的理论和观察下,求出对于该观察可能的解释.然而,在一般的溯因推理中,并不要求解释的直观性和归纳性,从日常生活和科学发现的某些规律出发,本文提出了同例和异例的概念,提出了一个基于同例和异例的溯因推理框架,并引入了可诱导和可允许这两个限定条件.接下来,本文给出在该框架下求出所有极大解释的算法AH并验证了它的可靠性和完备性.最后,一个具体的例子演示了算法AH,相对于一般的溯因推理系统,本框架主要有如下的优点:溯因得到的解释更符合直观,溯因得到的解释还可以用来推导出更多的新的语句.     

分析逻辑程序的一种有效工具—推导格式

本文提出逻辑程序阿部推理机制的一种格式化描述方法——推导格式。这种描述方法是分析逻辑程序的一种有效的工具,它可帮助我们理解和调试给定的逻辑程序。     

带函数的正规逻辑程序设计系统

带函数的回答集程序设计（FASP）允许在正规逻辑程序中嵌人函数符号，描述了这个系统fasp的设计与实现。其基本思想是把简单函数和原子当成变量，程序的Clark完备化和环公式约束处理（CSP）中的约束，然后通过已有的CSP求解器来计算其CSP例的解。ASP的测试用例也可通过fasp应用于CSP中。我们用汉密尔顿回路问题和N-皇后问题测试了该系统，并与其它系统进行了比较，实验结果表明,fasp对N-皇后问题有较好的效率。     

一元涵词Horn子句的矩阵描述

在本文中我们将在分析一阶程序逻辑的求解过程的基础上，讨论可满足性与布尔阵的关系，并给了一元涵词Ｈｏｒｎ子句可满足性的矩阵描述。     

An approach for handling conflicts in authorization

Based on logic programs, authorization conflicts and resolution strategies are analyzed through the explanation of some examples on the health care sector. A resolution scheme for handling conflicts in high level authorization specification by using logic program with ordered disjunction （LPOD） is proposed. The scheme is useful for solving conflicts resulted from combining positive and negative authorization, complexity of authorization management, and less clarity of the specification. It can well specify kinds of conflicts （such as exceptional conflicts, potential conflicts）, and is based on literals and dependent contexts. Thus it is expressive and available. It is shown that authorizations based on rules LPOD is very important both in theory and practice.