资源描述：
《研究生课程_人工智能原理_期末考试题》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。
1、.....AI往年考试试题解析一、子句集及其化简不包含任何文字的子句称为空子句。由于空子句不含有任何文字，也就不能被任何解释所满足，因此空子句是永假的。空子句一般被记为NIL。（证明题会用到此结论）化简步骤：（l）消去连接词“→”反复使用如下等价公式：P→Q<=>PVQ，即可消去谓词公式中的连接词“→”。例如公式(x)((y)P(x,y)→(y)(Q(x,y)→R(x,y)))经等价变化后为(x)((y)P(x,y)V(y)(Q(x,y)∨R(x,y)))(2)减少否定符号的辖域（即把否定符号移到紧靠谓词的位置上）反复使用双重否定律(P)<==>P狄·摩根定律（P∨Q）<==>P∧Q(P∧Q）
2、<==>P∨Q量词转换律(x）P<==>（x）P，（x）P<==>（x）P将每个否定符号“”移到仅靠谓词的位置，使每个否定符号最多只作用于一个谓词上。例如，上步所得公式经本步变换后为(x)((y)P(x,y)∨(y)(Q(x,y)∧R(x,y)))（3）对变元标准化在一个量词的辖域内，把谓词公式中受该量词约束的变元全部用另外一个没有出现过的任意变元代替，使不同量词约束的变元有不同的名字。例如，上步所得公式经本步变换后为(x)((y)P(x,y)∨(z)(Q(x,z)∧R(x,z)))（4）化为前束范式化为前束范式的方法是把所有量词都移到公式的左边，并且在移动时不能改变其相对顺序。由于第（3）步
3、已对变元进行了标准化，每个量词都有自己的变元，这就消除了任何由变元引起冲突的可能，因此这种移动是可行的。例如，上步所得公式化为前束范式后为:(x)(y)(z)(P(x,y)∨(Q(x,z)∧R(x,z)))（5）消去存在量词消去存在量词时，需要区分以下两种情况。若存在量词不出现在全称量词的辖域内（即它的左边没有全称量词），只要用一个新的个体常量替换受该存在量词约束的变元，就可消去该存在量词。若存在量词位于一个或多个全称量词的辖域内，例如(x)(x)……(x)(y)P(x,x,……,x,y)则需要用Skolem函数y=f（x,x,……,x）替换受该存在量词约束的变元，然后再消去该存在量词。例如，
4、在上步所得公式中存在量词（y)和（z）都位于（x）的辖域内，因此都需要用Skolem函数来替换。设替换y和z的Skolem函数分别是f（x）和g（x），则替换后的公式为:学习参考.....(x)(y)(z)(P(x,f（x）)∨(Q(x,g（x）)∧R(x,g（x）)))（6）化为Skolem标准形Skolem标准形的一般形式为(x)(x)……(x)M(x,x,……,x)其中，M（x,x,……,x）是Skolem标准形的母式，它由子句的合取所构成。把谓词公式化为Skolem标准形需要使用以下等价关系P∨（Q∧R）<=>（P∨Q）∧（P∨R）例如，上步所得的公式化为Skolem标准形后为（x）(
5、(P(x,f(x))∨Q(x,g(x)))∧(P(x,f(x))∨R(x,g(x))))(7)消去全称量词由于母式中的全部变元均受全称量词的约束，并且全称量词的次序已无关紧要，因此可以省掉全称量词。剩下的母式，仍假设其变元是被全称量词量化的。例如，上步所得公式消去全称量词后为((P(x,f(x))∨Q(x,g(x)))∧(P(x,f(x))∨R(x,g(x))))（8）消去合取词在母式中消去所有合取词，把母式用子句集的形式表示出来。其中，子句集中的每一个元素都是一个子句。例如，上步所得公式的子句集中包含以下两个子句P(x,f(x))∨Q(x,g(x))P(x,f(x))∨R(x,g(x))（9
6、）更换变元名称对子句集中的某些变元重新命名，使任意两个子句中不出现相同的变元名。由于每一个子句都对应着母式中的一个合取元，并且所有变元都是由全称量词量化的，因此任意两个相同子句的变元之间实际上不存在任何关系。这样，更换变元名是不会影响公式的真值的例如，对上步所得公式，可把第二个子句集中的变元名x更换为y，得到如下子句P(x,f(x))∨Q(x,g(x))P(y,f(y))∨R(y,g(y))真题1：将(x)(y)(z)((P(x,y)∧Q(x,z)∨R(x,y,z))化成子句集。（15分）解析：根据步骤（5）(x)(y)(z)((P(x,f(x))∧Q(x,g(x)))∨R(x,f(x),g(
7、x)))根据步骤（6）、（7）子句集为：(P(x,f(x))∨R(x,f(x),g(x)))∧(Q(x,g(x)∨R(x,f(x),g(x)))根据步骤（8）、（9）子句集为：P(x,f(x))∨R(x,f(x),g(x))和Q(y,g(y)∨R(y,f(y),g(y))一、Herbrand域H域定义：设S为论域D上的一个子句集，则按下述方法构造的域H∞称为海伯伦域，简记为H域。（l）令H是S中所
