第6章基于产生式规则的机器推理 课程.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→断言/动作 即前件是若干与关系的条件, 后件仅有一个断言或动作。 　　对规则作进一步细化。其条件、断言和动作都应该是陈述句。所以, 它们可以用n元谓词(或子句)形式表示, 或者用n元组的形式表示, 如“对象-属性-值”三元组,“属性-值”二元组,或仅有“值”(符号、字符串或数值)的一元组等, 而且谓词和元组中的项可以是常量、变量或复合项。 当然, 对于条件还可以用通常的关系式表示。如果规则解释程序(即推理机)不能直接支持上述的谓词或元组表示形式, 那么,可用通常的记录、数组、结构、函数等数据结构来实现规则中的条件和断言, 用通常的赋值式、运算式、函数、过程等形式实现规则中的动作。 　　至于规则的语言表示是否一定要有“IF-THEN”, 或者“AND”、 “OR”等连接符, 这倒不一定。 但原则是, 在程序执行时必须能体现出规则前提和结论的对应关系, 必须能体现出前提和结论中的逻辑关系。 例如, 我们完全可以用一个二元组 (〈前件〉, 〈后件〉) 表示一个产生式规则。 　　上面我们给出了产生式规则在程序中的具体表示方法。 但必须指出的是, 产生式规则的程序语言形式与规则的解释程序(即推理机)密切相关。 就是说, 规则的解释程序与规则的语言形式必须是相符的、一致的。所以,一般不能单方面地孤立地谈论规则的语言表示形式, 而要与解释程序统一考虑。 这样, 就有两种情况：一种是先确定规则的语言表示形式, 再根据规则形式设计规则解释程序(推理机)；另一种是对已有的解释程序(推理机), 设计规则表示形式(当然只能采用推理机所约定的规则形式)。 　　例如, 在PROLOG程序中要表示产生式规则, 至少有两种形式：  (1) 用PROLOG的规则表示产生式规则。 (2) 用PROLOG的事实表示产生式规则。  　 对这两种表示, 对应的推理机是不一样的。若用方法(1), 则一般就不必编写显式的推理机程序, 因为对于这种形式的规则, PROLOG语言的翻译程序就是它的推理机。但若用方法(2), 则就必须用PROLOG语言编写显式的推理机程序。 　　例6.3　把6.2节例6.1中给出的产生式规则用PROLOG的规则可表示如下： animal_is(″老虎″):- it_is(″食肉动物″), fact(″黄褐色″), fact(″有黑色条纹″). it_is(″食肉动物″):-it_is1(″哺乳动物″), fact(″有爪″), fact(″有犬齿″), 　　　　　　 fact(″目盯前方″). 　　it_is(″食肉动物″):-it_is1(″哺乳动物″), 　fact(″吃肉″). it_is1(″哺乳动物″):-fact(″有奶″). it_is1(″哺乳动物″):-fact(″有毛发″). 对于这种规则表示形式, 可以不用再编写推理机程序, 而可直接利用PROLOG自身的推理机,进行推理。例如,当再给出如下的事实：