AI Foundations

Definition

知识编译是指人工智能中的一类技术，它将知识库或逻辑理论转换为不同的表示形式，从而促进更快的操作，如可满足性检查。

知识编译是将知识表示转换为更高效形式的过程，以便 …