会员服务
描述逻辑(DescriptionLogic)是基于对象的知识表示的形式化，它吸取了KL-ONE的主要思想，是一阶谓词逻辑的一个可判定子集。除了知识表示以外，描述逻辑还用在其它许多领域，它被认为是以对象为中心的表示语言的最为重要的归一形式。描述逻辑的重要特征是很强的表达能力和可判定性，它能保证推理算法总能停止，并返回正确的结果。在众多知识表示的形式化方法中，描述逻辑在十多年来受到人们的特别关注，主要原因在于：它们有清晰的模型-理论机制；很适合于通过概念分类学来表示应用领域；并提供了很多有用的推理服务。
7句话让Codex给我做了个小游戏，还是极简版塞尔达，一玩简直停不下来
7句话让Codex给我做了个小游戏，还是极简版塞尔达，一玩简直停不下来
量子位
0+阅读 · 2022年3月20日
集大成者！经典书《知识表示学习》，1035页pdf系统性讲解人工智能知识表示与推理基础、算法与应用
集大成者！经典书《知识表示学习》，1035页pdf系统性讲解人工智能知识表示与推理基础、算法与应用
专知
1+阅读 · 2020年11月20日
表达能力不太好的产品经理，如何搞定面试？
表达能力不太好的产品经理，如何搞定面试？
人人都是产品经理
0+阅读 · 2020年11月11日
知识图谱推理的最新研究进展
知识图谱推理的最新研究进展
DataFunTalk
9+阅读 · 2020年11月7日
以史为鉴 | 为什么要将「知识图谱」追溯到1956年？
以史为鉴 | 为什么要将「知识图谱」追溯到1956年？
开放知识图谱
0+阅读 · 2019年12月24日
为什么要将「知识图谱」追溯到1956年？
为什么要将「知识图谱」追溯到1956年？
AI科技评论
0+阅读 · 2019年12月19日
“不懂 CPU 工作原理又如何，直接用代码模拟一个！”
“不懂 CPU 工作原理又如何，直接用代码模拟一个！”
CSDN
1+阅读 · 2019年6月8日
活动推荐 | 文因互联CEO 鲍捷：未来的金融是什么？为你揭晓三大秘密
活动推荐 | 文因互联CEO 鲍捷：未来的金融是什么？为你揭晓三大秘密
文因互联
0+阅读 · 2019年3月5日
针对元建模和元查询应答比较具有诱惑力的语言Hi(SRIQ)
针对元建模和元查询应答比较具有诱惑力的语言Hi(SRIQ)
FCS
0+阅读 · 2018年10月22日
鲍捷 | 深度解析知识图谱发展关键阶段及技术脉络
鲍捷 | 深度解析知识图谱发展关键阶段及技术脉络
开放知识图谱
5+阅读 · 2018年8月29日
文因互联鲍捷：深度解析知识图谱发展关键阶段及技术脉络 | 干货推荐
文因互联鲍捷：深度解析知识图谱发展关键阶段及技术脉络 | 干货推荐
数据分析
0+阅读 · 2018年8月28日
文因互联鲍捷：知识图谱发展关键阶段及技术脉络 | 公开课笔记
文因互联鲍捷：知识图谱发展关键阶段及技术脉络 | 公开课笔记
文因互联
6+阅读 · 2018年8月27日
文因互联鲍捷：深度解析知识图谱发展关键阶段及技术脉络 | 公开课笔记
文因互联鲍捷：深度解析知识图谱发展关键阶段及技术脉络 | 公开课笔记
AI100
1+阅读 · 2018年8月24日
明晚8点开播 | 深度解析知识图谱发展关键阶段技术脉络（内有福利）
明晚8点开播 | 深度解析知识图谱发展关键阶段技术脉络（内有福利）
AI100
2+阅读 · 2018年8月1日
【IJCAI 2018】30大 Tutorial，人工智能百花齐放
【IJCAI 2018】30大 Tutorial，人工智能百花齐放
专知
4+阅读 · 2018年7月16日
参考链接
微信扫码咨询专知VIP会员
Top