图 书 馆
Cyc的基本事实，规则和概率推论Ground Facts, Rules and Probabilistic Inference forCyc |
|
| 课程网址: | http://videolectures.net/ida07_witbrock_gf/ |
| 主讲教师: | Michael Witbrock |
| 开课单位: | 沃森研究中心 |
| 开课时间: | 信息不详。欢迎您在右侧留言补充。 |
| 课程语种: | 英语 |
| 中文简介: |  |
| 课程简介: | One aspect of Cyc is a very large, logic-based knowledge base that includes, inter-alia, large amounts of background knowledge over a wide variety of domains, but it is more than that; the Cyc project is an attempt to move towards general artificial intelligence by supporting automated reasoning about a very wide variety of real-world concerns. To support that goal, Cyc also encompasses, obviously enough, and inference engine able to reason over a large, contextual, knowledge base, but it also includes components for interpreting and producing natural language, acquiring knowledge and responding to user queries, and for interfacing with other software. Applying logic to representation of general knowledge, /at scale/, and using it in the production of intelligent behaviors has been difficult enough; unfortunately it is becoming clear that doing so using traditional logics is probably not sufficient, either for satisfying a long term goal of supporting general intelligence, or even for shorter term goals, like recognizing, interpreting, and elaborating descriptions of piracy events. In this talk, I'll briefly describe what Cyc is, and has been, and how it is growing, touch on an early approach to abductive reasoning and classification in a traditional logical framework, and some difficulties with that approach, and then describe recent, very initial work training the Markov Logic networks based on ground facts and rules within the millions of axioms of the Cyc KB. Finally I'll sketch a vision for a system that truly integrates both sound, deductive reasoning, and the bounded unsoundness of probabilistic classification, induction, abduction and deduction. |
| 关 键 词: | 知识库; 人工智能; 逻辑; 推理 |
| 课程来源: | 视频讲座网 |
| 最后编审: | 2019-11-03：cwx |
| 阅读次数: | 29 |