Four-valued diagnoses for stratified knowledge-bases (1997) [4 citations — 0 self]

Download:

by Ofer Arieli, Arnon Avron

Proc. of the 1996 Ann. Conf. of the European Association for Computer Science Logic (CSL'96). Lecture Notes in Computer Science No.1258 (D.Van-dalen, M.Benzem -- eds

http://antares.math.tau.ac.il/~aa/articles/csl96.ps.gz

Add To MetaCart

Popular Tags

No tags have been applied to this document.

BibTeX | Add To MetaCart

@INPROCEEDINGS{Arieli97four-valueddiagnoses,
    author = {Ofer Arieli and Arnon Avron},
    title = {Four-valued diagnoses for stratified knowledge-bases},
    booktitle = {Proc. of the 1996 Ann. Conf. of the European Association for Computer Science Logic (CSL'96). Lecture Notes in Computer Science No.1258 (D.Van-dalen, M.Benzem -- eds},
    year = {1997},
    pages = {1--17},
    publisher = {Springer}
}

Abstract:

Abstract. We present a four-valued approach for recovering consistent data from inconsistent set of assertions. For a common family of knowledge-bases we also provide an efficient algorithm for doing so automaticly. This method is particularly useful for making model-based diagnoses. 1

Citations

661	A theory of diagnosis from first principles – Reiter - 1987
415	Nonmonotonic reasoning, preferential models and cumulative logics – Kraus, Lehmann, et al.
208	Reasoning about Change: Time and causation from stand point of Artificial Intelligence – Shoham - 1988
192	What does a conditional knowledge base entail – Lehmann, Magidor - 1992
92	A logic for reasoning with inconsistency – Kifer, Lozinskii - 1992
85	A Semantical approach to nonmonotonic logics – Shoham - 1987
70	A useful four-valued logic, Modern Uses of Multiple-Valued Logics – Belnap - 1977
44	Reasoning with logical bilattices – Arieli, Avron - 1996
39	Minimally inconsistent LP – Priest - 1991
20	Logical bilattices and inconsistent data – Arieli - 1994
19	computer should think. Contemporary Aspects of Philosophy (G.Ryle – How - 1977
15	logics: A uniform approach to reasoning in AI – Multivalued - 1988
13	On the theory of inconsistent formal systems – da-Costa - 1974
9	The alibi principle – Raiman - 1992
4	A bilattice-based approach to recover consistent data from inconsistent knowledge-bases – Arieli - 1995
3	The stable model semantics for logic programming. Proc. of the 5th logic programming symposium – Gelfond - 1988

View or Download | Add to My Collection | Correct Errors