自动推理是人工智能分析领域最重要白勺分析方向之一,知识编译(Knowledge Compilation)是近年来提出白勺卓有成效白勺推理问题处理方法之一。目前大多数知识编译方法都是基于命题逻辑白勺。
基于36个网页-相关网页
·2,447,543篇论文数据，部分数据来源于NoteExpress
知识编译是近年来出现的一个新的研究方向，它用于处理一般命题逻辑推理的计算复杂性。
Knowledge Compilation emerged in recent years as a new research direction; it is used to deal with the computational complexity of propositional logic.
针对这一问题，本文对几种新发现的编译目标语言的性质进行了深入的分析，同时扩展了知识编译图谱。
To solve this problem, this compilation of several new and emerging nature of the target language in-depth analysis, expanding the knowledge compilation map.
知识编译的主要动机是将主要花销放在离线阶段，用无数次的有效在线查询抵消，并生成一个快捷的在线推理系统。
The main motivation of knowledge compilation is putting the main expense on the off-line stage, using for numerous Effective off-line query to offset, and generate a fast online inference system.
应用推荐