关于断言的缺省逻辑被引量：1

原文传递

导出

摘要在Brewka提出的一种修正的缺省逻辑的基础上,对Reiter原来缺省逻辑作了推广,得到了一种关于断言的缺省逻辑,并证明Brewka修正的缺省逻辑就是一种特殊的关于断言的正规缺省逻辑。

作者苏开乐丁德成

机构地区南京大学数学系

出处《中国科学（A辑）》 CSCD 1994年第6期645-652,共8页 Science in China(Series A)

基金国家"863"高科技计划资助项目

关键词缺省逻辑断言非单调推理

同被引文献10

1R Reiter.A Logic for Default Logic.A2,1980;13:81-132.
2G Brewka.Cumulative Default Logic:in defense of nonomontic inference rules.A2.1991:50:183-205.
3Lawra Girordano.Alberto Martelli:on Cumulative Default Logics.A2,1994, 66:161-179.
4Grigoris Antonion.Nonmonotic Reasoning.Massachusatts Institue of Technology, 1997.
5V W Marek,M Tuszczynski.Nonmonotic Logic(Context-Default Reasoning)[M].Springer-Verlag Berlin Heidelberg,1993.
6Zhang Ming Yi.A New Reseach into Default Logic.Information Compution, 1991;129:73-85.
7Georg Gottlob,Zhang Ming Yi ,Cumulative Default Logic:finite characterization[J].algorithms and complexity,1994;69:329-345.
8Zhang Ming Yi.Characterizations and Algorithms of Extensions for CADL and QDL[J].J Comput Sci $\&$ Technol, 1993;14(2):140-145.
9张明义,张颖.缺省逻辑的累积性变种的扩张特征[J].计算机学报,1998,21(2):119-126. 被引量：1
10李爱平,吴泉源,伍赛先.可能性缺省逻辑及其应用[J].计算机工程与科学,2001,23(4):96-99. 被引量：5

中国科学（A辑）

1994年第6期

内容加载中请稍等...