Inconsistency-Tolerance in Knowledge-Based Systems by Dissimilarities

  • Ofer Arieli
  • Anna Zamansky
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7153)

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.

Keywords

Belief Revision Denotational Semantic Paraconsistent Logic Nonmonotonic Reasoning Entailment Relation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Arieli, O.: Distance-based paraconsistent logics. Journal of Approximate Reasoning 48(3), 766–783 (2008)MathSciNetCrossRefMATHGoogle Scholar
  2. 2.
    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)MathSciNetCrossRefMATHGoogle Scholar
  3. 3.
    Arieli, O., Avron, A., Zamansky, A.: Ideal paraconsistent logics. Studia Logica 99(1-3), 31–60 (2011)MathSciNetCrossRefMATHGoogle Scholar
  4. 4.
    Arieli, O., Denecker, M., Bruynooghe, M.: Distance semantics for database repair. Annals of Mathematics and Artificial Intelligence 50(3-4), 389–415 (2007)MathSciNetCrossRefMATHGoogle Scholar
  5. 5.
    Arieli, O., Zamansky, A.: Distance-based non-deterministic semantics for reasoning with uncertainty. Logic Journal of the IGPL 17(4), 325–350 (2009)MathSciNetCrossRefMATHGoogle Scholar
  6. 6.
    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)CrossRefGoogle Scholar
  7. 7.
    Avron, A., Lev, I.: Non-deterministic multi-valued structures. Journal of Logic and Computation 15, 241–261 (2005)MathSciNetCrossRefMATHGoogle Scholar
  8. 8.
    Avron, A., Zamansky, A.: Non-deterministic multi-valued logics – A tutorial. In: Proc. ISMVL 2010, pp. 53–60. IEEE (2010)Google Scholar
  9. 9.
    Bertossi, L.: Consistent query answering in databases. SIGMOD Records 35(2), 68–76 (2006)CrossRefGoogle Scholar
  10. 10.
    da Costa, N.C.A.: On the theory of inconsistent formal systems. Notre Dame Journal of Formal Logic 15, 497–510 (1974)MathSciNetCrossRefMATHGoogle Scholar
  11. 11.
    Dalal, M.: Investigations into a theory of knowledge base revision. In: Proc. AAAI 1988, pp. 475–479. AAAI Press (1988)Google Scholar
  12. 12.
    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)CrossRefGoogle Scholar
  13. 13.
    Fitting, M.: Many-valued modal logics. Fundamenta Informaticae 15(3-4), 235–254 (1991)MathSciNetMATHGoogle Scholar
  14. 14.
    Gabbay, D.: Theoretical foundation for non-monotonic reasoning. In: Proc. SCAI 1991, Part II. Structured Non-Monotonic Theories. IOS Press (1991)Google Scholar
  15. 15.
    Gorogiannis, N., Hunter, A.: Implementing semantic merging operators using binary decision diagrams. Approximate Reasoning 49(1), 234–251 (2008)MathSciNetCrossRefMATHGoogle Scholar
  16. 16.
    Kleene, S.C.: Introduction to Metamathematics. Van Nostrand (1950)Google Scholar
  17. 17.
    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)Google Scholar
  18. 18.
    Konieczny, S., Pino Pérez, R.: Merging information under constraints: a logical framework. Journal of Logic and Computation 12(5), 773–808 (2002)MathSciNetCrossRefMATHGoogle Scholar
  19. 19.
    Kraus, S., Lehmann, D., Magidor, M.: Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence 44(1-2), 167–207 (1990)MathSciNetCrossRefMATHGoogle Scholar
  20. 20.
    Lang, J., Marquis, P.: Reasoning under inconsistency: A forgetting-based approach. Artificial Intelligence 174(12-13), 799–823 (2010)MathSciNetCrossRefMATHGoogle Scholar
  21. 21.
    Lehmann, D., Magidor, M., Schlechta, K.: Distance semantics for belief revision. Journal of Symbolic Logic 66(1), 295–317 (2001)MathSciNetCrossRefMATHGoogle Scholar
  22. 22.
    Lin, F., Reiter, R.: Forget it! In: Proc. AAAI Fall Symposium on Relevance, pp. 154–159 (1994)Google Scholar
  23. 23.
    Lin, J., Mendelzon, A.O.: Knowledge base merging by majority. In: Dynamic Worlds: From the Frame Problem to Knowledge Management. Kluwer (1999)Google Scholar
  24. 24.
    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)CrossRefGoogle Scholar
  25. 25.
    Urquhart, A.: Many-valued logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. II, pp. 249–295. Kluwer (2001)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Ofer Arieli
    • 1
  • Anna Zamansky
    • 2
  1. 1.Department of Computer ScienceThe Academic College of Tel-AvivTel-AvivIsrael
  2. 2.Institute for Discrete MathematicsVienna Technical UniversityAustria

Personalised recommendations