在人工智慧中对知识的表示或描述，也就是知识的形式化或模型化。语言学知识（如句法、语意等）和外部世界知识（如常识和领域知识等）的形式化表达机制。对于一种知识表示机制来说，应考虑四个的特性：表达能力、推理能力、推理效率和获取效率。人工智慧界通常把知识表示机制粗分成陈述性和过程性两大类。