第二讲 产式系统(约3~4学时)2.docVIP

第二讲 产生式系统 2.2.1 产生式系统 1．序 1943年，Post首先提出了产生式系统。到目前为止，人工智能（AI）领域中的产生式系统，无论在理论上还是在应用上都经历了很大发展，所以现今AI中的产生式系统已与1943年Post提出的产生式系统有很大不同。 因果关系 自然界各个知识元（事实，断言，证据，命题，?）之间存在着大量的因果关系，或者说前提和结论关系，用产生式（或称规则）表示这些关系是非常方便的： “模式——动作”对偶 “条件——结论”对偶 产生式系统 把一组领域相关的产生式（或称规则）放在一起，让它们互相配合、协同动作，一个产生式生成的结论一般可供另一个（或一些）产生式作为前提或前提的一部分来使用，以这种方式求得问题之解决，这样的一组产生式被称为产生式系统。 例如: IF A THEN B ; IF B and C THEN X 产生式系统的历史 a. 1943年，Post第一个提出产生式系统并把它用作计算手段。其目的是构造一种形式化的计算工具，并证明了它与图灵机具有同样的计算能力。 b. 1950年，Markov提出了一种匹配算法，利用一组确定的规则不断置换字符串中的子串从而把它改造成一个新的字符串，其思想与Post类似。 c. （大约在）1950年，Chomsky为研究自然语言结构提出了文法分层概念，每层文法有一种特定的“重写规