Where fail-safe default logics fail

被引：0
作者：
Liberatore, Pacilo [1 ]
机构：
[1] Univ Roma La Sapienza, Dipartimento Informat & Sistemist, I-00198 Rome, Italy
来源：
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC | 2007年 / 8卷 / 02期
关键词：
theory; default logic; polynomial-time translations; NONMONOTONIC LOGICS; INTRACTABLE PROBLEMS; AUTOEPISTEMIC LOGIC;
D O I：
10.1145/1227839.1227842
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Reiter's original definition of default logic allows for the application of a default that contradicts one previously applied. We call this condition failure. The possibility of generating failures has teen in the past considered a semantical problem, and variants have been proposed to solve it. We show that it is instead a computational feature that is needed to encode some domains into default logic.
引用
收藏
页数：29
相关论文
共 32 条
[1]   OPERATIONAL CONCEPTS OF NONMONOTONIC LOGICS .1. DEFAULT LOGIC [J].
ANTONIOU, G ;
SPERSCHNEIDER, V .
ARTIFICIAL INTELLIGENCE REVIEW, 1994, 8 (01) :3-16
[2]   A tutorial on default logics [J].
Antoniou, G .
ACM COMPUTING SURVEYS, 1999, 31 (04) :337-359
[3]   Default reasoning using classical logic [J].
BenEliyahu, R ;
Dechter, R .
ARTIFICIAL INTELLIGENCE, 1996, 84 (1-2) :113-150
[4]   Querying disjunctive databases through nonmonotonic logics [J].
Bonatti, PA ;
Eiter, T .
THEORETICAL COMPUTER SCIENCE, 1996, 160 (1-2) :321-363
[5]   CUMULATIVE DEFAULT LOGIC - IN DEFENSE OF NONMONOTONIC INFERENCE RULES [J].
BREWKA, G .
ARTIFICIAL INTELLIGENCE, 1991, 50 (02) :183-205
[6]   A SURVEY OF COMPLEXITY RESULTS FOR NONMONOTONIC LOGICS [J].
CADOLI, M ;
SCHAERF, M .
JOURNAL OF LOGIC PROGRAMMING, 1993, 17 (2-4) :127-160
[7]   Preprocessing of intractable problems [J].
Cadoli, M ;
Donini, FM ;
Liberatore, P ;
Schaerf, M .
INFORMATION AND COMPUTATION, 2002, 176 (02) :89-120
[8]  
Cadoli M, 2000, J ARTIF INTELL RES, V13, P1
[9]  
Cholewinski P., 1995, P 12 INT C LOG PROGR, P267
[10]  
DELGRANDE J, 2003, 7 EUR C SYMB QUANT A, P452
1234