| 累积缺省逻辑的扩充 |
| |
| 引用本文： | 傅丽,王国俊.累积缺省逻辑的扩充[J].计算机工程与应用,2005,41(16):35-38,195. |
| |
| 作者姓名： | 傅丽 王国俊 |
| |
| 作者单位： | 陕西师范大学数学与信息科学学院,西安,710062;青海民族学院数学系,西宁,810007;陕西师范大学数学与信息科学学院,西安,710062 |
| |
| 摘 要： | 针对缺省理论的一大热点问题—缺省扩充,将Grigoris Antonion的语义算子理论算法及V.W.Marek和M.Frusz-cyuski的语构算法用于计算累积缺省逻辑(CDL)的扩充,系统地讨论了CDL及其新变种CADL与QDL的理论的扩充问题,从而使得具有累积性的缺省逻辑扩充的计算问题系统化,同时指出这两种方法可用于其他类型的缺省理论扩充的计算。
|
| 关 键 词： | 累积缺省逻辑 断言缺省逻辑 扩充 相容 支持 |
| 文章编号： | 1002-8331-(2005)16-0035-04 |
The Extensions of Cumulative Default Logic |
| |
| Fu Li,Wang Guojun.The Extensions of Cumulative Default Logic[J].Computer Engineering and Applications,2005,41(16):35-38,195. |
| |
| Authors: | Fu Li Wang Guojun |
| |
| Affiliation: | Fu Li1,2 Wang Guojun1 1 |
| |
| Abstract: | This paper is aimed at the default extension that is the main issue of default theory,using Crigoris Antonion's semantic operational theory algorithms and V.W.Marek & M.Fruszcyuski's syntaxic algorithms to compute the extension of Cumulative Default Logic(CDL) and systematically discusses the extension of CDL and its two new variants CADL,QDL.As a result,it systematizes the extension of cumulative default logic,and points these two methods can be used to compute extension of others default theory. |
| |
| Keywords: | Cumulative Default Logic assertion default theory extension consistent support |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
