摘要
对上下文推理的原理和形式进行了阐述,讨论了上下文推理的形式化问题,并给出一个利用MCS对问题进行形式化表示和求解的实例。
In this paper, the principles and formalization of contextual reasoning are reviewed. The formalizations of contextual reasoning are discussed, and we give out a example which show how to formalize and solve the problem using MCS(Multi-Context Systems).
出处
《微计算机信息》
北大核心
2006年第12Z期210-212,共3页
Control & Automation
基金
湖北省教育厅重点项目(2004X085)
关键词
上下文
上下文推理
上下文形式化
context,contextual reasoning,contextual formalization.