逻辑表示（英语：logical representation），知识表示的一种基本方式。人工智能需要运用现代逻辑方法去解决复杂的现实问题，即可用逻辑来表达推理也可以用逻辑表示知识。作为知识表示的比较典型的陈述性方式，逻辑表示具有自然性（最接近自然语言）、精确性、灵活性和模块性等优点。主要的缺点是知识表示与知识运用分离。为了运用所表示的知识，需要另行设置问题求解程序或定理证明程序（即自动推理程序）。PROLOG语言把谓词逻辑的知识表示和知识运用统一了起来。

• 人工智能
• 强人工智能
• 艾伦·图灵
• 图灵测试

• 电脑科学
• 认知科学
• 语义学
• 网络本体语言（OWL）

• 数据库
• 抽象知识
• 知识抽象化

• 描述逻辑
• 网络本体语言
• 本体语言
• KM编程语言