自动推理是人工智能分析领域最重要白勺分析方向之一,知识编译(Knowledge Compilation)是近年来提出白勺卓有成效白勺推理问题处理方法之一。目前大多数知识编译方法都是基于命题逻辑白勺。
基于36个网页-相关网页
...t）模型中三主成分陈述性记忆程序性记忆工作记忆技获陈述性知识转化程序性知识程Anderson程称知识编辑（knowledge compilation）知识编辑两子程（1）程序化问题解决学习会通手段-目分析方法结合学陈述性知识形成系列子目标不断问题解决活动陈述性知识会子目标...
基于16个网页-相关网页
以上来源于: WordNet
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.
知识编译的主要动机是将主要花销放在离线阶段，用无数次的有效在线查询抵消，并生成一个快捷的在线推理系统。
应用推荐