人工智能第2章(知识表示方法3-谓词逻辑)ppt课件.ppt

《人工智能第2章(知识表示方法3-谓词逻辑)ppt课件.ppt》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、人工智能ArtificialIntelligence(AI)第2章知识表示方法2.1状态空间法2.2问题归约法2.3谓词逻辑法五房间问题：1、有5栋5种颜色的房子2、每一位房子的主人国籍都不同3、这5个人只喝一个牌子的饮料，只抽一个牌子的香烟，只养一种宠物4、没有人有相同的宠物，抽相同牌子的香烟，喝相同的饮料谁养鱼？已知条件：1、英国人住在红房子里2、瑞典人养了一条狗3、丹麦人喝茶4、绿房子在白房子左边5、绿房子主人喝咖啡6、抽PALLMALL烟的人养了一只鸟7、黄房子主人抽DUNHILL烟8、

2、住在中间那间房子的人喝牛奶9、挪威人住在第一间房子10、抽混合烟的人住在养猫人的旁边11、养马人住在DUNHILL烟的人旁边12、抽BLUEMASTER烟的人喝啤酒13、德国人抽PRINCE烟14、挪威人住在蓝房子旁边15、抽混合烟的人的邻居喝矿泉水房间号12345颜色国籍香烟饮料宠物挪威人牛奶4、绿房子在白房子左边5、绿房子主人喝咖啡咖啡1、英国人住在红房子里英国人7、黄房子主人抽DUNHILL烟11、养马人住在DUNHILL烟的人旁边DUNHILL马3、丹麦人喝茶12、抽BLUEMASTER

3、烟的人喝啤酒矿泉水2、瑞典人养了一条狗3、丹麦人喝茶12、抽BLUEMASTER烟的人喝啤酒13、德国人抽PRINCE烟瑞典人BLUEMASTER啤酒狗丹麦人茶德国人PRINCE混合烟PALLMALL鸟猫鱼推理的一般形式已知：事实一，事实二，…如果事实一，那么结论一；如果事实二，那么结论二；…得到：结论一，结论二，…如果将事实和规则抽象出来，不涉及具体内容，借助一些符号来表示，推理过程可形式化为：P：某已知事实P→Q：如果P，则Q结论：Q自然语言不适合计算机推理如：小王不方便接电话，他方便去了。

4、需要一种无歧义，方便存储和表达的形式化符号表征体系逻辑经典逻辑：命题逻辑、谓词逻辑非经典逻辑：不确定性推理、非单调性推理命题逻辑谓词逻辑如果今天不下雨，我就去你家今天没有下雨我去了你家Q﹃P﹃P→Q命题逻辑核心思想：原子命题不可再分凡人都会死苏格拉底是人苏格拉底会死Man(Socrates)Mortal(Socrates)x(Man(x)→Mortal(x))2.3谓词逻辑法数理逻辑（符号逻辑）是用数学方法研究形式逻辑的一个分支。它通过符号系统来表达客观对象以及相关的逻辑推理。常用的是命题逻辑

5、和谓词逻辑谓词逻辑是数理逻辑的基本形式，是基于谓词分析的一种形式化（数学）语言人工智能中的谓词逻辑法是指用一阶谓词来描述问题求解和定理证明（限于本课程）2.3.0命题逻辑的复习1、命题逻辑的基本概念命题是能够判断真或假的陈述句通常用大写字母来表示，如A,B,P,Q等命题的真假值一般用T或F来表示例：雪是白的。（陈述句，T）雪是蓝的。（陈述句，F）雪是黑的。（陈述句，F）他是学生。（陈述句，他泛指，无法判断真假）你今天上课没有？（疑问句）去北校区，请坐校车！（祈使句）命题逻辑是研究命题及命题之间关

6、系的符号逻辑系统。在命题逻辑中，表示单一意义的命题，称之为原子命题。原子命题通过“联结词”构成复合命题。五个联结词：①“～”表示“非”复合命题～P为真，当且仅当P为假。②“∧”表示“合取”复合命题“P∧Q”为真，当且仅当P和Q都为真。④“”表示“蕴含”复合命题“PQ”为假，当且仅当P为真且Q为假。③“∨”表示“析取”复合命题“P∨Q”为真，当且仅当P、Q两者之一为真。⑤“”表示“等价”复合命题“PQ”为真，当且仅当P、Q同时为真、或者同时为假。联接词的优先顺序：非～、合取∧、析取∨、蕴含

7、、等价注：可以用括号表示优先级真值表PQ～PP∧QP∨QPQPQFFTFFTTFTTFTTFTFFFTFFTTFTTTT命题变元：用符号P、Q等表示的不具有固定、具体含义的命题。它可以表示具有“真”、“假”含义的各种命题。命题变元可以利用联结词构成所谓的合适公式。合适公式的定义①若P为原子命题，则P为合适公式，称为原子公式。②若P是合适公式，则～P也是一个合适公式。③若P和Q是合适公式，则P∧Q、P∨Q、PQ、PQ都是合适公式。④经过有限次使用规则1、2、3，得到的由原子公式、联结词

8、和园括号所组成的符号串，也是合适公式。对于合适公式，规定下列运算优先级：①逻辑联结词的运算优先次序为：～、∧、∨、、②同级联结词按出现顺序优先运算在命题逻辑中，主要研究推理的有效性。即：能否根据一些合适公式（前提）推导出新的合适公式（结论）。一些合适公式（前提条件）合适公式（结论）？在命题逻辑中，最基本的单元是命题，它是作为一个不可分割的整体。例如：雪是黑的命题逻辑具有较大的局限性，不合适于表达比较复杂的问题。例：所有科学都是有用的（假设1）。数理逻辑是科学（假设2）。所以，数理逻辑是有用的