A new research into default logic

被引：4
|
作者：
Zhang, MY [1 ]
机构：
[1] SW NORMAL UNIV, CHONGQING 630715, SICHUAN, PEOPLES R CHINA
来源：
INFORMATION AND COMPUTATION | 1996年 / 129卷 / 02期
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
In previous papers some important properties of extensions of general default theories were given. In order to dedicate further research to default logic, a characterization of extensions is presented again and some new algorithms for reasoning tasks in default logic are presented in this paper. A class of default theories, auto-compatible default theory, is also developed. We show that the characterization and notions of compatibility and auto-compatibility, suitably applied to logic programs, yield some sufficient conditions of existence of answer sets. All these essentially develop the theories of Reiter and his followers. (C) 1996 Academic Press. Inc.
引用
收藏
页码：73 / 85
页数：13
相关论文
共 50 条
  • [1] A Default Logic Patch for Default Logic
    Besnard, Philippe
    Gregoire, Eric
    Ramon, Sebastien
    SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, PROCEEDINGS, 2009, 5590 : 578 - +
  • [2] Expressing default logic variants in default logic
    Delgrande, JP
    Schaub, T
    JOURNAL OF LOGIC AND COMPUTATION, 2005, 15 (05) : 593 - 621
  • [3] New insights on the intuitionistic interpretation of Default Logic
    Cabalar, P
    Lorenzo, D
    ECAI 2004: 16TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, 110 : 798 - 802
  • [4] Using default logic to enhance default logic:: preliminary report
    Gregoire, Eric
    PROCEEDINGS OF THE 2008 IEEE INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION, 2008, : 336 - 340
  • [5] Default Logic as Dynamic Doxastic Logic
    Krister Segerberg
    Erkenntnis, 1999, 50 (2-3) : 333 - 352
  • [6] Computing with default logic
    Cholewinski, P
    Marek, VM
    Mikitiuk, A
    Truszczynski, M
    ARTIFICIAL INTELLIGENCE, 1999, 112 (1-2) : 105 - 146
  • [7] Representability in default logic
    Liberatore, Paolo
    LOGIC JOURNAL OF THE IGPL, 2005, 13 (03) : 335 - 351
  • [8] Uncontroversial default logic
    Liberatore, P
    JOURNAL OF LOGIC AND COMPUTATION, 2004, 14 (05) : 747 - 765
  • [9] HIERARCHICAL DEFAULT LOGIC
    MACNISH, C
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 548 : 246 - 253
  • [10] Uncontroversial default logic
    Liberatore, P
    ECAI 2002: 15TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2002, 77 : 526 - 530
12345