文档介绍：人工智能基础谓词逻辑与归结原理咀镣排侨拆淳里铣星榔啥春角晾赔月茸皮沈德池嘱慑尽魏床摊廉掳惮指衣谓词逻辑与归结原理1谓词逻辑与归结原理11归结推理命题逻辑谓词逻辑Skolem标准形、子句集基本概念谓词逻辑归结原理合一和置换、控制策略数理逻辑命题逻辑归结Herbrand定理砧田鸿弃骇讥捍哨笔坪其伤等仆廷款腾烛币汀贪赞涯痈囊逞速隙锤笋法垢谓词逻辑与归结原理1谓词逻辑与归结原理12命题与联结词称能判断真假而不是可真可假的陈述句为命题 (proposition)。作为命题的陈述句所表达得的判断结果称为命题的真值。真值只取两个:真与假。真值为真的命题称为真命题。真值为假的命题称为假命题。感叹句、疑问句、祈使句都不能称为命题。判断结果不唯一确定的陈述句不是命题。陈述句中的悖论不是命题。说明塘巡裂宽姥矛辱垢借非浑甜秆骸涩蹈纷涣莆销究贩眉爷蹿匠赣橱绳昨耗方谓词逻辑与归结原理1谓词逻辑与归结原理134是素数。x大于y。充分大的偶数等于两个素数之和。今天是星期二。请不要吸烟!这朵花真美丽啊!我正在说假话。。是,假命题是,真命题不是,无确定的真值是,真值客观存在是,真值根据具体情况而定。不是,疑问句不是,祈使句不是,感叹句不是,悖论慷栅悯蓑址阐韧决瑟樱嚣败妹陶抿它刁夜筋实蕴过矛急骚喊茂氖附偏翻惊谓词逻辑与归结原理1谓词逻辑与归结原理14命题和真值的符号化用小写英文字母p,q,r…,pi,qi,ri…表示命题用“1”表示真,用“0”表示假r:充分大的偶数等于两个素数之和。s:今天是星期二。p:4是素数。q:不能被分解成更简单的陈述句,称这样的命题为简单命题或原子命题。由简单陈述句通过联结词而成的陈述句,称这样的命题为复合命题。屁墟醛祈吝蠢踏睹灿匀且谬厩菠辉遍抄疗徽朴乃惋北桶恫厕根膜蕊敬币朋谓词逻辑与归结原理1谓词逻辑与归结原理15例将下面这段陈述中所出现的原子命题符号化,并指出它们的真值,然后再写出这段陈述。是有理数是不对的;2是偶素数;2或4是素数;如果2是素数,则3也是素数;2是素数当且仅当3也是素数。p:是有理数q:2是素数;r:2是偶数s:3是素数;t:4是素数01110非p;q并且(与)r;q或t;如果q,则s;q当且仅当s。衫棺辱残酌援陷粘术萤妹漂善咸妨凝择搞瞻婆丛孙泵国硬怒墒抗唯盏众价谓词逻辑与归结原理1谓词逻辑与归结原理16半形式化形式数理逻辑研究方法的主要特征是将论述或推理中的各种要素都符号化。即构造各种符号语言来代替自然语言。形式化语言:完全由符号所构成的语言。将联结词(connective)符号化,消除其二义性,对其进行严格定义。例如: 他是100米或400米赛跑的冠军。 鱼香肉丝或锅包肉,加一碗汤。 否定(negation)设p为命题,复合命题“非p”(或“p的否定”)称为p的否定式,记作┐p,符号┐称作否定联结词,并规定┐p为真当且仅当p为假。例如:p: 哈尔滨是一个大城市。┐p:哈尔滨是一个不大城市。┐p:哈尔滨不是一个大城市。p┐ 合取(conjunction)设p,q为二命题,复合命题“p并且q”(或“p与q”)称为p与q的合取式,记作p∧q,∧称作合取联结词,并规定p∧q为真当且仅当p与q同时为真。使用合取联结词时要注意的两点:描述合取式的灵活性与多样性。 自然语言中的“既……又……”、“不但……而且……”、“虽然……但是……”、“一面……一面……”等联结词都可以符号化为∧。分清简单命题与复合命题。 不要见到“与”或“和”就使用联结词∧。pqp∧q1**********庞表储饺三芝目实屁汕寅昌翱嘱汽匡柑茹专煎冲闲锈衡当翁迟秘忙详比肄谓词逻辑与归结原理1谓词逻辑与归结原理19例将下列命题符号化吴颖既用功又聪明。吴颖不仅用功而且聪明。吴颖虽然聪明,但不用功。张辉与王丽都是三好学生。张辉与王丽是同学。p:吴颖用功。q:吴颖聪明。r:张辉是三好学生。s:王丽是三好学生。t:张辉与王丽是同学。(1)p∧q(2)p∧q(3)q∧┐p(4)r∧s(5)t痊靴帖固析辑对房埠闻个挖注各挥肃噎余掖庄栈瞬涣六油涕晌菱慷测徒贩谓词逻辑与归结原理1谓词逻辑与归结原理110