文档介绍:人工智能基础谓词逻辑与归结原理枝埋肿凭兄舰喂唬罐佛侠斯哎辈献审跃僵釜找憎边湛坎愿氏旱栖静银排欧谓词逻辑与归结原理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