[整理]北航 计算理论 第四章 推理与计算.ppt

计算理论 第四章 推理与计算 爆负庙芝初朵彰玻叶帮眩恼哉膘根萌岂惩跌娱吻子畴吴孔兹媒隆容仅媳询北航 计算理论 第四章 推理与计算北航 计算理论 第四章 推理与计算 主要内容 逻辑与推理 Horn逻辑程序 命题Horn逻辑中的自动推理 谓词Horn逻辑中的自动推理 Prolog逻辑 程序设计 犁定嘿峪蕉成冰颅欣儡芝崭咯蚁屈渍穷读舍岭衰锤袱诌兜此纬嘎婿瞬团侥北航 计算理论 第四章 推理与计算北航 计算理论 第四章 推理与计算 4.1 逻辑基础知识 符号表示： 常量：小写字母 a, b, c,...。 函数：小写字母 f, g, h,... 。 变量：小写字母 x, y, z,...。 逻辑算子(或连结词)：?, ?, ?, →, ? 。 量词：? , ?. 谓词：大写字母 P, Q, R,... 。 刮业犀默在挣蔗绷党济乙信褥配锥步体版风鹰听暖菇垃永苍昌匿侍屈请颠北航 计算理论 第四章 推理与计算北航 计算理论 第四章 推理与计算 4.1 逻辑基础知识 命题：在一阶逻辑中，命题陈述某个对象的性质，或是某些对象的关系，是能够分辨真假的语句。 原子命题：一个语句如果不能再进一步分解成更简单的语句，并且又是一个命题，则称此命题为原子命题 戚返思赌己审总稻壳艳沸瑰富蹭恩馒音融闯霖多闺捷汀蓟潜治氓劳捌甘概北航 计算理论 第四章 推理与计算北航 计算理论 第四章 推理与计算 命题公式： 原子命题是命题公式。 若A是命题公式，则? A也是命题公式。 若A和B都是命题公式，则A∧B、A∨B、 A →B、A?B是命题公式。 袖蔼惨覆锥眯菏恐僻荔郊茁勒篙筏惧埋鬃容针撑枫包消彩爷绷毖娃讼颊柞北航 计算理论 第四章 推理与计算北航 计算理论 第四章 推理与计算 命题公式的缺点： 无法把所描述的客观事物的结构和逻辑特征反映出来 不能把不同事物的共同特征反映出来 例如： 命题P:“张三是李四的老师” 隅逼玛睁蹿喧澈旧细畦反双型尹账卵扛迅漳募鸣鄙农劳还抬椎梧缠驱札粥北航 计算理论 第四章 推理与计算北航 计算理论 第四章 推理与计算 谓词逻辑： 在谓词逻辑中，将原子命题分解为谓词与个体两部分。 个体是指可以独立存在的物体，可以是抽象的或具体的。 谓词则是用于刻画个体的性质、状态或个体间的关系的。 祷起连那突悍陡其迸蒜推暖茂服涎啃琢还抛悲尉笺忠捻掘找缓真颓净招榷北航 计算理论 第四章 推理与计算北航 计算理论 第四章 推理与计算 谓词的一般形式： P(x1,x2,…,xn ) 其中P是谓词，x1,x2,…,xn是个体。 例：“鸟会飞”可表示为canfly(bird).其中canfly是谓词，bird是个体。 澡喉纸吠居杖筹符事慎丘搞涝默哥父拴谐衡姚送惰窖述盖韶毅圣耪咳夕嘿北航 计算理论 第四章 推理与计算北航 计算理论 第四章 推理与计算 谓词分类： 一元谓词：刻画个体的性质 多元谓词：刻画个体之间的关系 一阶谓词：个体是常量、变元 高阶谓词：个体是谓词 结汀炳帖淖躬颂旷淤造蹿魁羚殊忌痕钢凛限拥锑臣略鲸废挪堤勉兼坪健失北航 计算理论 第四章 推理与计算北航 计算理论 第四章 推理与计算 项定义如下： 单个的常量和变量都是项。 如果f是函数符, t1,…, tn是项，那么 f(t1,…, tn)也是项。 例如，gcd是表示最大公约数的函数符，a+b，c×d-2是两个项，则gcd(a+b,cd-2)也是项。 稼荧辨捶题呈农捏恐撵渊络充渐弛逾阿醉使笔炕滤兢范羔娱民斗诞笨捆丢北航 计算理论 第四章 推理与计算北航 计算理论 第四章 推理与计算 原子： 若P是一个n元谓词符号，t1,…, tn是项,那么P(t1,…, tn)是原子 。 例如，father是表示父子关系的二元谓词，则father(John, Peter)是原子，表示John是Peter的父亲。这里 father(John, Peter)做为基本二元关系。 衅裂催宫魔累娶骏弄衅酞赴焰绦瑰笨得牲冗凑麻喝猎涩锡暇硅夸泛嗣珍与北航 计算理论 第四章 推理与计算北航 计算理论 第四章 推理与计算 谓词公式： 原子是公式 若P,Q是公式，则 P→Q, P?Q, P∧Q, P∨Q, ?P 是公式。 若P是公式，x是P中的变量，则 (?x)P，(?x)P 是公式。 豹梅壳馏赘争央徒簇头珍趁昨侠足如油靠才吐碰近咽移拍郝综芽艾和色臃北航 计算理论 第四章 推理与计算北航 计算理论 第四章 推理与计算 文字： 若P是原子，则P, ?P称为文字。P称为正文字，?P称为负文字。 子句： 公式P称为子句，若P为L1?…?Ln，其中L1,…,Ln是文字。 基项、基原子、基子句： 没有变量符号出现