中介时序逻辑系统MTL的模型论性质

时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统,它具有较强的表达能力,近年来在计算机科学领域获得了广泛的应用.基于中介逻辑对时序逻辑进行多值扩充,建立了一种中介时序逻辑系统MTL(Medium Temporal Logic).讨论了它的形式系统和语义解释,但未论及其完备性.本文对MTL系统作进一步的讨论.在一可传结构下,讨论了它的可传、连通和过滤等模型论性质,为进一步讨论MTL系统的完备性作了理论上的准备.     

挖掘周期性一般关联规则

在事务数据库中的周期性一般关联规则可以揭示类的不同层次之间的关系和呈现周期性变化。这些信息对于识别在关联中的趋势和预测非常有用。由于数据噪声对发现周期性一般关联规则的巨大影响 ,文中用噪声比来抑制数据噪声对发现周期性一般关联规则的影响。同时根据对周期性与一般高频集之间关系的分析 ,利用周期裁剪技术来节省挖掘时间 ,给出了 (Cyclic general-ized itemsets,CGI)算法。实验证明 ,该算法可高效地发现周期性一般关联规则。     

带时间参数的面向agent的程序语言AOPLID

对面向ａｇｅｎｔ的程序设计语言ＡＯＰＬＩＤ进行时态扩充，使之能表达并处理带时间参数的并发行动。对经典情境演算进行适当改造，使之能描述含时间变元的行动，因为持续行动一般可认为是具有瞬时开始行动和瞬时终止行动的过程，因此可以将一个持续动作分解为两个时间上互不相交的瞬时动作，再引入一个新的关系流刻画这两个瞬时动作的执行情况，从而可在扩充后的情境演算中表达带时间参数的并发行动；对已有的ＡＯＰＬＩＤ离线解释器进行了适当改造与扩充，使之能执行带时间变元的ＡＯＰＬＩＤ程序；通过实例说明了该方法以及扩充后的一些语言特色。     

一种模糊关系代数与模糊关系演算

首先给出了模糊数据库的模糊关系数据模型，它允许属性值和元组具有模糊性。在此基础上，构造了两类不同的模糊数据库查询语言：模糊关系代数和模糊关系演算。它们分别以传统的关系代数或关系演算为基础，引入模糊关系（或谓词）、模糊操作（或连接词）和模糊集比较操作。此外，证明了模糊关系代数和模糊关系演算在表达能力上的等价性。模糊关系代数和模糊关系演算既可以作为模糊关系数据模型的理论研究工具，又可作为评价模糊数据库