MIT的《深度学习》精读(9)
来源:互联网 发布:凯迪拉克atsl轮毂数据 编辑:程序博客网 时间:2024/05/29 02:34
Several artificial intelligence projects have sought to hard-code knowledge about the world in formal languages. A computer can reason about statements in these formal languages automatically using logical inference rules. This is known as the knowledge base approach to artificial intelligence. None of these projects has led to a major success. One of the most famous such projects is Cyc (Lenat and Guha,
1989). Cyc is an inference engine and a database of statements in a language called CycL. These statements are entered by a staff of human supervisors. It is an unwieldy process. People struggle to devise formal rules with enough complexity to accurately describe the world. For example, Cyc failed to understand a story about a person named Fred shaving in the morning (Linde, 1992). Its inference engine detected an inconsistency in the story: it knew that people do not have electrical parts, but because Fred was holding an electric razor, it believed the entity “FredWhileShaving” contained electrical parts. It therefore asked whether Fred was still a person while he was shaving.
有好几个人工智能的项目都试图使用普通的编程的方式,硬编码地把全世界的知识输入到计算机里,以便计算机可以自动从那些逻辑规则来产生智能的推理。用这种方式来构造人工智能的过程叫做知识库的方法,但是这些项目没有一个取得重大的成功。其中最出色的要算Cyc(Lenat and Guha,1989)项目了,它是一个逻辑推理的引擎,采用一种叫做CycL语言来编写推理规则的知识数据库,这些规则语句都是由人工的方式进行输入去。这是一个非常笨拙的过程,因为人们很难设计出足够复杂的规则来准确地描述这个现实世界。例如,Cyc在尝试理解Fred在早上刷胡子的故事时就出错了(Linde, 1992),在这个故事里,Cyc的推断引擎就前后矛盾,它知道人是没有电器部分的,但当有一个叫Fred的人手里拿着一个电动胡须刀时,它却认为“FredWhileShaving”当作一个整体,因此当Fred拿着胡须刀时,它却在问Fred是否还是一个人。
CycL is a formal language whose syntax derives from first-order predicate calculus (the language of formal logic) and from Lisp. In order to express common sense knowledge, however, it goes far beyond first order logic. The vocabulary of CycL consists of terms. The set of terms can be divided into constants, non-atomic terms (NATs), variables, and a few other types of objects. Terms are combined into meaningful CycL expressions, which are used to make assertions in the CYC knowledge base.
This document will be sloppy with respect to the distinction between the formal language CycL and the datastructures used to represent CycL expressions in the CYC KB. Of course these are two separate things, but for explanatory purposes it is useful to overload the vocabulary.
- Constants
- Variables
- Sentences
- Predicates
- Logical Connectives
- Quantification
- Non-Atomic Terms
- Assertions
1. TensorFlow API攻略
3. C++标准模板库从入门到精通
http://edu.csdn.net/course/detail/3324
4.跟老菜鸟学C++
5. 跟老菜鸟学python
6. 在VC2015里学会使用tinyxml库
7. 在Windows下SVN的版本管理与实战
http://edu.csdn.net/course/detail/2579
8.Visual Studio 2015开发C++程序的基本使用
http://edu.csdn.net/course/detail/2570
9.在VC2015里使用protobuf协议
10.在VC2015里学会使用MySQL数据库
- MIT的《深度学习》精读(9)
- MIT的《深度学习》精读(1)
- MIT的《深度学习》精读(2)
- MIT的《深度学习》精读(3)
- MIT的《深度学习》精读(4)
- MIT的《深度学习》精读(5)
- MIT的《深度学习》精读(6)
- MIT的《深度学习》精读(7)
- MIT的《深度学习》精读(8)
- MIT的《深度学习》精读(10)
- MIT的《深度学习》精读(16)
- MIT的《深度学习》精读(17)
- MIT的《深度学习》精读(18)
- MIT的《深度学习》精读(19)
- MIT的《深度学习》精读(20)
- MIT的《深度学习》精读(21)
- MIT的《深度学习》精读(22)
- MIT的《深度学习》精读(23)
- 《ACM程序设计》书 训练题中的H题
- 深入剖析Tomcat 第二章 一个简单的Servlet服务器
- 解决intellij idea新建maven项目,加载archetype模型很慢
- 设计模式
- LeetCode之Palindrome Number(回文数)
- MIT的《深度学习》精读(9)
- 对于模态框的使用
- 2017 BAT某家实习生电面---第一次电面的惨痛经历
- webrtc 的回声抵消算法
- 页面滚动时,动态添加css动画
- LeetCode 141. Linked List Cycle(C++版)
- 大小堆实现
- Spring学习笔记2017.03.24
- Android屏幕适配(个人的一点点总结及经验)