淋巴细胞的时间语义逻辑模型及其演化策略

数字序列抗原内部存在许多语义特征，针对抗原进行语义识别可以提高系统检测的准确性。基于抗原的相对时序关系，该文采用了一阶逻辑作为抗原和淋巴细胞的基本描述语言，以扩展逻辑程序构造淋巴细胞的时间语义逻辑模型，给出了淋巴细胞的逻辑表示形式。基于逻辑程序的稳定模型语义学，用稳定模型语义计算作为新的淋巴细胞的匹配算法。借鉴遗传归纳逻辑程序GILP的基本思想，给出了新的淋巴细胞的演化算法。     

基于情境演算理论的情境服务研究

本文针对一个与移动服务相关的概念即基于情境的移动服务（简称情境服务）展开研究。首先对情境服务及其相关研究进行了说明，然后提出了一个基于情境演算理论和高级逻辑程序语言Golog的情境服务平台。该平台能够方便地嵌入各种情境服务，并且能够方便地将用户的偏好约束集成到逻辑服务程序中。本文给出了一个情境服务原型系统示
例，并在最后提出了几个今后值得继续研究的方向。     

逻辑、优化及约束程序的综述

由于优化和约束程序各自具有扩充能力,它们开始有效地结合在一起。它们的结合有着广阔的商业前景,近些年来引起了研究者浓厚的兴趣。概述了各种优化中基于逻辑的方法,总结了约束程序研究领域的各种方法,并对优化和约束程序结合的框架进行了综述。     

概率逻辑程序

1 引言最近几十年来,不确定性的管理在知识描述和推理中扮演着越来越重要的角色。为了处理不确定知识,人们提出了各种不同的形式化和方法论,其中大部分是直接或间接地基于概率论的。     

一个带破圈启发方法的回答集编程系统

回答集编程(answer set programming,ASP)是一种回答集语义下的逻辑编程范例,可应用于非单调推理,叙述式问题求解等领域.本文为ASP提出并实现了一种破圈启发方法与一种基部限制式前向搜索过程,所得到的系统称为LPS.实验结果显示,相对于其他经典的ASP系统,LPS能够有效地解决处于相变难区域中的逻辑程序,通常这些程序被认为是计算困难的.除此以外,通过使用被称为动态变元过滤(dynamic variable filtering,DVF)的技术,LPS可以在计算过程中极大地缩小搜索树的尺寸.     

基于逻辑程序的访问控制描述与推理

提出访问控制的逻辑描述方法,满足最小模型语义的条件(不含负逻辑),并分析访问控制逻辑程序中不动点的迭代计算方法。通过迭代计算,得到访问控制逻辑程序的最小Herbrand模型——Mp。使用基于逻辑程序的方法对访问控制策略进行了较为精确的推理。     

基于逻辑程序的免疫识别器动态覆盖性初探

免疫识别器的动态覆盖与人工免疫系统的有效性具有重要的关联关系,应该用尽可能少的识别器覆盖尽可能多的NONSELF空间。根据识别器的动态覆盖性原理,引入逻辑程序来表示免疫识别器,并运用逻辑程序的更新特性,试图消除识别器所识别出的NONSELF空间的冗余,降低识别器的浓度,增强识别器的动态覆盖性。     

正规逻辑程序回答集存在性研究

判断逻辑程序的回答集是否存在是回答集程序设计的一个重要问题,也是NP完全问题。当前利用否定圈边数的奇偶性来判断回答集存在性的方法还具有一定的局限性,即:对于非分层逻辑程序,现有方法并不能准确判断其回答集存在性。针对该问题,提出了一种新的基于否定圈的判断方法,给出了该判断方法的算法框架,证明了算法的正确性,并以实例分析说明了方法的有效性。     

一类递归逻辑程序的强构造学习

定义了一类强构造学习问题ＥＲＰ;探讨了以数据驱动方式提高强构造学习系统效率的途径,特别是学习系统的主动采样方式与系统性能的关系;给出了一个效率较高、输入条件基本实用的ＥＲＰ（１）学习算法,该算法原则上可推广到任意ｎ〉１的ＥＲＰ（ｎ）问题。．     

简单单调约束逻辑程序的良基语义研究

在介绍约束逻辑程序的相关概念的基础上,研究了简单单调约束逻辑程序约束原子的正文字前缀幂集展开方法,并证明展开后的正规逻辑约束与约束逻辑程序的等价特性.分析了正规逻辑程序的交替不动点良基模型建立的原理,将简单单调约束逻辑程序等价展开为与其等价的正规逻辑程序,以求展开后的逻辑程序中的给定算子的最小不动点为切入,给出了简单单调约束逻辑程序的交替不动点的良基模型.论证了文中提出的简单单调约束逻辑程序良基模型定义的合理性,说明把约束逻辑程序转化为正规逻辑程序是可行的.