人工智能知识表示2产生式表示法.pptVIP

专一性排序规则1：问：该动物有奶吗？是。结论：这种动物为哺乳动物。规则2：问：该动物有奶吗？是。问：有蹄吗？是。结论：这种动物为有蹄动物。反例补充数据库:该动物有羽毛。规则：如果该动物会飞，并且会下蛋，那么，该动物是鸟。四、产生式系统的推理方式四、产生式系统的推理方式正向推理逆向推理双向推理例1：（Mammal?x）∧(Eat?xMeat)IF(MammalDog)(EatDogMeat)??(Carnivore?x)THEN(CarnivoreDog)例2：文法分析问题（正向推理）一组重写规则作为产生式规则：

N??NP/名词就是名词词组；

DETNP??NP/冠词加名词词组还是名词词组；

PNP??PP/介词加名词词组构成介词词组；

NPPP??NP/名词词组后跟介词词组仍是名词词组；VNPPP??VP/动词词组后跟名词词组和介词词组构成谓语；

NPVP??S/名词词组与谓语一起构成句子；作文法分析的句子是：

theboyplaysfootballintheplace.

将该句子的所有单词先替换为语法词汇：

DETNVNPDETN作进一步的替代为：

NPVNPPP通过激活规则去进行符号重写：

NPVP最后，综合数据库只剩下符号S（指示合法句），文法分析成功结束。例3：区分动物（逆向推理）机器人去逛动物园，为帮助它区分其中的七种动物，给它存入了如下几条产生式规则：p1：若动物有毛发，则它是哺乳动物；p2：若动物有奶，则它是哺乳动物；p3：若动物有羽毛，则它是鸟类；p4：若动物会飞且生蛋，则它是鸟类；p5：若动物是哺乳动物且吃肉，则它是食肉动物；p6：若动物是哺乳动物且有犬齿，有爪，眼睛紧盯着前方，则它是食肉动物；p7：若动物是哺乳动物且反刍食物，则它是蹄类且是偶蹄动物；p8：若动物是哺乳类且有蹄，则它是有蹄类；1p9：若动物是食肉类，黄褐色，有黑的斑点，则它是一只金钱豹；2p10：若动物是食肉类，黄褐色，有黑色条纹，则它是老虎；3p11：若动物是有蹄类，长腿，长脖子，有黄褐色暗斑点，则它是长颈鹿；4p12：若动物是有蹄类，白色有黑条纹，则它是斑马；5p13：若动物是鸟，不会飞，长腿，长脖子，黑、白色，则它是驼鸟；6p14：若动物是鸟，不会飞，会游泳，黑、白色，则它是企鹅；7p15：若动物是鸟，善飞，则它是信天翁。8判断金钱豹的推理树p8：若动物是哺乳类且有蹄，则它是有蹄类；1p9：若动物是食肉类，黄褐色，有黑的斑点，则它是一只金钱豹；2p10：若动物是食肉类，黄褐色，有黑色条纹，则它是老虎；3p11：若动物是有蹄类，长腿，长脖子，有黄褐色暗斑点，则它是长颈鹿；4p12：若动物是有蹄类，白色有黑条纹，则它是斑马；5p13：若动物是鸟，不会飞，长腿，长脖子，黑、白色，则它是驼鸟；6p14：若动物是鸟，不会飞，会游泳，黑、白色，则它是企鹅；7p15：若动物是鸟，善飞，则它是信天翁。8p8：若动物是哺乳类且有蹄，则它是有蹄类；p9：若动物是食肉类，黄褐色，有黑的斑点，则它是一只金钱豹；p10：若动物是食肉类，黄褐色，有黑色条纹，则它是老虎；p11：若动物是有蹄类，长腿，长脖子，有黄褐色暗斑点，则它是长颈鹿；p12：若动物是有蹄类，白色有黑条纹，则它是斑马；p13：若动物是鸟，不会飞，长腿，长脖子，黑、白色，则它是驼鸟；p14：若动物是鸟，不会飞，会游泳，黑、白色，则它是企鹅；p15：若动物是鸟，善飞，则它是信天翁。哺乳、有蹄是中间结果网络中标识出逻辑关系合取与析取小结产生式由前项P和后项R两部分组成P?R产生式的表示可用谓词逻辑、符号和语言的形式表示事实及规则。谓词表示：1)MAN(ZHAOLING)真值T/F2)?WOMAN(ZHAOLING)真值T/F3)FLY(X)∧（EGG(X)→IS(X,BIRD)IF动物会飞AND会下蛋THEN该动物可能是鸟。产生式与蕴涵式产生式的特殊形式为蕴涵。—表示不精确知识/精确知识—进行不精确匹配/精确匹配—无真值/有真值T/F产生式应用实例PART1例1传教士与野人问题有N个传教士和N个野人要过河。约束条件:现在有一条船只能承载K个人（包括野人和传教士），KN。在任何时刻，如果有野人和传教士在一起（包括岸上与船上），必须要求传教士