Distance-based paraconsistent logics

被引：24

作者：

Arieli, Ofer ^{[1
]}

机构：

[1] Acad Coll Tel Aviv, Dept Comp Sci, IL-61161 Tel Aviv, Israel

来源：

INTERNATIONAL JOURNAL OF APPROXIMATE REASONING | 2008年 / 48卷 / 03期

关键词：

paraconsistent and non-monotonic reasoning; distance semantics; multiple-valued logics;

D O I：

10.1016/j.ijar.2007.07.002

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

We introduce a general framework that is based on distance semantics and investigate the main properties of the entailment relations that it induces. It is shown that such entailments are particularly useful for non-monotonic reasoning and for drawing rational conclusions from incomplete and inconsistent information. Some applications are considered in the context of belief revision, information integration systems, and consistent query answering for possibly inconsistent databases. (C) 2007 Elsevier Inc. All rights reserved.

引用

页码：766 / 783

页数：18

共 60 条

[1]

Abiteboul S., 1995, Foundations of databases, V1st

[2] ON THE LOGIC OF THEORY CHANGE - PARTIAL MEET CONTRACTION AND REVISION FUNCTIONS [J].

ALCHOURRON, CE ;

GARDENFORS, P ;

MAKINSON, D .

JOURNAL OF SYMBOLIC LOGIC, 1985, 50 (02) :510-530

[3]

[Anonymous], 1991, STUD LOGICA, DOI DOI 10.1007/BF00370190

[4]

[Anonymous], 1941, INTRO LOGIC

[5]

[Anonymous], 2000, FRONTIERS PARACONSIS

[6]

[Anonymous], 1998, LOGIC WORK

[7] Answer sets for consistent query answering in inconsistent databases [J].

Arenas, M ;

Bertossi, L ;

Chomicki, J .

THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2003, 3 :393-424

[8]

Arenas M., 1999, Proceedings of the Eighteenth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, P68, DOI 10.1145/303976.303983

[9] Computational methods for database repair by signed formulae [J].

Arieli, O ;

Denecker, M ;

Van Nuffelen, B ;

Bruynooghe, M .

ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2006, 46 (1-2) :4-37

[10]

Arieli O, 2004, FRONT ARTIF INTEL AP, V110, P773

← 1 2 3 4 5 6 →