On representation theorems for nonmonotonic consequence relations

被引：9

作者：

Pérez, RP

Uzcátegui, C

机构：

[1] Univ Lille 1, CNRS, UA 369, Lab Informat Fondamentale Lille, F-59655 Villeneuve Dascq, France

[2] Univ Los Andes, Fac Ciencias, Dept Matemat, Merida 5101, Venezuela

来源：

JOURNAL OF SYMBOLIC LOGIC | 2000年 / 65卷 / 03期

关键词：

D O I：

10.2307/2586702

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

One of the main tools in the study of nonmonotonic consequence relations is the representation of such relations in terms of preferential models. In this paper we give an unified and simpler framework to obtain such representation theorems.

引用

页码：1321 / 1337

页数：17

共 11 条

[1] Rational transitivity and its models [J].

Bezzazi, H ;

Perez, RP .

1996 26TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS, 1996, :160-165

[2] Beyond rational monotony: Some strong non-Horn rules for nonmonotonic inference relations [J].

Bezzazi, H ;

Makinson, D .

JOURNAL OF LOGIC AND COMPUTATION, 1997, 7 (05) :605-631

[3] RATIONALITY, TRANSITIVITY, AND CONTRAPOSITION [J].

FREUND, M ;

LEHMANN, D ;

MORRIS, P .

ARTIFICIAL INTELLIGENCE, 1991, 52 (02) :191-203

[4]

Freund M., 1993, Journal of Logic and Computation, V3, P231, DOI 10.1093/logcom/3.3.231

[5] NONMONOTONIC INFERENCE BASED ON EXPECTATIONS [J].

GARDENFORS, P ;

MAKINSON, D .

ARTIFICIAL INTELLIGENCE, 1994, 65 (02) :197-245

[6] NONMONOTONIC REASONING, PREFERENTIAL MODELS AND CUMULATIVE LOGICS [J].

KRAUS, S ;

LEHMANN, D ;

MAGIDOR, M .

ARTIFICIAL INTELLIGENCE, 1990, 44 (1-2) :167-207

[7] WHAT DOES A CONDITIONAL KNOWLEDGE BASE ENTAIL [J].

LEHMANN, D ;

MAGIDOR, M .

ARTIFICIAL INTELLIGENCE, 1992, 55 (01) :1-60

[8] Abductive consequence relations [J].

Lobo, J ;

Uzcategui, C .

ARTIFICIAL INTELLIGENCE, 1997, 89 (1-2) :149-171

[9]

Makinson David, 1994, HDB LOGIC ARTIFICIAL, V3

[10] Jumping to explanations versus jumping to conclusions [J].

Pino-Pérez, R ;

Uzcátegui, C .

ARTIFICIAL INTELLIGENCE, 1999, 111 (1-2) :131-169

← 1 2 →