图 书 馆
网络规模推理和LarKC项目 (回顾和进展)Web Scale Reasoning and the LarKC Project (Review and Progress) |
|
| 课程网址: | http://videolectures.net/coinactivess2010_witbrock_lkc/ |
| 主讲教师: | Michael Witbrock |
| 开课单位: | 沃森研究中心 |
| 开课时间: | 2010-11-24 |
| 课程语种: | 英语 |
| 中文简介: |  |
| 课程简介: | "Scaling automated reasoning can be approached from the bottom up, but speeding up extremely simple reasoning over large numbers of data, or from the top down, but harnessing powerful rules and complex inference to broaden the range of problems that data can address. In this talk, both approaches are discussed. For the first, the EU-Funded LarKC project, of which Dr Witbrock is technical director, is described. In LarKC, simple, semantic web inference over RDF is supported, but its reach is extended with parallelism, application of cognitively-inspired algorithms, stream reasoning, and the ability to experiment with novel, even non-logical, inference mechanisms. For the second approach, the Cyc system is described. Cyc, produced by Cycorp in the US and Slovenia, supports first order and higher inference over very large rule sets and highly heterogeneous knowledge bases. It also has a highly developed mechanism for NL query and knowledge capture. By combining the "deep and diverse" approach of Cyc with the "shallow but broad" approach of LarKC, it may be possible to scale automated reasoning towards genuine AI". |
| 关 键 词: | AI; 认知的算法; 自动推理 |
| 课程来源: | 视频讲座网 |
| 最后编审: | 2019-03-05：lxf |
| 阅读次数: | 77 |