Ofer Arieli  Home/Search
Context Related
| math.tau.ac.il/~ofera/fusion99.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: We present an approach for drawing plausible conclusions from inconsistent and incomplete knowledge-bases, which may also be prioritized. Our method is based on a four-valued semantics that is particularly suitable for reasoning with uncertainty. Our inference mechanism is closely related to some other well-known formalisms for handling inconsistent data, such as reasoning with maximal consistent subsets and possibilistic logic. It is shown that the formalism presented here is nonmonotonic,... (Update)
Context of citations to this paper: More
.... vote [21] or qualitative ones (e.g. de ning priorities on di erent sources of information or preferring certain data over another [2, 4, 5]) Other approaches are based on rewriting rules for representing the information in a speci c form [14] or use multiple valued...
.... vote [32] or qualitative ones (e.g. de ning priorities on di erent sources of information or preferring certain data over another [4, 9]) and approaches that are based on rewriting rules for representing the information in a speci c form [25] As in our case, abduction...
Cited by: More
Paraconsistent Declarative Semantics for Extended Logic Programs - Arieli (2002) (Correct)
Repairing Inconsistent Databases: A.. - Arieli, Denecker, .. (Correct)
Coherent Composition of Distributed.. - Arieli, Van.. (2001) (Correct)
Similar documents (at the sentence level):
65.3%: Four-Valued Logics for Reasoning with Uncertainty in Prioritized.. - Arieli (1999) (Correct)
Active bibliography (related documents): More All
0.7: An Algorithmic Approach to Recover Inconsistent Knowledge-bases - Arieli (1919) (Correct)
0.4: The Logical Role of the Four-Valued Bilattice - Arieli, Avron (1998) (Correct)
0.3: The Value of the Four Values - Arieli, Avron (1998) (Correct)
Similar documents based on text: More All
0.2: A Four-Valued Approach For Handling Inconsistency In Prioritized.. - Arieli (1997) (Correct)
0.1: Reasoning with Modularly Pointwise Preferential Relations - Arieli (Correct)
0.1: Four-Valued Diagnoses for Stratified Knowledge-Bases - Arieli, Avron (1997) (Correct)
Related documents from co-citation: More All
3: Combining knowledge with many-valued logics (context) - Messing - 1997
3: How to infer from inconsistent beliefs without revising - Benferhat, Dubois et al. - 1995
3: Bilattices and the semantics of logic programming - Fitting - 1991
BibTeX entry: (Update)
O.Arieli. Four-valued logics for reasoning with uncertainty in prioritized data. In: Information, Uncertainty, Fusion, 263-309, Kluwer, 1999. http://citeseer.ist.psu.edu/arieli99fourvalued.html More
@inproceedings{ arieli98fourvalued,
author = "O. Arieli",
title = "Four-Valued Logics for Reasoning with Uncertainty in Prioritized Data",
booktitle = "Proceedings of the 7th Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems ({IPMU}'98)",
pages = "503--510",
year = "1998",
url = "citeseer.ist.psu.edu/arieli99fourvalued.html" }
Citations (may not include all citations):129 What does a conditional knowledge base entail (context) - Lehmann, Magidor - 1992
120 Bilattices and the semantics of logic programming - Fitting - 1991 ACM DBLP
105 Theoretical foundation for non-monotonic reasoning in expert.. (context) - Gabbay - 1985
101 Inconsistency management and prioritized syntax-based entail.. (context) - Benferhat, Cayrol et al. - 1993 DBLP
99 Multivalued logics: A uniform approach to reasoning in AI (context) - Ginsberg - 1988
70 the theory of inconsistent formal systems (context) - da-Costa - 1974
36 Reasoning with logical bilattices - Arieli, Avron - 1996 DBLP
36 Qualitative probabilities for default reasoning (context) - Goldszmidt, Pearl - 1996
29 Modern Uses of Multiple-Valued Logic (context) - Belnap, four-valued - 1977
24 How to infer from inconsistent beliefs without revising - Benferhat, Dubois et al. - 1995
23 Kleene's three-valued logics and their children (context) - Fitting - 1994
22 The value of the four values - Arieli, Avron - 1998 ACM DBLP
21 Contemporary Aspects of Philosophy (context) - Belnap, should - 1977
20 conditional objects and possibility theory (context) - Benferhat, Dubois et al. - 1997
7 A model-theoretic approach to recover consistent data from i.. (context) - Arieli, Avron
7 Springer-Verlag (context) - Wagner, LNAI - 1994
4 Four-valued diagnoses for stratified knowledge-bases - Arieli, Avron - 1997 ACM DBLP
2 A four-valued approach for handling inconsistency in priorit.. - Arieli - 1997
2 Handbook of Logic in Artificial Intelligence and Logic Progr.. (context) - Dubios, Lang et al. - 1994 ACM
Documents on the same site (http://www.math.tau.ac.il/~ofera/): More
Automatic Diagnoses for Properly Stratified Knowledge-Bases - Arieli, Avron (1996) (Correct)
A Bilattice-based Approach to Recover Consistent Data from.. - Arieli, Avron (1995) (Correct)
Bilattices and Paraconsistency - Arieli, Avron (1997) (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