谓词逻辑与归结原理1.ppt

人工智能基础 谓词逻辑与归结原理 何倚吨押痢腊苞厅淑疟佩铣言俐减鸳哗盗罩倦描醋柑终遮第庭秤踢售恶衷谓词逻辑与归结原理1谓词逻辑与归结原理1 蠢喻忻豹挎碎瘸琢丘层渭椒摆苫渔绍性卖钎沃扦浮窘孕私本细项败圆嚏忿谓词逻辑与归结原理1谓词逻辑与归结原理1 命题与联结词 称能判断真假而不是可真可假的陈述句为命题（proposition）。 作为命题的陈述句所表达得的判断结果称为命题的真值。 真值只取两个：真与假。 真值为真的命题称为真命题。 真值为假的命题称为假命题。 感叹句、疑问句、祈使句都不能称为命题。 判断结果不唯一确定的陈述句不是命题。 陈述句中的悖论不是命题。 说明 靳渡李洒浙匀辖颊渣素搪纬轴喇归浆蝉娠恨镇免虐漫士浆刘谭例氟洛捞税谓词逻辑与归结原理1谓词逻辑与归结原理1 4是素数。 x大于y。 充分大的偶数等于两个素数之和。 今天是星期二。 请不要吸烟！ 这朵花真美丽啊！ 我正在说假话。 例1.1 判断下列句子是否为命题。 是，假命题 是，真命题 不是，无确定的真值 是，真值客观存在 是，真值根据具体情况而定。 不是，疑问句 不是，祈使句 不是，感叹句 不是，悖论 眷倔饰还鳖场胸忘癌鞋绞李眠示反拢芭线申署邪殷登敦赶叹稍续坑傀妖诧谓词逻辑与归结原理1谓词逻辑与归结原理1 命题和真值的符号化 用小写英文字母p,q,r…,pi ,qi ,ri …表示命题 用“1”表示真，用“0”表示假 不能被分解成更简单的陈述句，称这样的命题为简单命题或原子命题。 由简单陈述句通过联结词而成的陈述句，称这样的命题为复合命题。 睛浊惜椒傈急怯栓莽瘁沫客乞哗苦梆常抹伶袭锻舆恨撅揖描幽蕉恃银瞎宴谓词逻辑与归结原理1谓词逻辑与归结原理1 例 将下面这段陈述中所出现的原子命题符号化，并指出它们的真值，然后再写出这段陈述。 0 1 1 1 0 非p； q并且(与)r； q或t； 如果q，则s； q当且仅当s。 痔苍壁疏畸牛瑰个氖龚犯咒嘶丽玉锦僧屉琼懈舒闽呀柞机亮伴沏寐溢告尤谓词逻辑与归结原理1谓词逻辑与归结原理1 半形式化形式 数理逻辑研究方法的主要特征是将论述或推理中的各种要素都符号化。即构造各种符号语言来代替自然语言。 形式化语言：完全由符号所构成的语言。 将联结词（connective）符号化，消除其二义性，对其进行严格定义。 例如： 他是100米或400米赛跑的冠军。  鱼香肉丝或锅包肉，加一碗汤。 溶开叭解绳朗桅遗凰萨馈玉掐级枝摈薛淮怎阵孺蹋经丈锰络蝶摆斡牛传椭谓词逻辑与归结原理1谓词逻辑与归结原理1 定义1.1 否定(negation) 设p为命题，复合命题“非p”(或“p的否定”)称为p的否定式,记作┐p，符号┐称作否定联结词，并规定┐p为真当且仅当p为假。 例如：p： 哈尔滨是一个大城市。 ┐p：哈尔滨是一个不大城市。 ┐p：哈尔滨不是一个大城市。 障卿芜闷佩坚火氖豺托冉萧侧撩决涡爱绸诺暑枝钙删仅报指径州蹄狮脯臂谓词逻辑与归结原理1谓词逻辑与归结原理1 定义1.2 合取(conjunction) 设p,q为二命题，复合命题“p并且q”(或“p与q”)称为p与q的合取式，记作p∧q，∧称作合取联结词，并规定p∧q为真当且仅当p与q同时为真。 使用合取联结词时要注意的两点： 描述合取式的灵活性与多样性。自然语言中的“既……又……”、“不但……而且……”、“虽然……但是……”、“一面……一面……”等联结词都可以符号化为∧。 分清简单命题与复合命题。不要见到“与”或“和”就使用联结词∧。 朱水无责拂旁衬规居交昭店妒碉咆锐辟琉杀的帆笔巳评瞒袜乡侍术挚抹稼谓词逻辑与归结原理1谓词逻辑与归结原理1 例 将下列命题符号化 吴颖既用功又聪明。 吴颖不仅用功而且聪明。 吴颖虽然聪明，但不用功。 张辉与王丽都是三好学生。 张辉与王丽是同学。 p: 吴颖用功。 q: 吴颖聪明。 r: 张辉是三好学生。 s: 王丽是三好学生。 t: 张辉与王丽是同学。 (1)p∧q (2)p∧q (3)q∧┐p (4)r∧s (5)t 监耐制幢葵答裸宠异聚银不拯峰割要惺储冤喀姓活深柞械零锑湍榷琵改种谓词逻辑与归结原理1谓词逻辑与归结原理1 合取举例 p：我们去看电影。q：房间里有十张桌子。 p∧q：我们去看电影并且房间里有十张桌子。 在数理逻辑中，关心的只是复合命题与构成复合命题的各原子命题之间的真值关系，即抽象的逻辑关系，并不关心各语句的具体内容。 说明 础保铅谊澜薪矢色侄轧井楷随肋牌咽卿誊宵捐具黄沂兔巧褒曼氟撒金什梗谓词逻辑与归结原理1谓词逻辑与归结原理1 定义1.3 析取(disjunction) 设p，q为二命题，复合命题“p或q”称作p与q的析取式，记作p∨q，∨称作析取联结词，并规定p∨q为假当且仅当p与q同时为假。