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.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
O. Arieli, A. Avron. Logical bilattices and inconsistent data. Proc. of the 9th IEEE Annual Symp. on Logic in Computer Science (LICS'94). IEEE Press, pp. 468–476; 1994.
O. Arieli, A. Avron. A bilattice-based approach to recover consistent data from inconsistent knowledge-bases. Proc. of the 4th Bar-Ilan Symp. on Foundations of Artificial Intelligence (BISFAI'95), pp. 231–240; 1995.
O. Arieli, A. Avron. Reasoning with logical bilattices. Journal of Logic, Language, and Information, Vol. 5, pp. 25–63; 1996.
N.D. Belnap. A useful four-valued logic. Modern Uses of Multiple-Valued Logic (G. Epstein, J.M. Dunn-Eds.), Reidel, Dordrecht, pp. 7–37; 1977.
N.D. Belnap. How computer should think. Contemporary Aspects of Philosophy (G. Ryle-Ed.), Oriel Press, Stocksfield, England, pp. 30–56; 1977.
N.C.A. da-Costa. On the theory of inconsistent formal systems. Notre Damm Journal of Formal Logic, Vol. 15, pp. 497–510; 1974.
M.L. Ginsberg. Multivalued logics: A uniform approach to reasoning in AI. Computer Intelligence, Vol. 4, pp. 256–316; 1988.
M. Gelfond, V. Lifschitz. The stable model semantics for logic programming. Proc. of the 5th logic programming symposium MIT Press, Cambridge, MA, pp. 1070–1080; 1988.
S. Kraus, D. Lehmann, M. Magidor. Nonmonotonic reasoning, preferential models and cumulative logics. Journal of Artificial Intelligence, Vol. 44, No. 1–2, pp. 167–207; 1990.
M. Kifer, E.L. Lozinskii. A logic for reasoning with inconsistency. Journal of Automated reasoning. Vol. 9, No. 2, pp. 179–215; 1992.
D. Lehmann, M. Magidor. What does a conditional knowledge base entail?. Journal of Artificial Intelligence, Vol. 55, pp. 1–60; 1992.
G. Priest. Minimally inconsistent LP. Studia Logica, Vol. 50, pp. 321–331; 1991.
O. Raiman. The alibi principle. Readings in Model-Based Diagnosis (W. Hamscher, L. Console, J. de-Kleer-Eds.), pp. 66–70; 1992.
R. Reiter. A theory of diagnosis from first principles. Journal of Artificial Intelligence, Vol. 32, No. 1, pp. 57–95; 1987.
Y. Shoham. A semantical approach to nonmonotonic logics. Readings in Non-Monotonic Reasoning (M.L. Ginsberg-ed.), Los-Altos, CA, pp. 227–249; 1987.
Y. Shoham. Reasoning about change: time and causation from the standpoint of artificial intelligence. MIT Press; 1988.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Arieli, O., Avron, A. (1997). Four-valued diagnoses for stratified knowledge-bases. In: van Dalen, D., Bezem, M. (eds) Computer Science Logic. CSL 1996. Lecture Notes in Computer Science, vol 1258. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63172-0_29
Download citation
DOI: https://doi.org/10.1007/3-540-63172-0_29
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63172-9
Online ISBN: 978-3-540-69201-0
eBook Packages: Springer Book Archive