基于时态数据库的极小子结构逻辑系统

逻辑是知识表达的重要方法,但由于时序性知识与时间属性知识交叉应用的复杂性,其对时态数据库支撑一直不尽如人意.目前时态数据运算体系不完备,时态关系演算缺乏系统和有力的逻辑与代数理论支持.为此,文中从子结构逻辑出发,针对时态数据库及其信息处理中关键的知识推理、时态操作与函数依赖等内容,构建了一个极小的(最小的)子结构逻辑系统TDLrmin,其恰好等价于传统的数据库函数依赖Armstrong规则.TDLmin系统能在逻辑语义模型中对时序性、时间属性进行表达,而在句法逻辑系统将时间剥离,从而既表达了时态知识,对时态操作进行处理,又降低了逻辑系统的复杂度,使得逻辑系统的时间复杂度为P-time (O(n2)).而该逻辑系统还可与传统的Allen方法进行对接,使得相关时态查询所需的时间代价为传统非时态查询的时间加上一个复杂度仅为O(n)的线性时间,从而使得系统具有更强的普适性和应用前景.     

描述逻辑FL0循环术语集的可满足性

循环术语集是描述逻辑长期以来的研究难点,它的最基本的问题即语义及推理问题没有得到合理的解决。分析了描述逻辑循环术语集的研究现状和存在的问题,基于图的互模拟的方法,给出了描述逻辑FL0循环术语集的可满足性条件。结果证明循环术语集的可满足性的推理是多项式复杂的。     

基于非线性规划的电梯调度研究

针对上下班高峰期电梯分区调度的特点,本文首先利用Newton迭代的方法求出了不同分区下电梯平均运行时间t的具体数值,并用Matlab重新拟合出t的二次函数式,进而建立关于所有分区平均运行时间总和最小的非线性整数规划模型,通过计算机搜索算法求解出最优的电梯分区调度方案。结果表明这种方法容易操作,同时又具有很高的可用性和推广性。     

批判性思维及其精神

批判性思维是以逻辑学的原理和运用为学理基础的，同时又与心理学、伦理学、哲学等学科广泛融合的以思维问题为核心的交叉思维科学方法论学科。批判性思维是以批判精神为基础的，对思维的对象所包含的判断和论证进行解释、分析、评估、推理、说明和自我规范的综合认知能力。批判性思维所蕴涵的精神有怀疑的素质与意识、问题意识、批判的精神、平等交流的精神、理性分析与探索的精神、宽容的精神、评价的精神、创新的精神等。     

论Dempster-Shafer理论的一个悖论

Kyburg指出,在Dempster-Shafer（D-S）理论中应用Dempster组合规则组合某些基本概率指派将导致悖论。基于Shafer的D-S理论解释,我们可以利用概率函数来表达该理论的基本概念和组合规则。在此基础上,本文分析这一悖论产生的原因。     

法律逻辑与批判性思维

1法律逻辑研究的现状作为一门学科,法律逻辑正式形成的标志是1951年克卢格的《法律逻辑》一书出版[1]。在他看来,法律逻辑是形式逻辑在法律领域中的应用。荷兰学者舒伊特曼提出了一种更为极端的观点,逻辑都是形式的,故根本不存在特殊的“法律逻辑”,正如不存在“草莓逻辑”一样     

概率逻辑程序

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

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

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

基于序演算的推理系统OCRS及其判定算法

序演算可以保留很多语言学的信息,可以更自然的刻画日常交流中的推理,因此序演算成为很多自然逻辑推理系统的核心方法.在Zamansky等学者工作的基础上,以序演算为核心,结合Lambek演算,增加了性质类序关系,考虑了模糊量词的语义特征,构造了基于序演算的自然逻辑推理系统OCRS.该系统所描述的推理范围较之以前的自然逻辑系统进一步扩大.另外,也给出了OCRS系统中序演算的判定算法,证明了其判定算法的对应定理.     

基于动态时序描述逻辑的动作理论

动态时序描述逻辑(DLTLDL)是一类描述逻辑的动态时序扩展。提出一种基于DLTLALCIO的动态域建模方法,利用该方法可构造出刻画动态域知识的DLTLALCIO理论,并解决动作推理中的框架问题和分支问题。动作推理问题,如动作可执行性和投影问题等,可归结为关于DLTLALCIO理论的推理问题,并最终归结为DLTLALCIO的公式可满足性问题。DLTLALCIO公式可表达动作和时间约束,相对于其他基于描述逻辑的动作形式,基于DLTLALCIO的动作形式在需要执行复杂查询,尤其是含时间或动作的查询的应用场合具有更好的适用性。