基于上下文的知识表示和推理——人工智能的观点  

Context-Based Knowledge Representation and Reasoning——from the perspective of artificia1 intelligence

作　　者：林仙[1] 刘惟一[1] 

机构地区：[1]云南大学计算机科学系,昆明650091

出　　处：《计算机科学》2005年第1期142-146,共5页Computer Science

基　　金：国家自然科学基金(60263006);云南省自然科学基金(2002F0011M);中科院智能信息处理开放实验室课题(Ⅱ P2002-2)

摘　　要：本文中,我们从知识表示和推理(KRR)的角度概括地阐述了上下文推理的概念和基本原理。首先阐述了上下文的概念;然后介绍了上下文推理的三种基本形式和上下文理论的两个基本原理,也就是局部性原理和一致性原理;接着讨论了上下文推理的形式化问题;最后通过对一个叫“魔术盒问题”的求解来展示如何利用多上下文系统MCS对问题进行形式化表示和求解。In this paper, we generally introduce the concepts of context and general principles of contextual reasoning from the perspective of KRR(Knowledge Representation and Reasoning). First, we illustrate the concepts of contex- t,then illustrate three forms of contextual reasoning and two general principles of context theory, namely locality and compatibility. We also discuss the formalizations of contextual reasoning' At last, we give out a example called the Magic Box Problem and show how to formalize and solve the problem using MCS(Multi-Context Systems).

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

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]