Tuili(推理)语言的编译方法与实现技术

通用交互式逻辑推理语言Tuili是能够进行不同方向并能选择不同搜索策略进行推理的人工智能语言,特别适合快速建造专家系统或基于知识的系统。它的实现将使这一新颖的推理语言的应用成为可能。本文给出作者已经实现的一个Tuili系统中用到的编译方法和主要的实现技术。     

Tuili实现系统中的多推理机结构

在逻辑型知识推理语言Tuili的实现中,基本核心是构造不同推能力的多个推理机并使之协同工作.针对这一问题,本文提出了实用的构造多推理机的方法和策略,并给出实现推理机的主要算法.     

知识程序设计语言的研究

本文提出了知识程序设计语言概念,即有实际效率能进行知识推理的知识表示语言,它有统一的逻辑基础又有当前若干有代表性人工智能语言的本质特征。本文还给出一种知识程序设计语言的有关研究内容和实际取得的进展。     

Goedel语言类型系统

Goedel语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑，引入了一个多态多类的类型系统和多种新的语言成分，支持抽象数据类型和模块化程序设计等技术，语言本身也具有很强的说明性语义。详细介绍了Goedel语言的类型系统及其构造，对在逻辑程序设计语言中引入类型系统的作用进行了一些深入的分析和讨论。     

Gdel语言类型系统

Gdel语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑,引入了一个多态多类的类型系统和多种新的语言成分,支持抽象数据类型和模块化程序设计等技术,语言本身也具有很强的说明性语义。详细介绍了Gdel语言的类型系统及其构造,对在逻辑程序设计语言中引入类型系统的作用进行了一些深入的分析和讨论。     

“人工智能及其工程应用”讲座：第二讲 人工智能中的逻辑表达方式

数理逻辑,又称"符号逻辑",是数学的一门分科,主要研究推理、计算等逻辑问题。它按一定的方式,将问题形式化,然后根据事实进行推理演算,得到新的结论。它是人工智能领域中最早表达人的知识的一种方法,在知识表达上具有精确性(模糊逻辑例外)和模块性的优点,并具有一般的推理方法,通用性强;但对有些知识表达比较繁琐,且难以引入启发式知识,推理效率较低,目前只用于小型的知识库中。本文拟就知识中的逻辑、不精确性、主观性和与时性等特性,分别介绍人工智能领域中常见的谓词逻辑、多值逻辑、模糊逻辑、模态逻辑和时序逻辑的基本概念,以及它们在知识表达与使用方面的特点。     

F-SHIQ公理体系及其OWL扩展

随着计算机和Internet的快速发展,语义网和描述逻辑在人工智能等领域扮演着越来越重要的角色。但在日常生活中,越来越多不确定的、不完整的知识需要解决,而现存的OWL只能表述确定的完整的概念和关系。为了能够表示和推理模糊知识,给出了一个基于描述逻辑SHIQ的全新的模糊描述逻辑公理体系——F-SHIQ公理体系,并以此公理体系为基础,扩展了OWL本体语言,能够描述和推理模糊知识。该文首先给出了系统详细的定义、公理、定理以及定理的证明;然后详述了如何用FSRL,即基于F-SHIQ的OWL扩展,来表示和推理模糊信息;最后通过一个例子来检验扩展语言的应用效果。     

Gödel语言类型系统

G(o)del语言是一种说明性逻辑程序设计语言.该语言基于一阶逻辑,引入了一个多态多类的类型系统和多种新的语言成分,支持抽象数据类型和模块化程序设计等技术,语言本身也具有很强的说明性语义.详细介绍了G(o)del语言的类型系统及其构造,对在逻辑程序设计语言中引入类型系统的作用进行了一些深入的分析和讨论.     

G(o)del语言类型系统

G(o)del语言是一种说明性逻辑程序设计语言.该语言基于一阶逻辑,引入了一个多态多类的类型系统和多种新的语言成分,支持抽象数据类型和模块化程序设计等技术,语言本身也具有很强的说明性语义.详细介绍了G(o)del语言的类型系统及其构造,对在逻辑程序设计语言中引入类型系统的作用进行了一些深入的分析和讨论.     

一个基于规则的CAD演绎数据库逻辑语言

传统的工程数据库系统缺乏说明性语义,使用困难,难以描述设计中大量存在的复杂设计约束,不能表示和处理知识。为了解决这些问题,本文试图将演绎数据库技术引入到工程数据的管理和处理中。本文探讨了工程信息的逻辑表示,描述了一种基于规则的逻辑语言,它能方便地表示和处理复杂对象和工程知识,并能有效地表示和验证语义约束条件。基于这种语言的一个CAD演绎数据库管理系统DEDBMS正在实现中。     

基于事例的推理(CBR)研究综述

基于事例的推理(CBR)作为一种增量式的学习方法,规避了传统人工智能在知识获取上的瓶颈问题,逐渐引起人工智能领域研究者的关注。对基于事例的推理(CBR)现有研究工作进行逻辑上的梳理和系统的总结,有助于今后研究工作的开展,具有深远的理论意义。该文首次提出基于事例的推理(CBR)研究的逻辑体系结构,并在此逻辑分析的基础上,从基本理论、关键技术和实践应用三方面进行了综述,对其中关键、通用的方法和技术进行了比较和评价。最后,对未来的研究方向进行了展望。     

城市污水处理异常工况判断及操作指导专家系统

本文介绍的ＳＴＦＥＳ（ＳｅｗａｇｅＴｒｅａｔｍｅｎｔＦｕｚｚｙＳｙｓｔｅｍ）是针对目前国内外广泛采用的污水生物处理法—标准活性污泥处理工艺为背景，设计研制的一种城市污水处理异常工况判断及操作指导专家系统。它首次将人工智能技术应用于污水处理工艺领域。通过对大量领域专家知识（理论、方法、经验等）的分析和研究，提出了一种基于模糊集理论的模糊语言逻辑的知识表达方法．ＳＴＦＥＳ的模糊知识库和模糊推理模型对一类专家系统问题具有普遍意义，较为成功地模拟了领域专家的不确性推理过程。     

并发约束程序设计语言COPS及其执行模型

约束程序设计尤其是约束逻辑程序设计与并发约束程序设计在AI程序设计领域占据着越来越重要的位置。传统逻辑程序设计的基“计算即为定理证明”的计算风格虽获得了简洁优美的操作语义特性,但也付出了执行效率低的代价,当应用系统规模增大时,其性能严重下降以致崩溃。针对传统逻辑程序设计的这种可伸缩性问题,设计了一个基于并发约束程序设计概念的说明性语言COPS,旨在从语言设计与执行模型两方面降低说明性程序的不确定性,提高搜索与运行效率。在语言设计方面,通过引入确定性语言成分,避免不确定计算用于确定性目标所浪费的系统开销;在执行模型方面,在目标的并发穿叉执行与数据驱动的并发同步机制的基础上,实现“优先执行确定目标”策略与“最少假定”策略,作为约束传播的延伸,最大幅度地剪枝搜索空间,降低搜索复杂性。COPS提供的知识表示、推理与并发机制使其成为构造agent程序的理想语言。论文给出COPS语言的语法规范与执行模型的操作语义描述。     

法律领域的专家系统

法律推理和人工智能的研究目前在国外(特别是在美、英)越来越受到重视。法律推理比医疗诊断、探矿分析更复杂,存在着“开放结构”,并广泛地用到常识性知识,以及会受到社会道德、政策的影响等等。因此,基于知识的法律推理系统的研制具有一定的难度。本文从分析法律知识的特点出发,重点分析了R.E.Susskind 的基于规则的推理模型和A.Gardner 设计的基于判例的合同法分析系统,目的是向国内计算机和法律工作者介绍一个正在逐步受到重视的研究领域——“法律推理和人工智能”。     

约束程序设计语言COPS的设计与实现

约束程序设计作为面向智能应用的实用型程序设计风格正在AI领域产生越来越大的影响，其关键问题是如何将说明性的知识表示、系统化和启发式的推理搜索能力以及合理的确定性计算开销统一起来。该文介绍了设计实现的并发约束程序设计语言COPS。COPS系统的主要目标是探索智能语言的实用化与工程化，使其能够真正解决现实世界中用常规语言难以实现的智能应用问题。还介绍了COPS语言的表示及涉及的主要推理技术。     

知识库系统的逻辑基础

知识库系统以人工智能为基础结合数据库成为当代社会的一门新兴学科,它的核心是知识库,性能则取决于知识库中知识的质量(有效性、完备性、一致性、结构性)和使用知识的方式(推理),而推理算法是建立在逻辑基础之上的,着重论述了建立知识库的描述逻辑基础,以及对描述逻辑存在的不足之处进行了探讨。     

缺陷诊断专家系统的知识表达与推理技术

针对航空铝镁铸件缺陷分析的实际问题,基于规则的知识表达方式,运用正反向混合推理控制策略及确定性理论来处理知识的不确定性问题。采用TurboProlog人工智能语言,开发了铸件缺陷诊断专家系统软件。该文重点介绍了系统软件设计的知识表达、推理技术及系统软件的组成与功能。     

可解释的知识图谱推理方法综述

近年来,以深度学习模型为基础的人工智能研究不断取得突破性进展,但其大多具有黑盒性,不利于人类认知推理过程,导致高性能的复杂算法、模型及系统普遍缺乏决策的透明度和可解释性。在国防、医疗、网络与信息安全等对可解释性要求严格的关键领域,推理方法的不可解释性对推理结果及相关回溯造成较大影响,因此,需要将可解释性融入这些算法和系统中,通过显式的可解释知识推理辅助相关预测任务,形成一个可靠的行为解释机制。知识图谱作为最新的知识表达方式之一,通过对语义网络进行建模,以结构化的形式描述客观世界中实体及关系,被广泛应用于知识推理。基于知识图谱的知识推理在离散符号表示的基础上,通过推理路径、逻辑规则等辅助手段,对推理过程进行解释,为实现可解释人工智能提供重要途径。针对可解释知识图谱推理这一领域进行了全面的综述。阐述了可解释人工智能和知识推理相关概念。详细介绍近年来可解释知识图谱推理方法的最新研究进展,从人工智能的3个研究范式角度出发,总结了不同的知识图谱推理方法。提出对可解释的知识图谱推理研究前景和未来研究方向。     

G觟del语言的说明性语义简述

Godel语言是在Prolog语言基础上发展而来的一种新型逻辑程序设计语言。本文基于类型一阶谓词逻辑的模型论,阐明了Godel语言的说明性语义,为该语言的实现模型奠定了一定的理论基础。     

Godel语言的说明性语义简述

Godel语言是在Prolog语言基础上发展而来的一种新型逻辑程序设计语言。本文基于类型一阶谓词逻辑的模型论,阐明了Godel语言的说明性语义,为该语言的实现模型奠定了一定的理论基础。