Abstract
Distance-based reasoning is a well-known approach for defining non-monotonic and paraconsistent formalisms, which so far has been mainly used in the context of standard two-valued semantics. In this paper, we extend this approach to arbitrary denotational semantics by considering dissimilarities, a generalization of distances. Dissimilarity-based reasoning is then applied for handling inconsistency in knowledge-based systems using various non-classical logics. This includes logics defined by multi-valued semantics, non-deterministic semantics, and possible-worlds (Kripke-style) semantics. In particular, we show that our approach allows to define a variety of inconsistency-tolerant entailment relations, and that it extends many well-studied forms of reasoning in the context of belief revision and database integration.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Arieli, O.: Distance-based paraconsistent logics. Journal of Approximate Reasoning 48(3), 766–783 (2008)
Arieli, O., Avron, A.: General patterns for nonmonotonic reasoning: from basic entailments to plausible relations. Logic Journal of the IGPL 8(2), 119–148 (2000)
Arieli, O., Avron, A., Zamansky, A.: Ideal paraconsistent logics. Studia Logica 99(1-3), 31–60 (2011)
Arieli, O., Denecker, M., Bruynooghe, M.: Distance semantics for database repair. Annals of Mathematics and Artificial Intelligence 50(3-4), 389–415 (2007)
Arieli, O., Zamansky, A.: Distance-based non-deterministic semantics for reasoning with uncertainty. Logic Journal of the IGPL 17(4), 325–350 (2009)
Arieli, O., Zamansky, A.: Similarity-Based Inconsistency-Tolerant Logics. In: Janhunen, T., Niemelä, I. (eds.) JELIA 2010. LNCS (LNAI), vol. 6341, pp. 11–23. Springer, Heidelberg (2010)
Avron, A., Lev, I.: Non-deterministic multi-valued structures. Journal of Logic and Computation 15, 241–261 (2005)
Avron, A., Zamansky, A.: Non-deterministic multi-valued logics – A tutorial. In: Proc. ISMVL 2010, pp. 53–60. IEEE (2010)
Bertossi, L.: Consistent query answering in databases. SIGMOD Records 35(2), 68–76 (2006)
da Costa, N.C.A.: On the theory of inconsistent formal systems. Notre Dame Journal of Formal Logic 15, 497–510 (1974)
Dalal, M.: Investigations into a theory of knowledge base revision. In: Proc. AAAI 1988, pp. 475–479. AAAI Press (1988)
de Amo, S., Carnielli, W.A., Marcos, J.: A Logical Framework for Integrating Inconsistent Information in Multiple Databases. In: Eiter, T., Schewe, K.-D. (eds.) FoIKS 2002. LNCS, vol. 2284, pp. 67–84. Springer, Heidelberg (2002)
Fitting, M.: Many-valued modal logics. Fundamenta Informaticae 15(3-4), 235–254 (1991)
Gabbay, D.: Theoretical foundation for non-monotonic reasoning. In: Proc. SCAI 1991, Part II. Structured Non-Monotonic Theories. IOS Press (1991)
Gorogiannis, N., Hunter, A.: Implementing semantic merging operators using binary decision diagrams. Approximate Reasoning 49(1), 234–251 (2008)
Kleene, S.C.: Introduction to Metamathematics. Van Nostrand (1950)
Konieczny, S., Lang, J., Marquis, P.: Distance-based merging: a general framework and some complexity results. In: Proc. KR 2002, pp. 97–108. Morgan Kaufmann Publishers (2002)
Konieczny, S., Pino Pérez, R.: Merging information under constraints: a logical framework. Journal of Logic and Computation 12(5), 773–808 (2002)
Kraus, S., Lehmann, D., Magidor, M.: Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence 44(1-2), 167–207 (1990)
Lang, J., Marquis, P.: Reasoning under inconsistency: A forgetting-based approach. Artificial Intelligence 174(12-13), 799–823 (2010)
Lehmann, D., Magidor, M., Schlechta, K.: Distance semantics for belief revision. Journal of Symbolic Logic 66(1), 295–317 (2001)
Lin, F., Reiter, R.: Forget it! In: Proc. AAAI Fall Symposium on Relevance, pp. 154–159 (1994)
Lin, J., Mendelzon, A.O.: Knowledge base merging by majority. In: Dynamic Worlds: From the Frame Problem to Knowledge Management. Kluwer (1999)
Lopatenko, A., Bertossi, L.: Complexity of Consistent Query Answering in Databases Under Cardinality-Based and Incremental Repair Semantics. In: Schwentick, T., Suciu, D. (eds.) ICDT 2007. LNCS, vol. 4353, pp. 179–193. Springer, Heidelberg (2006)
Urquhart, A.: Many-valued logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. II, pp. 249–295. Kluwer (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Arieli, O., Zamansky, A. (2012). Inconsistency-Tolerance in Knowledge-Based Systems by Dissimilarities. In: Lukasiewicz, T., Sali, A. (eds) Foundations of Information and Knowledge Systems. FoIKS 2012. Lecture Notes in Computer Science, vol 7153. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-28472-4_3
Download citation
DOI: https://doi.org/10.1007/978-3-642-28472-4_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-28471-7
Online ISBN: 978-3-642-28472-4
eBook Packages: Computer ScienceComputer Science (R0)