知识与知识表示.ppt

*知识表示法—一阶谓词逻辑（2）命题逻辑的联结词原子命题可通过“联结词”构成“复合命题”，联结词有5种，定义为：1）?表示否定，复合命题“?Q”即“非Q”2）∧表示合取，复合命题“P∧Q”表示“P与Q”3）∨表示析取，复合命题“P∨Q”表示“P或Q”4）→表示条件，复合命题“P→Q”表示“如果P，那么Q”5）表示双条件，复合命题“PQ”即表示“P当且仅当Q”第23页，共61页，星期日，2025年，2月5日*知识表示法—一阶谓词逻辑（3）命题逻辑的蕴含式表示蕴含，如果P→Q恒为真，则称“PQ”为“P永真蕴含Q”如：如果天下大雨，则停止足球赛；（P→Q）天正在下大雨；（P）所以停止足球赛。（Q）可以表示为：P，P→QQ?例：如果是鸟，那么就会飞。（P→Q）驼鸟是鸟（P）所以驼鸟就会飞（Q）这个推理就不正确，原因是P→Q不是永真的。第24页，共61页，星期日，2025年，2月5日*知识表示法—一阶谓词逻辑谓词逻辑是命题逻辑的扩充和发展，它将一个原子命题分解成客体和谓词两个组成部分。在谓词公式P（x）中，P称为谓词，x称为个体变元，若x是一元的，称为一元谓词，P（x,y）称为二元谓词。在谓词中，个体可以为常量，变量，函数。若谓词中的个体都为常量，变量或函数，则称它为一阶谓词，如果个体本身是谓词，称为二阶谓词，依次类推。谓词公式也有原子谓词公式、复合谓词公式等概念，利用命题逻辑的联结词将原子逻辑化式组合为复合谓词公式。第25页，共61页，星期日，2025年，2月5日*知识表示法—一阶谓词逻辑（4）谓词逻辑的量词(Quantifiers)量词表示了个体与个体域之间的包含关系，谓词逻辑中有两个量词：1）全称量词（UniversalQuantifiers）用字符“”表示。表示了该量词作用的辖域为个体域中“所有的个体x”或“每一个个体都”要遵从所约定的谓词关系。例：（x）(现代理工科大学生)（x）→学习计算机应用基础（x）),其含义是所有现代理工科大学生x，都必须学习计算机应用基础。2）存在量词（ExistentialQuantifier）用符号“”表示。表示了该量词要求“存在于个体域中的某些个体x”或“某个个体x”要服从所约定的谓词关系。第26页，共61页，星期日，2025年，2月5日*知识表示法—一阶谓词逻辑（5）一阶谓词逻辑表达方法如：诸葛亮是人。表示为：Human(Zhugeliang)马科斯是男人。表示为：Man(Marcs)张三是李四的老师表示为：Teacher(张三，李四)所有庞贝人都是罗马人。表示为：x(Pompeian(x)→Roman(x))恺撒是一位统治者。表示为：ruler(Caesar)第27页，共61页，星期日，2025年，2月5日*知识表示法—一阶谓词逻辑例：机器人世界示例。设机器人处在凹室（alcove），A，B为两张桌子，桌子A上放一个盒子box，让机器人把盒子从A放到B上，然后回到原处。试描述问题的初始状态和目标状态。首先定义下列谓词：TABLE(x):x是桌子；EMPTY(y):y手中是空的；AT(y,z):y在z旁边；HOLD(y，w)：y手中拿着w;ON(w,x):w放在x上。其中变量的取值范围是：x{A,B},z{A,B,alcove},w{box},y={robot}boxAB∈∈∈第28页，共61页，星期日，2025年，2月5日*知识表示法—一阶谓词逻辑初始状态的谓词逻辑的合取表示为：AT(robot,alcove)EMPTY(robot)ON(box,A)TABLE(A)TABLE(B)目标状态的谓词逻辑的合取表示为：AT(robot,alcove)EMPTY(robot)ON(box,B)TABLE(A)TABLE(B)第29页，共61页，星期日，2025年，2月5日*知识表示法—产生式规则表示产生式规则表示通常用于描述事物之间的一种因果关系。其基本形式为：IFPTHENQ或直接表达为P→Q其中，P是产生式的前提，用于指出该产生式是否可用的条件，也可称为前件；Q是产生式的结论或操作，用于指出当前提P被满足时，应该得出的结论或应该执行的操作，也可称为后件。第30页，共61页，星期日，2025年，2月5日*知识表示法—产生式规则表示在自然语言表达中，人们广泛使用的各种“原因→结果”，“条件→结论”，“前提→操作”，“事实→进展”，“情况→行为”等结构，都可归结为产生式的知识表达形式。例