人工智能知识表示方法谓词逻辑70.pptxVIP

人 工 智 能Artificial Intelligence (AI)曲维光wgqu@njnu.edu.cn南京师范大学计算机学院第2章 知识表示方法2.1 谓词逻辑法2.2 状态空间法2.3问题归约法2.1 谓词逻辑法数理逻辑（符号逻辑）是用数学方法研究形式逻辑的一个分支。它通过符号系统来表达客观对象以及相关的逻辑推理。常用的是命题逻辑和谓词逻辑谓词逻辑是数理逻辑的基本形式，是基于谓词分析的一种形式化（数学）语言人工智能中的谓词逻辑法是指用一阶谓词来描述问题求解和定理证明（限于本课程）2.1.0 命题逻辑的复习 1、命题逻辑的基本概念命题 是能够判断真或假的陈述句通常用大写字母来表示，如A, B, P, Q等命题的真假值一般用 T 或 F 来表示 例：雪是白的。（陈述句，T）雪是可蓝的。（陈述句，F）雪是黑的。（陈述句，F）他是学生。（陈述句，他泛指，无法判断真假）你今天上课没有？（疑问句）请坐校车！（祈使句） 命题逻辑是研究命题及命题之间关系的符号逻辑系统。在命题逻辑中，表示单一意义的命题，称之为原子命题。原子命题通过 “联结词” 构成 复合命题。9、要学生做的事，教职员躬亲共做；要学生学的知识，教职员躬亲共学；要学生守的规则，教职员躬亲共守。10、阅读一切好书如同和过去最杰出的人谈话。11、一个好的教师，是一个懂得心理学和教育学的人。12、要记住，你不仅是教课的教师，也是学生的教育者，生活的导师和道德的引路人。13、He who seize the right moment, is the right man.谁把握机遇，谁就心想事成。14、谁要是自己还没有发展培养和教育好，他就不能发展培养和教育别人。15、一年之计，莫如树谷；十年之计，莫如树木；终身之计，莫如树人。16、提出一个问题往往比解决一个更重要。因为解决问题也许仅是一个数学上或实验上的技能而已，而提出新的问题，却需要有创造性的想像力，而且标志着科学的真正进步。17、儿童是中心，教育的措施便围绕他们而组织起来。1、Genius only means hard-working all ones life. (Mendeleyer, Russian Chemist)? 天才只意味着终身不懈的努力。21.5.265.26.202108:3008:30:57May-2108:302、Our destiny offers not only the cup of despair, but the chalice of opportunity. (Richard Nixon, American President )命运给予我们的不是失望之酒，而是机会之杯。二〇二一年五月二十六日2021年5月26日星期三3、Patience is bitter, but its fruit is sweet. (Jean Jacques Rousseau , French thinker)忍耐是痛苦的，但它的果实是甜蜜的。08:305.26.202108:305.26.202108:3008:30:575.26.202108:305.26.20214、All that you do, do with your might; things done by halves are never done right. ----R.H. Stoddard, American poet做一切事都应尽力而为，半途而废永远不行5.26.20215.26.202108:3008:3008:30:5708:30:575、You have to believe in yourself. Thats the secret of success. ----Charles Chaplin人必须相信自己，这是成功的秘诀。-Wednesday, May 26, 2021May 21Wednesday, May 26, 20215/26/2021?五个联结词： ① “～” 表示 “非”复合命题～P为真，当且仅当P为假。 ② “∧” 表示 “合取”复合命题“P∧Q”为真，当且仅当P和Q都为真。 ③ “∨” 表示 “析取”复合命题“P∨Q”为真，当且仅当P、Q两者之一为真。 ④ “?” 表示 “蕴含”复合命题“P?Q”为假，当且仅当P为真且Q为假。 ⑤ “?” 表示 “等价”复合命题“P?Q”为真，当且仅当P、Q同时为真、或者同时为假。 联接词的优先顺序：非～ 、合取∧ 、析取∨ 、蕴含? 、等价?注：可以用括号表示优先级PQ～PP∧QP∨QP?QP?QFFTFFTTFTTFTTFTFFFTFFTTFTTTT真值表 命题变元：用符号P、Q等表示的不具有固定、具体含义的命题。它可以表示具有“真”、“假”含义的各种