摘要： 本文中，我们从知识表示和推理(KRR)的角度概括地阐述了上下文推理的概念和基本原理。首先阐述了上下文的概念；然后介绍了上下文推理的三种基本形式和上下文理论的两个基本原理，也就是局部性原理和一致性原理；接着讨论了上下文推理的形式化问题；最后通过对一个叫“魔术盒问题”的求解来展示如何利用多上下文系统MCS对问题进行形式化表示和求解。

关键词: 上下文 知识表示 推理 人工智能 形式化问题