基于产生式规则的机器推理.ppt

6.2.4　程序实现 　　1. 产生式规则的程序语言实现 上面我们对产生式的讨论, 只是用自然语言进行描述并仅在概念层次上进行阐述, 而并未涉及它的具体结构和程序语言实现问题。 现在讨论产生式规则的程序语言实现问题。 首先, 讨论产生式规则的结构问题。一般来讲, 产生式规则的前提和结论部分可以是一个复杂的逻辑表达式, 但为了使表达简单规范, 且便于推理, 在实践中人们往往把规则的前提部分作成形如 　　　　　条件1 AND 条件2 AND … AND 条件n 或 条件1 OR 条件2 OR … OR 条件m 的形式(其中的条件可以带否定词)；把规则结论部分作成形如 断言1/动作1 AND 断言2/动作2 AND … AND 断言k/动作k 或 断言1/动作1 OR 断言2/动作2 OR … OR 断言k/动作k 的形式,或者进一步简化成 断言/动作 即仅有一项的形式。 　　由于含OR关系的规则也可以分解为几个不含OR关系的规则, 所以, 产生式规则也可仅取下面的一种形式： 条件1 AND 条件2 AND … AND 条件n→断言/动作 即前件是若干与关系的条件, 后件仅有一个断言或动作。 　　对规则作进一步细化。其条件、断言