一个多层的context逻辑  

A Multilevel Context Logic

作　　者：刘海燕[1] 陈火旺[1] 王兵山[1] 

机构地区：[1]国防科学技术大学计算机系

出　　处：《国防科技大学学报》1996年第3期109-114,共6页Journal of National University of Defense Technology

摘　　要：本文介绍了ｃｏｎｔｅｘｔ研究的现状，定义了一个新的ｃｏｎｔｅｘｔ逻辑ＣＬ，定义并证明了与之相关的一些概念和定理。in this paper, the current state of researches on context is briefly introduced,a new Logic of Context, CL, is defined, some of its definitions and theorems are also provided.

关 键 词：人工智能 CONTEXT 移动规则 元理论 知识表示 

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