同Vague谓词命题的概率逻辑

基于对Vague（或Fuzzy）概念的一种新的认知,使用随机集和概率论,引入了论域表达式及其适当测度的概念。进一步地,通过引入同Vague谓词命题及其他们真的概率（简称概率真度）的概念,提出了一种新的非经典命题逻辑,称为同Vague谓词命题的概率逻辑,并提供了其逻辑规律。其逻辑规律表明它与经典逻辑具有优良的和谐性。比较了同Vague谓词命题的概率逻辑与模糊逻辑的长处与不足。     

逻辑学在计算机科学中的应用

随着科技不断发展,计算机技术也在不断飞跃的发展,逻辑学在计算机硬件设计和软件处理方面都表现出其重要地位。本课题就是通过对逻辑学在计算机科学方面的分析研究,探讨命题逻辑、谓词逻辑等,以及谓词逻辑应用于人工智能等问题,来研究逻辑学在计算机科学中的应用。     

一阶逻辑中约束求解的局部搜索法*

以一阶谓词逻辑为基础,讨论约束满足问题.着重研究一阶逻辑公式可满足性的局部搜索法,并与命题逻辑中的可满足性过程加以比较.以皇后问题和哈密顿回路问题为例,说明基于一阶逻辑的方法能处理较大的问题实例.     

人工智能中逻辑推论的探讨

本文从具体事例出发，解析了用直观推论、根据命题逻辑进行推论和谓词逻辑方法求解问题的思路和方法，在结束语中还提出了用于进行更接近人类推论逻辑的非单调逻辑，这是在设计高级知识信息处理系统时，需要加以研究的一个重要课题。     

中介逻辑ML的语法完全性

中介逻辑ML(MediumLogic)是近年提出的一种非经典逻辑。在ML的系统特征理论中已证明ML具有语义完全(完备)性。本文研究了ML的语法完全性,证明了如下结果:(1)ML中的中介命题逻辑系统MP及其扩张MP*是语法完全的,中介谓词逻辑系统MF与其扩张MF*,以及含有等词的中介谓词逻辑系统ME不是语法完全的。(2)一般地,如果一个协调的逻辑形式系统不是语法完全的,则它的任何协调的扩张系统也不是语法完全的。     

一种基于遗忘理论的信念收缩方法

针对在经典信念理论框架下,信念收缩后可能出现信息损失的问题,本文提出了一种利用遗忘理论来构建收缩算子的信念收缩方法。本文先通过理论证明来说明该收缩算子能够满足AGM理论中信念收缩的假定,然后用实例说明,与命题逻辑表示的信念遗忘收缩相比,一阶谓词逻辑表示的信念遗忘收缩保留了更多的原有信息,避免了不必要的信息损失,遵循最小修改原则。     

一种求解前束析（合）取范式的简单方法

本文提出了一种由前束析（合）取范式求前束合（析）取范式的简单方法。该方法根据谓词逻辑自身的特点,结合命题逻辑中命题公式的主析取范式和主合取范式的互补关系,将前束析（合）取范式转化为主析（合）取范式,再得出相应的主合（析）取范式,最后准确地得出前束合（析）取范式。     

基于命题演算的高级控制结构恢复

提出一种基于命题演算的二进制代码高级控制结构恢复方法。该方法针对低级指令之间的控制依赖关系进行形式化,将其抽象为命题逻辑变元,并且沿着程序执行路径进行传播和演算,通过计算结果中的特定命题常元对隐藏于低级代码中的高级控制结构进行判定。测试结果表明,该方法能够较好地检测并恢复出循环结构和分支结构,且具备针对谓词指令的分析和恢复能力。     

命题逻辑可满足性问题的算法分析

1 引言可满足性问题(以下简称SAT)是问:对于一个命题逻辑公式,是否存在对其变元的一个真值赋值使之成立?这个问题在许多领域都有非常重要的意义,其快速求解算法的研究成为计算机科学的中心课题之一。例如在机器定理证明领域,某命题是否是一个和谐的公理集合的推论,这个问题归结为该命题的反面与该公理集合一起是否是不可满足的。通过量词消去技术和Herbrand定理的作用,谓词逻辑公式的不可满足性可以归结为命题逻辑公式的不可满足性。在知识库维护中,当知识以逻辑公式的形式表达时,知识库的一致性检查可以归结为命题逻辑公式的可满足性。在开放逻辑中,新事实是否与已有的知识矛盾,当遇到事实反驳时如何求得最大和谐的知识集,这些问题最后都要归结为命题逻辑公式的可满足性。1971年Cook首次证明了SAT是NP-完全的,从而大量的计算问题都可以归约到SAT。正是由于SAT的重要地位,各国学者对它进行了广泛而深入的研究。     

格值模态命题逻辑及其完备性

文中以满足第一及第二无限分配律的完备格为工具,建立了格值模态命题逻辑的语义理论,并指出这种语义是经典模态命题逻辑语义理论及[0,1]值模态命题逻辑语义理论的共同推广.给出了QMR0代数的定义,并分别以Boole代数及QMR0代数为背景构建了Boole型格值模态命题逻辑系统B及QMR0型格值模态命题逻辑系统QML*,并证明了系统B及系统QML*的完备性.     

汉语句子谓词的自动识别方法研究

谓词的自动识别是浅层句法分析的重要内容。以汉语的“谓词中枢论”为语言学基础,详细分析了汉语句子中谓词所处的上下文环境,讨论了影响谓词出现的主要语境因素。提出了一种基于统计学原理的汉语句子谓词自动识别概率模型,通过极大似然估计对谓词候选词在句中充当谓词的概率进行近似计算,利用绝对折扣模型对参数进行平滑。在小规模语料库上进行的实验显示,谓词识别率最高分别达到了80.6%（动词性谓词）和83.2%（形容词性谓词）,表明了该方法的可行性和有效性。     

一阶谓词逻辑的图形推理法

针对已有一阶谓词逻辑推理方法中存在的推理效率低等问题,研究一种基于谓词/变迁系统的图形推理法。定义了描述谓词间与/或关系的谓词-与/或图,借助谓词-与/或图表示谓词/变迁系统,提出一种实现反向推理的目标制导的图形推理法。该方法推理效率高,较已有的推理方法具有一定的优越性。     

谓词逻辑在关系数据库中的应用

本文旨在研究将谓词逻辑及公理化理论应用于关系数据库中表示数据子语言,应用谓词逻辑作为它的数学基础,使得对这些语言的研究成为对谓词逻辑的研究,优化数据子语言的表示成为对谓词逻辑的化简问题.     

基于与状态无关的激活集的包含派生谓词的规划问题求解

派生谓词是PDDL2．2语言的新特性之一。在2004年的规划大赛IPC-4上,许多规划系统都无法求解包含派生谓词的两个标准竞赛问题。在经典规划中,派生谓词是指不受领域动作直接影响的谓词,它们在当前状态下的真值是在封闭世界假设中由某些基本谓词通过领域公理推导出来的。本文提出一种新的方法来求解包含派生谓词的规划问题,即用与状态无关的激活集来取代派生谓词用于放宽式规划中。     

命题公式的随机真度与推理规则

在[n]值Lukasiewicz命题逻辑系统中,引入命题随机真度的概念,给出了随机真度的一个计算公式,研究了命题随机真度的若干性质。证明了命题逻辑的分离规则、三段论规则以及交推理规则在[n]值Lukasiewicz命题逻辑系统中成立。     

Tuili－Ⅱ里的属性谓词及其实现

Ｔｕｉｌｉ－Ⅱ是一个基于Ｔｕｉｌｉ的知识程序设计语言，属性谓词是其中的一种新的知识表示方法．属性谓词体现了逻辑推理语言Ｔｕｉｌｉ与框架／对象在一定意义下的结合．本文主要介绍属性谓词的提出背景和基本思想，给出属性谓词说明及其使用的语法定义、语义及解释，讨论属性谓词的实现思想和主要算法，并给出一个由属性谓词表示分类知识的专家系统原型的例子．     

基于谓词切片的字符串测试数据自动生成

字符串谓词使用相当普遍，如何实现字符串测试数据的自动生成是一个有待解决的问题，针对字符串谓词，讨论了路径Path上给定谓词的谓词切片的动态生成算法，以及基于谓词切片的字符串测试数据自动生成方法，并给出了字符串间距离的定义，利用程序DUC（Definithon-Use-Control)表达式，构造谓词的谓词切片，对任意的输入，通过执行谓词切片，获取谓词中变量的当前值，进而对谓词中变量的每一字符进行分支函数极小化，动态生成给定字符串谓词边界的ON－OFF测试点，实验表明，该方法是行之有效的。     

基于粗糙集理论的中文知识问答的知识谓词分析

在基于知识的问答系统中,问句中的知识谓词信息分析结果将会对知识元组的整体匹配效果产生影响。中文短问句中的知识谓词的信息表达方式存在着不确定性,这些不确定性的表达增加了知识谓词分析的难度。从粗糙集理论的角度,提出了一种问句中的知识谓词的分析方法,对问句中的知识谓词的弱相关表达进行约简,使问句中与知识谓词强相关的表达词能更有效地与知识元组中的知识谓词匹配,进而提高系统 对知识谓词的整体分析能力。实验结果验证了新方法的有效性。     

谓词逻辑在关系数据库中的应用

本文旨在研究将谓词逻辑及公理化理论应用于关系数据库中表示数据子语言,应用谓词逻辑作为它的数学基础,使得对这些语言的研究成为对谓词逻辑的研究,优化数据子语言的表示成为对谓词逻辑的化简问题。     

基于改进谓词/变迁网的飞行方式指示器模型研究

为实现空客320飞行仿真中的飞行方式指示器(Flight Mode Annunciator, FMA)仿真,面向离散事件系统,提出一种基于二阶谓词/变迁网的建模方法,并对FMA建模及仿真验证。分析FMA系统功能特点,确定其可用谓词/变迁网建模,但FMA每当飞行方式改变时附带的白色方框提示使传统谓词/变迁网模型繁杂而难以实现。为简化系统模型,在谓词/变迁网的基础上提出继发网,以此为基础定义了适用于离散事件系统的通用型二阶谓词/变迁网,以FMA为例进行了建模及仿真验证。实验结果表明,二阶谓词/变迁网解决了离散事件系统建模时“系统中每一次状态更新都会激活同一个新事件”带来的传统谓词/变迁网模型结构复杂问题,实现了空客320飞行仿真中的FMA仿真。