研究生第2章(知识表示与推理3-谓词逻辑)
更新时间:2023-08-24 08:29:01 阅读量: 教育文库 文档下载
- 本科知识和研究生知识推荐度:
- 相关推荐
人
工
智
能
Artificial Intelligence (AI)许建华 xujianhua@http://www.77cn.com.cn
南京师范大学计算机科学系2006年9-12月2013-7-20
2.1 知识表示的一般方法2.1.1 状态空间法 2.1.2 问题归约法 2.1.3 谓词逻辑法2013-7-20
2.1.3 谓词逻辑法 数理逻辑(符号逻辑)是用数学方法研究形式逻 辑的一个分支。它通过符号系统来表达客观对象 以及相关的逻辑推理。常用的是命题逻辑和谓
词逻辑2013-7-20
谓词逻辑是数理逻辑的基本形式,是基于谓词分析的一种形式化(数学)语言
人工智能中的谓词逻辑法是指用一阶谓词来描述问题求解和定理证明(限于本课程)
2013-7-20
1 命题逻辑的简述
命题
是能够判断真或假的陈述句
通常用大写字母来表示,如A, B, P, Q等 命题的真假值一般用 T 或 F 来表示
2013-7-20
例:雪是白的。(陈述句,T) 雪是红的。(陈述句,F) 雪是黑的。(陈述句,F) 他是工人。(陈述句,他泛指,无法判断真假)
你今天上课没有?(疑问句)请坐公共汽车!(祈使句)2013-7-20
命题逻辑是研究命题及命题之间关系的符号逻辑系统。 在命题逻辑中,表示单一意义的命题,称之为原
子命题。原子命题通过 “联结词” 构成2013-7-20
复合命题。
五个联结词:① “~” 表示 “非”
复合命题~P为真,当且仅当P为假。
② “∧” 表示 “合取”
复合命题“P∧Q”为真,当且仅当P和Q都为真。
2013-7-20
③ “∨” 表示 “析取” 复合命题“P∨Q”为真,当且仅当P、Q两者之 一为真。
④ “ ” 表示 “蕴含” 复合命题“P Q”为假,当且仅当P为真且Q为假。
2013-7-20
⑤ “ ” 表示 “等价” 复合命题“P Q”为真,当且仅当P、Q同时为真、 或者同时为假。 联接词的优先顺序:非~ 、合取∧ 、析取∨ 、 蕴含 、等价
注:可以用括号表示优先级2013-7-20
真值表P F F Q F T ~P T TP∧Q P∨Q P Q P Q
F F
F T
T T
T F
TT
FT
FF
FT
TT
FT
FT
2013-7-20
命题变元:用符号P、Q等表示的不具有固定、具体含义的命题。它可以表示具有“真”、“假”含
义的各种命题。命题变元可以利用联结词构成所谓的合适公式。
2013-7-20
合适公式的定义 ①若P为原子命题,则P为合适公式,称为原子公
式。②若P是合适公式,则~P也是一个合适公式。
2013-7-20
③若P和Q是合适公式,则P∧Q、 P∨Q 、P Q 、 P Q都是合适公式。 ④经过有限次使用规则1、2、3,得到的由原子公 式、联结词和园括号所组成的符号串,也是合适 公式。
2013-7-20
对于合适公式,规定下列运算优先级: ① 逻辑联结词的运算优先次序为:
~、∧、 ∨、 、 ② 同级联结词按出现顺序
优先运算
2013-7-20
在命题逻辑中,主要研究推理的有效性。
即:能否根据一些合适公式(前提)推导出新的合适公式(结论)。
一些合适公式 (前提条件)2013-7-20
?
合适公式 (结论)
在命题逻辑中,最基本的单元是命题,它是
作为一个不可分割的整体。例如:雪是黑的 命题逻辑具有较大的局限性,不合适于表达 比较复杂的问题。2013-7-20
例:所有科学都是有用的(假设1)。数理逻辑是科学(假设2)。 所以,数理逻辑是有用的(结论)。 很明显,我们无法用两个假设推断出结论。2013-7-20
谓词逻辑是命题逻辑的扩充和发展。 它将一个原子命题分解成客体和谓词两个组成 部分。 例如: 雪 客体 是黑的 谓词
本课程主要介绍一阶谓词逻辑。2013-7-20
正在阅读:
中国对外贸易形势报告(2010年秋季)10-08
电力工程图期末复习题10-31
《合理利用网络,做文明上网高中生》国旗下的讲话范文03-22
材力习题册参考答案(1-7章) - 图文04-26
领航(仪表题470有粗体)04-23
2018年1月类切口病历抗菌药物临床应用专项点评报告10-19
监督学 试题01-04
华南师范大学网络教育学院本科毕业论文写作管理暂行办法(2018年503-08
初中科学目录(浙江教育出版社)06-06
- exercise2
- 铅锌矿详查地质设计 - 图文
- 厨余垃圾、餐厨垃圾堆肥系统设计方案
- 陈明珠开题报告
- 化工原理精选例题
- 政府形象宣传册营销案例
- 小学一至三年级语文阅读专项练习题
- 2014.民诉 期末考试 复习题
- 巅峰智业 - 做好顶层设计对建设城市的重要意义
- (三起)冀教版三年级英语上册Unit4 Lesson24练习题及答案
- 2017年实心轮胎现状及发展趋势分析(目录)
- 基于GIS的农用地定级技术研究定稿
- 2017-2022年中国医疗保健市场调查与市场前景预测报告(目录) - 图文
- 作业
- OFDM技术仿真(MATLAB代码) - 图文
- Android工程师笔试题及答案
- 生命密码联合密码
- 空间地上权若干法律问题探究
- 江苏学业水平测试《机械基础》模拟试题
- 选课走班实施方案
- 谓词
- 推理
- 逻辑
- 研究生
- 表示
- 知识
- 化学平衡问题解决过程中的主要思维障碍及教学对策
- 水晶报表开发
- 《呼啸山庄》的悲剧根源探析
- (化学试卷10份合集)江苏省常州市2018-2019学年高一上学期期末化学试卷含答案
- 铆工考试试题
- 高绩效团队建设方法
- 福师《英汉互译》在线作业二(5)
- 5年级学困生转化计划
- 2016-2022年中国靛蓝行业分析及发展机遇研究报告
- 基于博弈论的ERP发展趋势研究
- 2016年家居建材发展现状及市场前景分析
- There be 句型练习及答案
- 天大《环境保护与可持续发展》在线作业一
- 基于单片机控制的交流调速系统设计
- 微生物实验报告
- 鲁班培训2012二建机电实务考前通
- 2015-2020年中国手表市场监测及投资前景分析报告
- 毕业档案户口托管注意事项
- 2016年西南财经大学国际商学院803管理学考研冲刺模拟题及答案
- 【语文专题推荐】复习综合练习小学语文小升初模拟试卷IV卷