知识编译

知识编译（knowledge compilation），计算机科学技术名词，泛指把不能直接由计算机处理的知识表示转换成计算机可操作的形式。包括数据和代码。例如处理命题逻辑知识库时常用一种离线编译技术：命题理论首先被编译为一种目标语言；在实际的在线推理或查询中，这种编译过后的理论可以在多项式时间内完成推理或者查询。