一阶谓词逻辑在人工智能知识表示中的应用

用一阶谓词逻辑的形式语言讨论了自然语言的形式描述、数学知识的形式表述、在人工智能中智能行为过程的描述等.总结用一阶谓词逻辑的形式语言表示具体知识的步骤,以及这种知识表示法的局限与应当进一步研究的问题.     

一阶谓词逻辑在人工智能知识表示中的应用

用一阶谓词逻辑的形式语言讨论了自然语言的形式描述、数学知识的形式表述、在人工智能中智能行为过程的描述等。总结用一阶谓词逻辑的形式语言表示具体知识的步骤，以及这种知识表示法的局限与应当进一步研究的问题。     

基于支持集策略实现定理证明及问题的求解

人工智能原理中，基于一阶谓词逻辑下的归结推理方法可以在机器上实现“自动定理证明以及问题的求解”，实际研究应用表明归结原理中的“支持集策略”是一种简单、高效、完备的实现定理证明和问题求解的好方法。     

基于认知概念的谓词扩展与表示

语义分析是将自然语言转换成为计算机可处理的谓词逻辑形式.由于谓词公式中仅包含客体和谓词两部分,不能完整、精确地表达自然语言语句的语义,限制了语义分析技术的广泛应用,因此需要对谓词进行改进.根据“符号学三角形”语义理论,自然语言和谓词逻辑作为符号系统,反映的都是现实世界在头脑中形成的概念.以认知概念为指导扩展谓词逻辑,增加谓词修饰元素和复杂客体,以提高谓词公式的表达能力.同时规范汉语词类、语法成分和句子结构到谓词公式组成元素间的对应关系和转换方法,保证谓词公式正确表达语句的语义.利用包含各种词类和短语作语法成分的汉语语句实例进行验证和分析,结果表明,对谓词的扩展和转换过程的规范,提高了谓词公式对汉语语句语义表达的完整和准确性,为更广泛深入地语义分析奠定了基础.     

基于逻辑的行动理论综述

行动理论是人工智能中重要的研究课题,是当前成为研究热点的智能主体和语义Web服务的理论基础.对行动理论的研究现状进行了总结.首先从采用的逻辑语言的角度将行动理论分为3类:基于谓词逻辑的行动理论、采用命题语言的行动理论、以及基于描述逻辑的行动理论;分别以情景演算、基于命题动态逻辑的行动理论和动态描述逻辑为例,对每种类型的行动理论进行了介绍,阐述了各类行动理论的特点.接下来对目前行动理论中存在的问题进行了分析,在此基础上提出了行动理论研究目前面临的若干挑战和机遇.     

“存在”是否谓词浅析

"存在是不是谓词"的争论由来已久,主要集中于三种结论:一是以弗雷格、罗素等逻辑学家为代表,认为"存在"不是谓词,而是量词。二是皮尔士等人结合精致的自然语言分析,认为"存在"在某些特殊情况下可以充当逻辑谓词,因此它是一种特殊的谓词。三是自由逻辑学家认为"存在"是谓词。     

“存在”是否谓词浅析

＂存在是不是谓词＂的争论由来已久,主要集中于三种结论：一是以弗雷格、罗素等逻辑学家为代表,认为＂存在＂不是谓词,而是量词。二是皮尔士等人结合精致的自然语言分析,认为＂存在＂在某些特殊情况下可以充当逻辑谓词,因此它是一种特殊的谓词。三是自由逻辑学家认为＂存在＂是谓词。     

基于谓词逻辑和约束网络结构的遗传编程方法

提出了一种新的谓词型遗传编程方法，该方法包括；待求解问题论域的函数空间约束，遗传算子的谓词逻辑表达，谓词结构推理下数值参数空间的混沌式遍历及发生机制以及非线性方式下自适应进化和非监督学习的综合。整个过程是在约束网络的基础上的以谓词逻辑表达机制为核心实现的函数结点集合约束下的数值型进化计算过程。     

PCB工艺规则表示方法

利用谓词逻辑能表示确定性知识与模糊逻辑中隶属函数能表示不确定性知识的特点,提出了一种新的谓词隶属逻辑表示法,即通过隶属函数的谓词逻辑对二值和多值逻辑规则进行归一化表示,得到了印制电路板(PCB)规则工艺知识库,实现了基于该方法的知识推理,为后续实现PCB的智能审查提供了审查依据及数据支持.     

信任谓词的计算语义

讨论逻辑系统中信任谓词的计算语义以及表述信任谓词基本性质的若干公理。首先指出计算的协议组合逻辑在讨论信任关系方面可能存在证明过程与挖掘内在信任关系方面的缺陷;扩展谓词演算系统形成基本协议逻辑并为其添加计算语义以便用于描述安全协议;最后从信任关系的本质含义出发,在基本协议逻辑系统中严格定义信任谓词的计算语义,并通过讨论若干公理反映信任谓词的基本性质。     

PHVB：基于GEP的一阶谓词逻辑规则挖掘算法

为了有效挖掘一阶谓词逻辑规则,提出了一种基于基因表达式编程(GEP)技术的挖掘算法:PHVB算法.提出了规范一阶谓词规则概念;设计了量词隐含、变元绑定策略,将一阶谓词规则挖掘问题转化为GEP算法能够解决的形式;提出了基于GEP的一阶谓词逻辑规则挖掘算法PHVB算法.实验结果表明,采用PHVB算法可以有效发现一阶谓词关联规则.     

一种基于谓词逻辑的分类规则约简方法

利用各种分类规则挖掘方法,提取出的分类规则集中,存在许多的冗余规则,从而降低了分类效率。采用谓词公式描述分类规则,给出了一种分类规则集约简方法。该方法利用谓词公式中的逻辑推理,对分类规则集进行约简,消除了冗余规则。采用恒星光谱数据,实验验证该方法在保证分类规则集的分类能力不变的前提下,有效地提高了分类的效率。     

论逻辑语言的现代化转向

传统的逻辑语言具有缺乏一致性、准确性和全面性的特点,因而在应用中受到较大的局限。而现代化的逻辑语言不仅对语言内容与语言形式作出区分,还对对象语言与元语言,以及语法学、语义学、语用学等语言层次上作出区分。因此,对逻辑语言的现代化转向的重新追溯和审视,将使人们更易于理解现代逻辑语言与传统逻辑语言的差异,并且对于逻辑学的发展和应用具有深远的理论意义和实践意义。     

支持空间推理的模糊描述逻辑Fuzzy-ALCRP(D)

描述逻辑ALCRP(D)在经典描述逻辑ALC的基础上添加具体域和角色构成谓词算子,用于确定性空间的推理,但不能用于模糊空间的推理.通过以描述逻辑ALCRP(D)的模糊扩展为例,构建出模糊描述逻辑Fuzzy-ALCRP (D),给出Fuzzy-ALCRP (D)的Tableau判定算法,并给出一个Fuzzy-ALCRP (D)在模糊RCC8空间中的推理实例.     

基于逻辑的数据模型中非递归规则的求值

基于关系数据库的知识库实现方法中，使用谓词逻辑的知识表示是一种良好的方法。本文讨论了一个实际的知识构造模型ＢＡＮＫＬＯＧ中非递归规则的求值解法。     

管理信息本体需求中间件平台模型

为彻底解决在Internet环境下因管理信息本体需求更为多样、动态和不确定所导致的管理信息系统开发成本高、效率低、周期长等问题,运用集合空间运算和数理逻辑推导的方法,给出了管理信息系统“知识-表-谓词”三元组构架,将管理信息本体需求中的功能和业务相分离,建立了一套针对管理需求的语义描述体系和语用实现机制,通过有限的谓词演算序列对管理信息系统状态集进行推演,达到用户满意的程度.该语义描述体系和谓词演算有限集基于二维关系表集,与具体的领域业务无关.     

A strong completeness theorem in intuitionistic quantified modal logic

Based on the intuitionistic first order predicate calculus H given by Thomason with the modal machinery of MIPC put forward by Prior this paper obtains the intuitionistic quantified modal logic system MIPC* , gives it a semantic interpretation and proves its strong (thus also weak) completeness theorem and soundness theorem with respect to that semantic. Since Zom lemma plays a decisive role in our discussion, methodologically, it was even farther from the intuitionistic point of view than Thomason's result.     

一种逆归结学习表示

针对动态模糊性问题,利用动态模糊逻辑,采用“自下而上”的设计原则,提出1种基于动态模糊逻辑的逆归结学习方法,该方法利用动态模糊谓词逻辑来描述学习问题,通过学习算法计算出问题的假设。通过实例验证了算法的有效性,同时找到了一种从一般到特殊的认知规律的表示方法。