ON EXTENSIONS OF GENERAL DEFAULT THEORIES

被引：0
|
作者：
ZHANG, MY
机构：
来源：
SCIENCE IN CHINA SERIES A-MATHEMATICS PHYSICS ASTRONOMY | 1993年 / 36卷 / 10期
关键词：
DEFAULT THEORY; EXTENSION; COMPATIBLE SUBSET OF DEFAULTS; AUTO-INCOMPATIBLE DEFAULT;
D O I：
暂无
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
In this paper, some important results on the existence and uniqueness of extensions of general default theories are given, and the notion of compatible subset of defaults and that of auto-compatible default are introduced. Based on the theory developed here, characterizations of extensions of Reiter's default logic and Brewka's cumulative default logic have been obtained respectively, and a class of defaults, the so-called auto-compatible defaults, has been presented.
引用
收藏
页码：1273 / 1280
页数：8
相关论文
共 50 条
  • [21] Reasoning with stratified default theories
    Int J Pressure Vessels Piping, 2 (273):
  • [22] Consequence finding in default theories
    Inoue, K
    Iwanuma, K
    Nabeshima, H
    FLEXIBLE QUERY ANSWERING SYSTEMS, PROCEEDINGS, 2004, 3055 : 459 - 472
  • [23] Handling contradictions in default theories
    Lin, Zhangang
    Lin, Zuoquan
    KNOWLEDGE SCIENCE, ENGINEERING AND MANAGEMENT, 2007, 4798 : 556 - 561
  • [24] Semi-representability of default theories in rational default logic
    Mikitiuk, A
    LOGICS IN ARTIFICIAL INTELLIGENCE, 1996, 1126 : 192 - 207
  • [25] A system for computing constrained default logic extensions
    Antoniou, G
    Courtney, AP
    Ernst, J
    Williams, MA
    LOGICS IN ARTIFICIAL INTELLIGENCE, 1996, 1126 : 237 - 250
  • [26] General default logic
    Zhou, Yi
    Lin, Fangzhen
    Zhang, Yan
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS, 2007, 4483 : 241 - +
  • [27] General default logic
    Yi Zhou
    Fangzhen Lin
    Yan Zhang
    Annals of Mathematics and Artificial Intelligence, 2009, 57 : 125 - 160
  • [28] General default logic
    Zhou, Yi
    Lin, Fangzhen
    Zhang, Yan
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2009, 57 (02) : 125 - 160
  • [29] HOMOLOGY THEORIES AND KAN EXTENSIONS
    PICCININ.RA
    NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1974, 21 (05): : A507 - A507
  • [30] TORSION THEORIES AND RING EXTENSIONS
    LOUDEN, K
    COMMUNICATIONS IN ALGEBRA, 1976, 4 (06) : 503 - 532
12345