高级人工智能 文献综述与文献翻译.doc

高级人工智能 文献综述与文献翻译 学号： 姓名： 专业： 电话： Email： 日期：2013年5月31日 （文件名：学号姓名.doc。如0802345刘冰晶.doc）  一、用子句集表示下列谓词公式 1．{( [((x)P(x)]} →(x[(P(x)] 解： （1）消去→： ( {( [((x)P(x)]} ∨(x[(P(x)] （2）减少否定符号的辖域： ((x)P(x) ∨(x[(P(x)] （3）变量更名 ((x)P(x) ∨(y[(P(y)] （4）消去存在量词y=a： ((x)P(x) ∨(P(a) （5）化为前束范式 ((x){P(x) ∨(P(a)}