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

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

概念知识表示和推理

Nilsson教授首先提出了代数格应用于概念知识表示的思想．其优点在于知识表示的代数特性和图示特性，在此基础上．表文把代数格与PROLOG相结合．定义了一种基于概念的逻辑编程语言．其语言具有比PROLOG更抽象、更方便的编程风格．此外．给出了该逻辑编程语言的匹配算法．     

NDKAS中知识的理论表示方法及其描述语言的设计

知识的理论表示方法是基于属性描述的概念获取系统中一种有效的知识表示方法，它具有层次性，抽象性、模块性和完整性等特点。本文给出了理论表示方法及其描述语言的定义和应用实例。     

基于表示学习的实体对齐方法综述

实体对齐是目前知识融合阶段的主要工作之一，基于表示学习的方法是实体对齐的主要研究方向。首先，通过全面地研究当前代表性的实体对齐技术，总结出这些技术的特征及架构，并提出了一个捕捉这些技术关键特征的框架；然后根据这些技术使用的知识表示模型将其分成2类：基于Trans的技术和基于GNN的技术；给出了2个当前广泛使用的数据集，搭建了11个有代表性的基于TransE的模型和基于GNN的模型，并在DBP15K上的3个跨语言数据集上进行对比实验；评测主流模型和添加属性或字面等不同侧面信息后的模型的对齐效果，为未来大规模单模态乃至多模态知识图谱实体对齐研究提供参考。     

基于框架知识表示的专家系统工具FBEST

本文介绍一个基于框架知识表示的专家系统通用工具FBEST,它以框架为基本单元,将一阶谓词逻辑、过程、语义网络等与框架结合起来,用于描述一个独立概念,概念的属性描述不仅可以是代表属性语义的符号,而且还可以是代表关系的函数或过程,并将一个概念的所有属性集约于同一结构。本文首先介绍FBEST用于描述事实、推理知识、元知识,然后介绍FBEST所提供的推理机制,包括继承性推理、正向推理及问题归约法,最后介绍了FBEST所提供的人机接口。     

基于概率和条件逻辑的PKI信任模型推理

提出一种基于概率和条件谓词逻辑来表示和推导PKI信任模型的方法．该方法用3个二元条件谓词表示不同个体之间的关系,并给出了实体认证规则、信任规则和信任扩展规则，对信任度定义了一个概率模型，该模型能反映约束条件如何影响信任度．概率模型加条件谓词逻辑能够对一个PKI信任模型进行更精确的描述．     

关系数据库中的模糊知识发现

本文提出用部分量词和模糊谓词来表示模糊知识这一方法，在简要介绍数据抽象这一关系数据库中知识发现的方法后，详细描述了该方法中对模糊性问题的处理方法．     

一种吸引分岔知识同模型及其应用实例

本文基于非线性动力学，特别是托姆的形态发生学思想，针对视觉学习，给出了一种吸引分岔知识网模型，用于解决知识表示和获取问题．通过引入皮亚杰发生认识论中的概念，模型拥有的学习功能包括强化、同化、顺应、聚合、分裂和遗忘；这样就给出了一个学习视觉知识的完整方法．３个应用系统的结果表明，该模型及其学习方法，对于解决实际问题，是有效和适用的．     

可能性理论与不相容知识处理

Ｄ．Ｄｕｂｏｉｓ和Ｈ．Ｐｒａｄｅ提出的可能性逻辑是一种基于可能性理论的非经典逻辑，主要和于不确定证据推理。可能性逻辑不同于模糊逻辑，因为模糊逻辑处理非布尔公式，其命题中包模糊谓词，而可能性逻辑处理布尔公式，其中只包含经典命题的和谓词。本文尝试在可能性理论的框架下进行不相容知识库的维护和问题求解。这里的知识表示是基于可能性逻辑的。为此，我们提出了两种不同的方法：第一种方法在计算命题可信度时，要考虑所     

从经典逻辑知识构建ASP知识库的新方法

回答集程序设计(ASP)是一种主流的非单调知识表示工具。为了能够在利用ASP求解问题过程中使用现有的以经典逻辑表示的知识,给出了一种把以谓词逻辑公式表示的约束型知识和定义型知识转化为ASP程序或知识库的新方法,并以实例说明了其有效性。该方法满足转化后ASP程序的回答集与原公式集的模型具有一一对应关系。在实际应用中,该方法提供了一项从现存的以谓词逻辑为表示语言的知识库,构建以ASP为知识表示语言的非单调知识库的技术。     

商业个人贷款审批知识表示及推理

以商业贷款中的个人贷款审核为研究和应用背景,基于语义本体模受,建立商业个人贷款本体,对其结构、概念、概念属性进行了规范的描述.并从个人贷款的领域知识中提取了概念属性的值域公理等内容:总结归纳了个人贷款的业务规则,并定义了相应的逻辑谓词和原子谓词表达式表达,用于个人贷款审批规则的知识表示和推理.解决了个人贷款审批业务领域中的对象和业务规则的标准化表示与推理,为计算机智能审批个贷申请提供异构信息共享和智能推理技术支持.     

一种基于知识的图象信息表示检索系统

给出了一种使用一阶谓词逻辑（Ｐｒｏｌｏｇ语言）为图象内容建模,并结合知识库,实现高效图象检索的方案。基于知识的图象信息表示与检索系统（ＫＩＲＳ）将图象的人工注释、机器自动提取的图象低层信息以及知识库中的知识统一于一致的概念,以知识推理的方式进行检索。     

专家系统技术在多属性决策中的应用

文章介绍了如何把专家系统中的处理技术引入传统的ＭＡＤＭ，将方案的定性属性和决策者的偏好用谓词逻辑和产生式规则进行知识表达，并用定性推理和定量计算相结合的工作方式进行ＭＡＤＭ问题的求解，实现一个基于知识的多属性决策模型。     

概念形成学习系统中数值属性的表示与聚类

本文在对ＣＯＢＷＥＢ、ＣＬＡＳＳＩＴ等概念聚类系统研究的基础上，提出了一种用数值属性的聚类分划来表示数值属性的方法．这种表示的核心是基于数值属性的取值分布．对于在这种表示下数值属性聚类的相关问题及性质，本文进行了较为详细的讨论．在此基础上，本文给出了一个能统一处理数值属性和符号属性的聚类评价函数．一个基于聚类分划表示方法的概念形成学习系统ＣＦＬＳ（ｃｏｎｃｅｐｔｆｏｒｍａｔｉｏｎｌｅａｒｎｉｎｇｓｙｓｔｅｍ）已在微机上实现，并被应用于地质学领域的三叶虫分类问题．本文对ＣＦＬＳ的设计和实现进行了介绍.     

基于OWL的自然灾害领域应急响应知识表示方法

利用语义网中本体和OWL(Ontology Web Language,即网络本体语言)等相关技术,通过一阶谓词逻辑及产生式知识表示方法具体描述地震灾害应急响应,为实现自然灾害领域应急响应的知识表示和共享提供一种参考。     

粗糙集概念与运算的知识粒度表示

探讨了知识粒度的一些重要性质和定理。在此基础上,从知识粒度的角度对粗糙集进行研究,给出了粗糙集中主要概念与运算的知识粒度表示,最后证明了属性约简在知识粒度与代数两种不同表示下是等价的。     

基于语义Web的常用软件领域知识发现系统研究

当前,在语义Web中,基于OWL的知识表示、知识推理成为了研究和应用的热点.给出了常用软件本体的设计方法、规则定义和谓词扩展,并介绍了常用软件领域知识发现系统的总体模型.     

高阶逻辑下知识表示与聚类方法的研究*

针对一阶逻辑在复杂结构数据环境中存在模式搜索空间庞大和不能发明新谓词的缺点,提出了使用类型化的高阶逻辑知识表示语言Escher去表示各种复杂结构的数据,利用其强类型语法有效地约束知识发现过程中模式的搜索空间和高阶的特点去解决新谓词构造的问题。设计了以Escher为基础的复杂结构数据中的知识发现过程和基于复杂结构数据的聚类算法,并以实验验证了其有效性。     

基于形式背景的属性转移与知识发现

概念格理论是一种有效的知识表示与知识发现工具,是知识表示、知识发现和知识获取的基础。利用形式背景信息熵与属性的重要性理论,讨论形式背景的属性知识转移的特点,得到了基于形式背景的属性转移原理,给出形式背景的知识发现与应用。     

基于知识的可重用构件查询系统KCQ

本文提出了一个基于知识的、支持面向对象程序设计方法的软件重用构件查询系统，本系统采用了语义网络知识表示模型，提供了构件知识表示语言ＣＫＲＬ，来描述可重用构件的特征和用于检索的知识．提供了语义网络联想式查询、条件查询和构件评价．