Context的非单调推理  

Nonmonotonic Reasoning of Context Logic

作　　者：刘海燕[1] 陈火旺[1] 刘凤歧[1] 

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

出　　处：《国防科技大学学报》1996年第4期88-92,共5页Journal of National University of Defense Technology

摘　　要：基于文［１］定义的ｃｏｎｔｅｘｔ逻辑ＣＬ，本文分别引入限制理论和缺省理论到ｃｏｎ－ｔｅｘｔ推理中，给出有关的定义和定理。Based on the Logic of context,CL,defined in [1],circumscription anddefault theory are introduced into context reasoning, its related definitions and theoremsare also provided.

关 键 词：Context逻辑 非单调推理 容错性 限制理论 

分 类 号：TP301.2[自动化与计算机技术—计算机系统结构]