人工智能——知识表示

1. 状态空间表示

它是以状态和操作符为基础的。从某个初始状态开始，每次增加一个操作符，递增的建立起操作符的实验序列，直到达到目标状态为止。容易出现组合爆炸，适用于表示简单的问题。

一个状态空间图包含：状态节点，弧（表示状态的转移），起始状态集合，目标状态集合。

2.与或图表示

它把初始问题变换成子问题和子子问题的集合。

3．谓词逻辑表示

       它采用谓词合式公式和一阶谓词演算把要解决的问题变为一个有待证明的问题，然后采用消解定理和消解反演来证明一个新语句是从已知的正确语句导出的，从而证明语句是正确的。可以与其他方法混合使用，可以表示比较复杂的问题。

    3.1 命题演算

   （1）命题演算符号包括：

命题符号：P,R,Q,…，表示命题或对世界的陈述，例如“那辆轿车是红色的”

                真值符号：true,faulse

         连词：与∧，或∨，恒等≡，蕴含→，非￢

   （2）命题演算语句：

             命题符号，真值符号，命题演算语句用连词组成的新的语句。

  （3）命题演算语义：

           也就是对语句的解释，即给语句赋值T或F，真值与真值符号不同。

3.2 谓词演算

 （1）谓词逻辑的基本组成部分是谓词符号，变量符号，函数符号，常量符号

              比如要表示“机器人robot在房间r1内”，原子公式为inroom(robot，r1），上式中，robot和r1是常量符号，inroom是谓词符号。一般原子公式由谓词符号和项表示。

              比如plus(two,three)是一个函数，不是一条原子语句。

   （2）谓词演算语句

          每条原子语句都是一条语句，用连词组成的新的语句也是合式语句。“存在X 语句”和“任意X 语句”也是一条语句。

   （3）语义

           把常量指派为论域D中的一个元素；

           把变量指派为D中的一个非空子集；

           把函数指派为D中的一个元素；

           把谓词和语句映射到T,F。

   （4）置换与合一

           置换就是用某个常量或变量或函数置换表达式中的变量；

            合一即寻找对变量的置换使两个表达式一致。

4.     语义网络表示

结构化表示方法，由节点和弧线组成。节点表示物体，概念和状态，弧线表示节点间的关系。

5.     框架表示

6.     本体技术

7.     过程表示