人工智能课件小结与练习.ppt

人工智能课件小结与练习.ppt第2章 知识表示
小结与练****br/> 概 述
谓词逻辑表示法
产生式表示法
框架表示法
语义网络表示法
面向对象表示法
Date
智能信息处理联合实验室
小结
本章的重要知识点可以归纳如下：
知识表示
知识和知识表示的基本概念与特性
知识表示
的基本方法
一阶谓词逻辑表示法
产生式表示法
语义网络表示法
框架表示法
面向对象的表示法
2021/1/26
智能信息处理联合实验室
知识是有关信息关联在一起形成的信息结构，具有相对正确性、不确定性、可表示性和可利用性等特点。
对知识的表示可以分为符号表示法和连接机制表示法。
本章讨论的都是面向符号的知识表示方法，在这些表示法中，谓词逻辑和产生式表示法属于非结构化的知识表示范畴；框架表示、语义网络和面向对象表示法属于结构化的知识表示范畴。
小结
Date
智能信息处理联合实验室
目前的知识表示一般都是从具体应用中提出的，后来虽不断发展变化，但是仍然偏重于实际应用，缺乏严格的知识表示理论。而且，由于这些知识表示方法面向领域知识的，对于常识性知识的表示仍没有取得大的进展，是一个丞待解决的问题。
小结
Date
智能信息处理联合实验室
为了能够表达更多的信息，在谓词逻辑中已经引入了全称量词和存在量词，但仍然有一些类型的语句无法表达，如“大多数同学得了A”。在这个语句中，量词“大多数”无法用存在量词和全称量词表达。
为了表达“大多数”，一种逻辑必须提供一些用于计算这些概念的谓词，比如模糊逻辑等。另外，谓词逻辑难于表达一些有时真但并非总真的事情，这个问题也可以通过模糊逻辑来解决。
小结
Date
智能信息处理联合实验室
小结
本章还介绍了知识表示的其他方法——产生式系统、框架、语义网络和面向对象表示，前三种知识表示都是以一阶逻辑表示为基础的，它们都可以转变为等价的一阶逻辑表示。
所以逻辑是知识表示的基本手段，构成了人工智能研究的基础。
Date
智能信息处理联合实验室
框架系统和语义网络是人工智能中最常用的两种结构化知识表示方法，而面向对象的表示方法是很有发展前途的结构化知识表示方法。
小结
Date
智能信息处理联合实验室
练****br/>例1 化下述自然数公理为公式：
（1）每个数都存在一个且仅存在一个直接后继数。
（2）每个数都不以0为直接后继数。
（3）每个不同于0的数都存在一个且仅存在一个直接前启数。
Date
智能信息处理联合实验室
练****br/>解：首先定义谓词和函数：
设函数f(x)和g(x)分别表示x的直接后继数和x得直接前启数，谓词E(x,y)表示”x等于y”.那么，上述公理课表示为：
Date
智能信息处理联合实验室
作业1：用谓词公式表示下列规则性知识：
自然数都是大于零的整数。
任何人都会死的。
[解] 定义谓词如下:
N(x): “x是自然数”, I(x): “x是整数”, L(x): “x大于0”, D(x): “x会死的”, M(x): “x是人”,则上述知识可用谓词分别表示为:
Date
智能信息处理联合实验室