| 引用本文: | 刘海燕,陈火旺,刘凤岐.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[点击复制] |
|
| |
|
|
| 本文已被：浏览 6388次 下载 5881次 |
| 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 |
|
|
|
|
|
