人工智能中的知识表示方法

人工智能中的知识表示方法
1.一阶谓词逻辑表示方法
2.产生式表示方法
3.语义网络表示方法
4.框架表示方法、
5.过程表示方法
除了以上五种表示方法，比较常用的还有以下几种表示方法：6.面向对象表示方法：
对象是有一组数据和该数据相关的操作构成的实体。

类由一组变量和一组操作组成，它描述了一组具有相同属性和操作的对象。

每个对象都属于某一个类，每个对象都可由相关的类生成，类的生成过程就是例化。

面向对象的基本特征主要体现在模块性、封装性、继承性、多态性、易维护性等。

7.状态空间表示方法：
状态空间表示法是以状态和运算符为基础来表示和求解问题的一种方法。

（1）状态
描述问题求解过程中任一时刻状况的数据结构，一般用一组变量的有序组合表示。

（2）算符
引起状态中某些分量发生变化，从而使问题由一个状态变为另一个状态的操作称为算符。

（3）状态空间
由问题的全部状态以及一切可用算符所构成的集合称为问题的状态空间。

空间状态表示方法的应用举例：
猴子与香蕉的问题
状态空间表示用四元组（W，x,y,z）其中：W-猴子的水平问题；x-当猴子在箱子顶上时取x=1；否则x=0；y-箱子的水平位置；z-当猴子摘到香蕉时取1，否则取0。

算符
（1）g oto(U)猴子走到水平位置U；
（2）p ushbox(V)猴子把箱子推到水平位置V；
（3）c limbbox猴子爬上箱顶；
（4）g rasp猴子摘到香蕉。

求解过程令初始状态为（a,0,b,0）。

这时，goto(U)是唯一使用的操作，并导致下一状态（U，0，b，0）。

现在有三个适用的操作，若把所有适用操作继续应用于每个状态，就能得到状态空间图。

8.问题归约表示法：
问题归约法的基本思想是从目标出发进行逆向推理，通过一系列变换把初始问题变换为子问题集合和子-子问题集合，直至最后归约为一个平凡的本原问题集合。

采用问题归约表示可由下列3部分组成：
一个初始问题的描述；
一套把问题变换为子问题的操作符；
一套本原问题描述。

问题有三个柱子（1,2,3）和三个不同尺寸的圆盘（A,B,C）。

最初，全部的圆盘堆在柱子1上，大的在最底层。

要求把所有圆盘都移到3上，每次只移动一个，不允许把尺寸大的放在小的上面。

归约过程
（1）移动圆盘A和B至柱子2的双圆盘难题；
（2）移动圆盘C至柱子3的单圆盘难题；
（3）移动圆盘A和B至柱子3的双圆盘难题。

原始问题被简化了，所以问题都会变成易解的本原问题。