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 条
12345