人工智见能谓词演算.pptVIP

第2讲 基于谓词逻辑的机器推理 一阶谓词逻辑 归结演绎推理 归结原理的应用 Horn子句与Prolog程序设计 第一节 一阶谓词逻辑 命题：凡可确定真假的陈述句称为命题 可以取值“真”（T）或“假”（F） 在一定的条件下，只能取其中一个值 例： （1）北京是中国的首都　√ （2）3 + 2 10　× （3）1 + 11 = 100　（根据制数） （4）禁止吸烟 （祈使句） （5）本命题是假的 （悖论） 谓词：是用来刻画个体词的性质或个体词之间的关系的词（带参量的命题叫谓词） n 元谓词，P（x1, x2, x3, …, xn） P 是谓词符号，代表一个确定的特征（一个参量）或关系（多个参量） x1, x2, x3, …, xn 称为参量或项（个体常元或个体变元） 论述域（个体域）：个体变元的取值范围 例： 北京是一个城市 —— CITY（北京） x 是人 —— HUMAN（x） A是B的兄弟 ——兄弟（A，B） x 大于 y —— G（x，y） 不带个体变元的谓词公式叫命题，命题是谓词公式的特例 逻辑连接词：研究单个谓词是不够的，还必须研究多个谓词之间的关系，这需要引入逻辑连接词 ?：否定词 ?A读为“非A”，当A为真时， ?A为假，当A为假时， ?A为真 ∧：合取词 A ∧B读为“A并且B”，当且仅当A和B都为真时， A ∧B为真，