Skip to main content
SpringerLink
Log in

Inconsistency-Tolerance in Knowledge-Based Systems by Dissimilarities

  • Conference paper
Book cover Foundations of Information and Knowledge Systems (FoIKS 2012)

Part of the book series: Lecture Notes in Computer Science ((LNISA,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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Arieli, O.: Distance-based paraconsistent logics. Journal of Approximate Reasoning 48(3), 766–783 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  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)

    Article  MathSciNet  MATH  Google Scholar 

  3. Arieli, O., Avron, A., Zamansky, A.: Ideal paraconsistent logics. Studia Logica 99(1-3), 31–60 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  4. Arieli, O., Denecker, M., Bruynooghe, M.: Distance semantics for database repair. Annals of Mathematics and Artificial Intelligence 50(3-4), 389–415 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  5. Arieli, O., Zamansky, A.: Distance-based non-deterministic semantics for reasoning with uncertainty. Logic Journal of the IGPL 17(4), 325–350 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  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)

    Chapter  Google Scholar 

  7. Avron, A., Lev, I.: Non-deterministic multi-valued structures. Journal of Logic and Computation 15, 241–261 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  8. Avron, A., Zamansky, A.: Non-deterministic multi-valued logics – A tutorial. In: Proc. ISMVL 2010, pp. 53–60. IEEE (2010)

    Google Scholar 

  9. Bertossi, L.: Consistent query answering in databases. SIGMOD Records 35(2), 68–76 (2006)

    Article  Google Scholar 

  10. da Costa, N.C.A.: On the theory of inconsistent formal systems. Notre Dame Journal of Formal Logic 15, 497–510 (1974)

    Article  MathSciNet  MATH  Google Scholar 

  11. Dalal, M.: Investigations into a theory of knowledge base revision. In: Proc. AAAI 1988, pp. 475–479. AAAI Press (1988)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  13. Fitting, M.: Many-valued modal logics. Fundamenta Informaticae 15(3-4), 235–254 (1991)

    MathSciNet  MATH  Google Scholar 

  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. Gorogiannis, N., Hunter, A.: Implementing semantic merging operators using binary decision diagrams. Approximate Reasoning 49(1), 234–251 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  16. Kleene, S.C.: Introduction to Metamathematics. Van Nostrand (1950)

    Google Scholar 

  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. Konieczny, S., Pino Pérez, R.: Merging information under constraints: a logical framework. Journal of Logic and Computation 12(5), 773–808 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  19. Kraus, S., Lehmann, D., Magidor, M.: Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence 44(1-2), 167–207 (1990)

    Article  MathSciNet  MATH  Google Scholar 

  20. Lang, J., Marquis, P.: Reasoning under inconsistency: A forgetting-based approach. Artificial Intelligence 174(12-13), 799–823 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  21. Lehmann, D., Magidor, M., Schlechta, K.: Distance semantics for belief revision. Journal of Symbolic Logic 66(1), 295–317 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  22. Lin, F., Reiter, R.: Forget it! In: Proc. AAAI Fall Symposium on Relevance, pp. 154–159 (1994)

    Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  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 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, The Academic College of Tel-Aviv, Tel-Aviv, Israel

    Ofer Arieli

  2. Institute for Discrete Mathematics, Vienna Technical University, Austria

    Anna Zamansky

Authors
  1. Ofer Arieli
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Anna Zamansky
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of Oxford, Wolfson Building, Parks Road, OX1 3QD, Oxford, UK

    Thomas Lukasiewicz

  2. Alfréd Rényi Institute, Hungarian Academy of Sciences, Reáltanoda utca 13-15, 1053, Budapest, Hungary

    Attila Sali

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics

Search

Navigation