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

维普资讯

人“工智能及其工程应用”讲座

第二讲人工智能中的逻辑表达方式

上海交通大学钱大群吴智铭

●

数理逻辑，又称。符号逻辑，是数学的一门分稃，主PRESSURE(马，)ANE(P，P2)^T

要研究推理、计算等逻辑问题。它按一定的方式，将问EMPERATURE(X】)

题形式化，然后根据事实进行推理演算，得至新的结论。{CHANGE(r)

它是人工智能领域中最早表达人的知识的一种方法，在这里，REACTOR、REGENERATOR、PRESSU

知识表达上具有精确性(模}蛳星辑倒外)和模块性的优肛、TEMPFRATURE、NE和CHANGE都是谓

点，并具有一般的推理方法，通用性强；但对有些知识表词命名式，五、、P1、P2、r是个体变元，REACTOR

达比较繁琐，且难以目八【启发式知识，推理效率较低，目(X0表示X‘1是反应器，REGENERATOR(而j表

前只用于小型的知识库中。示墨是再生器，PRESSURE(只，X1)表示只是

本文拟就知识中的逻辑不精确性、主观性和与时五的压力。，NE(P1，马)表示P1与马的差值太于

性等特性，分别介绍人工智能领域中常见的谓词逻辑、某一阈值TEMPERATURE(0表示“r是

多值逻辑、模糊逻辑、模杰逻辑和时序逻辑的基本概念，五的温度，CHANGE(T)表示r变化。

以及它们在帮谤亵达与使用方面的特点。在谓词演算中，人们采用称为约束满足问题算法，

确定公式中的各个个体变元的职值范围，以及采用归结

一、谓词逻辑原理等推理策略进行推理，详见文献[1，2]。

目前已有化学、机器人、难题求解和自动程序设计

谓词逻辑是数理逻辑的基本组成部分，它通常采用的通用系统QA8、机器人规划系统STRIPS、及证

由谓词、个体联结词和量词组成的公式表示语句的内明系统FOL等系统采用了谓茄逻辑

部结构(主语与谓语、全体与部分)和知识的逻辑性。

所谓个体是指可以独立存在的物体，如仪表、“流二、多值逻辑与模糊逻辑

量等。谓词是用来刻划个体的性质或个体间的关系。

如语句啦铡仪表安装在管道上这里，谓词表示××由于客观事物的复杂性和人的主观认识能力舶局

安装在××之上这个关系，而两个个体分别是测仪限性，知识往往带有不精确性。多值逻辑与模糊逻辑都

表与管道，这个谓词刻划了检测仪表与管道的关系。以多值命题表达这种不精确性。

当滑词代八了个体后就是一个具有真假值的命题。一多值逻辑是以多值(多于二值)表达命题的值。铡

个谓词可联系不同的个体而构成不同的命题。个体如，在Kleens的三值逻辑中，命题具有三个值：c(真)、

的变化范围祢为个体域，以某个个体域为变域的变元f根)、11f未定J，联结符V、^、r、与^的性质分别

称为个体变元。带有个体变元的谓词称为谓词命名式，为：

谓词命名式与个体变元通常用符号表示。由联结词V

(或)^(与)、-I(非)、串(蕴涵)、三(等价)、段及量词VAAB

(全称量词)、丑(存在量词)可以将各个谓词命名式联

结起来，表迭^的知识。侧如语句反应器压力与再生器

压力的差值大于某一阈值时，反应器温度变化可表