Ofer Arieli, Arnon Avron  Home/Search
Context Related
| math.tau.ac.il/~ofera/bisfai95.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: math.tau.ac.il/~ofera/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Bilattices, which have been shown to be very useful in logic programming, are used here for recovering consistent data from an inconsistent knowledge-base. Our method is conservative in the sense that it considers the contradictory data as useless, and regards all the remaining information unaffected. This kind of approach is nonmonotonic and paraconsistent in nature. (Update)
Context of citations to this paper: More
...in the literature. Priest [Pr91] uses similar consequence relation for defining the logic LPm from the threevalued logic LP. Now, in [AA95] it is shown that for finite sets of assertions j= mcem and j= Omega are the same. Therefore, when switching to four valued semantics...
...unrealistic, e.g. in knowledge bases in which the information comes from several sources. A preliminary version of this paper appears in [AA95]. One possible solution to this problem is to use some kind of a paraconsistent logic ( dC74] i.e. a logic in which trivial...
Cited by: More
A Four-Valued Approach For Handling Inconsistency In Prioritized.. - Arieli (1997) (Correct)
Four-Valued Diagnoses for Stratified Knowledge-Bases - Arieli, Avron (1997) (Correct)
A Model-Theoretic Approach for Recovering Consistent Data from .. - Arieli, Avron (1999) (Correct)
Active bibliography (related documents): More All
0.7: Bilattices and Paraconsistency - Arieli, Avron (1997) (Correct)
0.6: The Logical Role of the Four-Valued Bilattice - Arieli, Avron (1998) (Correct)
0.6: The Value of the Four Values - Arieli, Avron (1998) (Correct)
Similar documents based on text: More All
0.4: Reasoning with Logical Bilattices - Arieli, Avron (1995) (Correct)
0.3: Logical Bilattices and Inconsistent Data - Arieli, Avron (1994) (Correct)
0.3: Formulas for which Contraction is - Admissible Arnon Avron (Correct)
Related documents from co-citation: More All
4: the theory of inconsistent formal systems (context) - Costa - 1974
4: Modern Uses of Multiple-Valued Logic (context) - Belnap, four-valued - 1977
4: Contemporary Aspects of Philosophy (context) - Belnap, should - 1977
BibTeX entry: (Update)
O.Arieli, A.Avron. A bilattice-based approach to recover consistent data from inconsistent knowledge-bases. Proc. 4th Bar-Ilan Symp. on Foundations of Artificial Intelligence (BISFAI'95), pp.231-240; 1995. http://citeseer.ist.psu.edu/arieli95bilatticebased.html More
@inproceedings{ arieli95bilatticebased,
author = "O. Arieli and A. Avron",
title = "{A Bilattice-Based Approach to Recover Consistent Data From Inconsistent Knowledge-Bases}",
booktitle = "Proceedings of the 4th Bar-Ilan Symposium on Foundations of Artificial Intelligence ({BISFAI} 95)",
publisher = "AAAI Press",
pages = "14--23",
year = "1995",
url = "citeseer.ist.psu.edu/arieli95bilatticebased.html" }
Citations (may not include all citations):120 Bilattices and the semantics of logic programming - Fitting - 1991
99 Multivalued logics: a uniform approach to reasoning in AI (context) - Ginsberg - 1988
71 A logic for reasoning with inconsistency - Kifer, Lozinskii - 1992
70 the theory of inconsistent formal systems (context) - da-Costa - 1974
38 The family of stable models - Fitting - 1993
36 Reasoning with logical bilattices - Arieli, Avron - 1994
29 Modern Uses of Multiple-Valued Logic (context) - Belnap, four-valued - 1977
24 Bilattices in logic programming - Fitting - 1990
23 Kleene's three-valued logics and their children (context) - Fitting - 1994
23 Negation as refutation - Fitting - 1989
21 Contemporary Aspects of Philosophy (context) - Belnap, should - 1977
19 Paraconsistent disjunctive deductive databases (context) - Subrahmanian - 1990
16 Vivid logic: knowledge-based reasoning with two kinds of neg.. (context) - Wagner - 1994
14 Mechanical proof procedures for many valued lattice-based lo.. (context) - Subrahmanian - 1990
11 on Logic in Computer Science (context) - Arieli, Avron et al. - 1994
7 A Model-theoretic approach to recover consistent data from i.. (context) - Arieli, Avron - 1994
5 Logic and Computation (context) - Fitting, generalized - 1990
4 Theory of generalized annotated programming and it's applica.. (context) - Kifer, Subrahmanian - 1992
2 Recovering contradictions: a pluasible semantics for inconsi.. (context) - Lozinskii - 1994
2 Workshop on Non-Monotonic Reasoning (context) - Brown, Shoham et al. - 1988
1 of the 5th Workshop on Computer Science Logic (context) - Lehmann, Proc - 1992
1 Benchmark problems for formal nonmonotonic reasoning (context) - Lifschits - 1988
Documents on the same site (http://www.math.tau.ac.il/~ofera/): More
Automatic Diagnoses for Properly Stratified Knowledge-Bases - Arieli, Avron (1996) (Correct)
Bilattices and Paraconsistency - Arieli, Avron (1997) (Correct)
Logical Bilattices and Inconsistent Data - Arieli, Avron (1994) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC