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.
Reference
Related
Cited by
Get Citation
Liu Haiyan, Chen Huowang, Liu Fengqi. Nonmonotonic Reasoning of Context Logic[J]. Journal of National University of Defense Technology,1996,18(4):88-92.