Definition
知识编译是指人工智能中的一类技术，它将知识库或逻辑理论转换为不同的表示形式，从而促进更快的操作，如可满足性检查。
Summary
知识编译是将知识表示转换为更高效形式的过程，以便更快地回答问题或进行推理。
Key Concepts
- 逻辑表示
- 查询优化
- 可满足性
- 预处理
Use Cases
- 自动规划系统
- 约束满足问题
- 实时诊断系统
A comprehensive multilingual AI terminology dictionary
知识编译是指人工智能中的一类技术，它将知识库或逻辑理论转换为不同的表示形式，从而促进更快的操作，如可满足性检查。
知识编译是将知识表示转换为更高效形式的过程，以便更快地回答问题或进行推理。