人工智能逻辑ppt课件.ppt

上传人:晟*** 文档编号:9691146 上传时间:2021-12-17 格式:PPT 页数:92 大小:1.46MB
下载 相关 举报
人工智能逻辑ppt课件.ppt_第1页
第1页 / 共92页
人工智能逻辑ppt课件.ppt_第2页
第2页 / 共92页
人工智能逻辑ppt课件.ppt_第3页
第3页 / 共92页
人工智能逻辑ppt课件.ppt_第4页
第4页 / 共92页
人工智能逻辑ppt课件.ppt_第5页
第5页 / 共92页
点击查看更多>>
资源描述

人工智能逻辑 * 史忠植 逻辑基础 1 史忠植 中国科学院计算技术研究所 高级人工智能 第二章主要内容 l 逻辑简介 l 逻辑程序设计 l 非单调逻辑 l 默认逻辑 l 限定逻辑 l 真值维护系统 l 情景演算 l 动态描述逻辑 * 史忠植 逻辑基础 2逻辑简介 l 逻辑的历史 l 逻辑系统 l 命题逻辑 l 谓词逻辑 * 史忠植 逻辑基础 3逻辑的历史 l Aristotle逻辑学 l Leibnitz数理逻辑 l Gottlob Frege (1848-1925)一阶谓词演算系 统,符号论 l 20世纪30年代,数理逻辑广泛发展 * 史忠植 逻辑基础 4逻辑系统 一个逻辑系统是定义语言和它的含义的方法。 逻辑系统中的一个逻辑理论是该逻辑的语言的一 个语句集合,它包括: l 逻辑符号集合:在所有该逻辑的逻辑理论中均出现的符号 ; l 非逻辑符号集合:不同的逻辑理论中出现的不同的符号; l 语句规则:定义什么样的符号串是有意义的; l 证明:什么样的符号串是一个合理的证明; l 语义规则:定义符号串的语义。 * 史忠植 逻辑基础 5* 史忠植 逻辑基础 6 逻辑 程序语言 逻辑符号 保

展开阅读全文
相关资源
相关搜索

当前位置:首页 > 实用文档资料库 > 演示文稿

Copyright © 2018-2021 Wenke99.com All rights reserved

工信部备案号浙ICP备20026746号-2  

公安局备案号:浙公网安备33038302330469号

本站为C2C交文档易平台,即用户上传的文档直接卖给下载用户,本站只是网络服务中间平台,所有原创文档下载所得归上传人所有,若您发现上传作品侵犯了您的权利,请立刻联系网站客服并提供证据,平台将在3个工作日内予以改正。