引用本文: | 刘海燕,陈火旺,刘凤岐.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[点击复制] |
|
|
|
本文已被:浏览 5984次 下载 5385次 |
Context 的非单调推理 |
刘海燕, 陈火旺, 刘凤岐 |
(国防科技大学 计算机系 湖南 长沙 410073)
|
摘要: |
基于文[l]定义的context 逻辑 CL,本文分别引入限制理论和缺省理论到 context 推理中,给出有关的定义和定理。 |
关键词: 非单调,限制,缺省,优先 |
DOI: |
投稿日期:1996-03-15 |
基金项目: |
|
Nonmonotonic Reasoning of Context Logic |
Liu Haiyan, Chen Huowang, Liu Fengqi |
(Department of Computer Science,NUDT,Changsha,410073)
|
Abstract: |
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. |
Keywords: nonmonotonic,circumscription default,priority |
|
|
|
|
|