- 1、本文档共86页,可阅读全部内容。
- 2、有哪些信誉好的足球投注网站(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
Logical Foundations of Artificial Intelligence 尹传环 chhyin@bjtu.edu.cn School of computer Information Technology Beijing Jiaotong University Goal 了解人工智能领域的基本知识 掌握用一阶谓词逻辑表示知识的方法 掌握用归结原理求解问题的方法 了解非单调逻辑的基本思想和方法 能用上述原理和方法解决实际问题 Contents Chapter 1: Introduction Logical Approach to AI Chapter 2: Declarative Knowledge Chapter 3: Inference Chapter 4. Resolution Chapter 5. Resolution Strategies Expandation of Logical Approach Chapter 6. Nonmonotonic Reasoning Chapter 7. Induction (Machine Learning) Contents Chapter 8. Reasoning with Uncertain Belief (Knowledge Engineering) Modal Logic Chapter 9. Knowledge and Belief Chapter 10. Metaknowledge and Metareasoning Agent: Distributed Artificial Intelligence Chapter 11. State and Change Chapter 12. Planning Chapter 13. Intelligent Agent Architecture Related Courses Knowledge Engineering (董兴业) Machine Learning (于剑) Computational Intelligence (王志海) Data Ming (王志海) Distributed Artificial Intelligence Artificial Neural Network Text Book References Textbook: Logical Foundations of Artificial Intelligence. Genesereth and Nilsson, 1987. References: 人工智能:一种系统方法,M Tim Jones著,电子工业出版社(英文影印) 人工智能原理。石纯一等,清华大学出版社,1993 人工智能:一种现代方法(英文影印,第二版)。Russell, s. and Norvig, P.,清华大学出版社,2006.5 人工智能。史忠值等,国防工业出版社,2007 Evaluation Previous Courses:Discrete Mathematics; Artificial Intelligence Homework: 20% Final Report: 20% Final Exam.: 60% Chapter 1. Introduction What is Artificial Intelligence (AI)? Origin and Development of AI Research Fields of AI Ways of AI research Artificial Intelligence 人工智能(Artificial Intelligence, AI) 起源于美国1956年的一次夏季讨论会(达特茅斯会议) 什么是AI 计算-算计 图灵测试 图灵其人 图灵测试 ---一种智能的测量方法 1950年英国数学家图灵(Turing)在 “计算机器与智力”一文中提出 图灵的一生 辉煌的成就:24岁提出图灵机理论,31岁参与COLOSSUS的研制,33岁设想仿真系统,35岁提出自动程序设计概念,38岁设计“图灵测验”。 特立独行的人生:上班途中戴防毒面具骑自行车、自行车掉链子前及时下车、因同性恋遭到拘捕、吃了泡在氰化物溶液中的苹果致死。发明Enigma破译德军密码,获得大英帝国授予的荣誉勋章 唯一一位获得图灵奖的华裔科学家——姚期智。 图灵测试(Turing Test) Turing Test 测试者:主持人C 被测试者
您可能关注的文档
- 五羊-本田摩托店面建设新标准.ppt
- 五自顶向下的语法分析.ppt
- 五邑大学纺织工程专业介绍及就业.ppt
- 五金烤漆工艺流程概述.ppt
- 五维--竞争?合作?86.ppt
- 井漏造成井喷失控事故-安全经验分享.ppt
- 井下1140V无功动态补偿装置使用说明86.ppt
- 亚克力灯罩简介.ppt
- 亚士漆零售推广培训.ppt
- 亚太电视购物.ppt
- 社区常见传染病人与管理护理学sqhlx jy0701.pdf
- 信号答案6章部分作业题解.pdf
- ljparser网络有哪些信誉好的足球投注网站与挖掘开发平台白皮书.pdf
- 届小六数学作业.pdf
- 测试读取通道单个reading 6.pdf
- 挤压身体点交流通过边界对象进行划分曲线细分扫桥-启动绑定ug100个典曲面教程.pdf
- 编号rev page项目包发起人纪律单元nserial rapid-p0014 oui con sow.pdf
- 主题员工培训部分什么定义hrm2 employee trainingHRM2 Employee.pdf
- lets build fairy bridgeG64元件建造了童话桥.pdf
- 案例文案阅读.pdf
文档评论(0)