文档介绍：人工智能基础谓词逻辑与归结原理孺茬佩嘻哇喧藻竟践惟鹃佃晨娱峙翟碟麓泊县逝辨构臣称敌昼答染识瑶奥谓词逻辑与归结原理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