A FRAMEWORK FOR DEFAULT LOGICS

被引：0
|
作者：
FROIDEVAUX, C
MENGIN, J
机构：
来源：
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE | 1992年 / 633卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We present a general framework for default logics, which encompasses most of the existing variants of default logic. It allows us to compare those variants from a knowledge representation point of view. We then exploit this framework to generalize Brewka's work on cumulative default logic, and to give an operational definition of extensions. Proof theoretical and semantical aspects are investigated.
引用
收藏
页码：154 / 173
页数：20
相关论文
共 50 条
  • [21] Bijective faithful translations among default logics
    Liberatore, Paolo
    JOURNAL OF LOGIC AND COMPUTATION, 2014, 24 (04) : 763 - 807
  • [22] The complexity of model checking for propositional default logics
    Liberatore, P
    Schaerf, M
    DATA & KNOWLEDGE ENGINEERING, 2005, 55 (02) : 189 - 202
  • [23] Default description logics with reversing inference rules
    Sun, Yu
    Sui, Yuefei
    PROCEEDINGS OF THE FIFTH IEEE INTERNATIONAL CONFERENCE ON COGNITIVE INFORMATICS, VOLS 1 AND 2, 2006, : 280 - 285
  • [24] Uniform semantic treatment of default and autoepistemic logics
    Denecker, M
    Marek, VW
    Truszczynski, M
    ARTIFICIAL INTELLIGENCE, 2003, 143 (01) : 79 - 122
  • [25] The complexity of model checking for propositional default logics
    Liberatore, P
    Schaerf, M
    ECAI 1998: 13TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 1998, : 18 - 22
  • [26] Default Logics with Preference Order: Principles and Characterisations
    Langholm, Tore
    Logic for Programming, Artificial Intelligence, and Reasoning, Proceedings, 2008, 5330 : 406 - 420
  • [27] Framework for defining logics
    Harper, Robert
    Honsell, Furio
    Plotkin, Gordon
    Journal of the ACM, 1993, 40 (01): : 143 - 184
  • [28] Operational characterization of extensions in some logics for default reasoning
    Antoniou, G
    INFORMATION SCIENCES, 1996, 89 (3-4) : 261 - 273
  • [29] Yet some more considerations on cumulativity in default logics
    Risch, V
    SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING AND UNCERTAINTY, 1995, 946 : 364 - 378
  • [30] A FRAMEWORK FOR DEFINING LOGICS
    HARPER, R
    HONSELL, F
    PLOTKIN, G
    JOURNAL OF THE ACM, 1993, 40 (01) : 143 - 184
12345