人工智能2剖析.ppt

2.1.2 问题归约法 2.1.3 谓词逻辑法 一种形式语言，能够把数学中的逻辑论证符号化。 采用谓词合式公式和一阶谓词演算把要解决的问题变为一个有待证明的问题，然后采用消解定理和消解反演来证明一个新语句是从已知的正确语句导出的，从而证明这个新语句也是正确的。 常与其他方法混合使用，表示比较复杂的问题。 2.1.4 语义网络法 一种结构化表示方法。 由节点和弧线或链线组成。 节点：表示物体、概念和状态。 弧线：表示节点间的关系。 语义网络的解答是一个经过推理和匹配而得到的具有明确结果的新的语义网络。 可表示多元关系，扩展后可表示更复杂的问题。 2.1.5 框架 一种结构化表示方法。 通常由指定事物各个方面的槽组成，每个槽拥有若干个侧面，而每个侧面又拥有若干个值。 大多数实用系统必须同时使用许多框架，可联成一个框架系统。 剧本是框架的一种特殊形式，使用一组槽来描述事件的发生序列，特别适用于描述顺序性动作或事件。 2.1.6 过程 一种知识的过程式表示方法。 将某一有关问题领域知识与这些使用方法一起，隐式地表示为一个问题求解过程。 用程序来描述问题，具有很高的问题求解效率。 由于知识隐含在程序中难以操作，适用范围较窄。 2.2 图搜索策略 搜索过程既是一个问题求解的过程。 搜索过程可采用适当的搜索技术，如各种规则、过程和算法等推理技术，力求找到问题的解答。 图搜索策略可看成是一种在图