人工智能.doc

文档介绍：:..:要证上述式子,则只要证证明:::要证上述式子,则只要证证明::?什么是合一?什么是最一般合一?答:替换在表达式用置换项替换变量合一–个替换S作用于表达式集{E1}中时,使表达式E1S=E2S=E3S=…,则称S为表达式集{E1}的合一同时称{E1}是可合一的。存在一个替换S1=[B/y]就能得到一个合一的表达式,称S1为最一般合一[MostGeneralUnification],,求C1,C2的归结式 ,G是否可肯定是F,F1,F2…的逻辑结论证明:要证明G是F1,F2的结论,:(1)凡是清洁的东西就有人喜欢;(2)人们都不喜欢苍蝇;试证明:苍蝇是不清洁的解::–1)如果x是y的父亲,y又是z的父亲,则x是z的祖父