若A是谓词合式公式.ppt

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 合肥工业大学人工智能与数据挖掘研究室 */117 知识及其表示——产生式表示法 产生式是根据串替换规则提出的一种计算模型，其中每一条规则称为一个产生式。一般写成“如果…则…”的形式，即 IF a THEN b 或 a b 其中，a称为前提（条件/前件），b称为结论（行动/后件）。 前提或结论还可以是若干个项目的逻辑与，其一般表示形式为： 　 IF a1 AND a2 AND … an THEN b1, b2,…,bn * 合肥工业大学人工智能与数据挖掘研究室 */117 知识及其表示——产生式表示法 产生式推理系统图 如果一个产生式的前提包含了几个事实，那么它的结论对应着这些事实的合取，如图中的结点A和B；如果同一个结论可以由多个产生式得到，则这个结论对应着这些产生式的析取，如图中的结点D。 * 合肥工业大学人工智能与数据挖掘研究室 */117 知识及其表示——产生式表示法 例：机器人去逛动物园，为帮助它区分其中的七种动物，给它存入了如下几条产生式规则：