Based on the Logic of context,CL,defined in [l],circumscription and default theory are introduced into context reasoning,its related definitions and theorems are a1so provided.
参考文献
相似文献
引证文献
引用本文
刘海燕,陈火旺,刘凤岐. Context 的非单调推理[J].国防科技大学学报,1996,18(4):88-92. Liu Haiyan, Chen Huowang, Liu Fengqi. Nonmonotonic Reasoning of Context Logic[J]. Journal of National University of Defense Technology,1996,18(4):88-92.