累积缺省逻辑的扩充

• 作者: 傅丽 王国俊
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 累积缺省逻辑 断言缺省逻辑 扩充 相容 支持
• 年，卷（期）: 2005,（16）
• 所属期刊栏目: 学术探讨
• 页码范围: 35-38,195
• 页数: 5页
• 分类号: TP301
• 字数: 6198字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2005.16.011

摘要

针对缺省理论的一大热点问题-缺省扩充,将Grigoris Antonion的语义算子理论算法及V.W.Marek和M.Fruszcyuski的语构算法用于计算累积缺省逻辑(CDL)的扩充,系统地讨论了CDL及其新变种CADL与QDL的理论的扩充问题,从而使得具有累积性的缺省逻辑扩充的计算问题系统化,同时指出这两种方法可用于其他类型的缺省理论扩充的计算.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	傅丽	陕西师范大学数学与信息科学学院	25	244	3.0	15.0
5	王国俊	陕西师范大学数学与信息科学学院	176	2910	25.0	49.0