Skip to main content
SpringerLink
Log in
Book cover

European Workshop on Logics in Artificial Intelligence

JELIA 2014: Logics in Artificial Intelligence pp 383–396Cite as

Revisiting Postulates for Inconsistency Measures

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 8761))

Abstract

Postulates for inconsistency measures are examined, the set of postulates due to Hunter and Konieczny being the starting point. Objections are raised against a few individual postulates. More general shortcomings are discussed and a new series of postulates is introduced.

This is a preview of subscription content, 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Besnard, P.: Absurdity, contradictions, and logical formalisms. In: 22nd IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2010), Arras, France, October 27-29, vol. 1, pp. 369–374. IEEE (2010)

    Google Scholar 

  2. Church, A.: Introduction to Mathematical Logic. Princeton University Press (1956)

    Google Scholar 

  3. Doder, D., Rašković, M., Marković, Z., Ognjanović, Z.: Measures of inconsistency and defaults. Journal of Approximate Reasoning 51(7), 832–845 (2011)

    Article  Google Scholar 

  4. Gabbay, D., Hunter, A.: Making inconsistency respectable 2: Meta-level handling of inconsistent data. In: Moral, S., Kruse, R., Clarke, E. (eds.) ECSQARU 1993. LNCS, vol. 747, pp. 129–136. Springer, Heidelberg (1993)

    Chapter  Google Scholar 

  5. Grant, J., Hunter, A.: Measuring inconsistency in knowledgebases. Journal of Intelligent Information Systems 27(2), 159–184 (2006)

    Article  Google Scholar 

  6. Hunter, A.: Measuring inconsistency in knowledge via quasi-classical models. In: Dechter, R., Sutton, R. (eds.) 18th AAAI Conference on Artificial Intelligence (AAAI 2002), Edmonton, Alberta, Canada, July 28-August 1, pp. 68–73. AAAI Press/MIT Press (2002)

    Google Scholar 

  7. Hunter, A., Konieczny, S.: Measuring inconsistency through minimal inconsistent sets. In: Brewka, G., Lang, J. (eds.) 11th Conference on Principles of Knowledge Representation and Reasoning (KR 2008), Sydney, Australia, September 16-19, pp. 358–366. AAAI Press (2008)

    Google Scholar 

  8. Hunter, A., Konieczny, S.: On the measure of conflicts: Shapley inconsistency values. Artificial Intelligence 174(14), 1007–1026 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  9. Jabbour, S., Raddaoui, B.: Measuring inconsistency through minimal proofs. In: van der Gaag, L.C. (ed.) ECSQARU 2013. LNCS, vol. 7958, pp. 290–301. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  10. Knight, K.: Measuring inconsistency. Journal of Philosophical Logic 31(1), 77–98 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  11. Ma, Y., Qi, G., Hitzler, P.: Computing inconsistency measure based on paraconsistent semantics. Logic and Computation 21(6), 1257–1281 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  12. Mu, K., Liu, W., Jin, Z.: A general framework for measuring inconsistency through minimal inconsistent sets. Journal of Knowledge and Information Systems 27(1), 85–114 (2011)

    Article  Google Scholar 

  13. Mu, K., Liu, W., Jin, Z.: Measuring the blame of each formula for inconsistent prioritized knowledge bases. Logic and Computation 22(3), 481–516 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  14. Oller, C.: Measuring coherence using LP-models. Journal of Applied Logic 2(4), 451–455 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  15. Thimm, M.: Inconsistency measures for probabilistic logics. Artificial Intelligence 197, 1–24 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  16. Xiao, G., Ma, Y.: Inconsistency measurement based on variables in minimal unsatisfiable subsets. In: De Raedt, L., Bessière, C., Dubois, D., Doherty, P., Frasconi, P., Heintz, F., Lucas, P.J.F. (eds.) 20th European Conference on Artificial Intelligence (ECAI 2012), Montpellier, France, August 27-31, pp. 864–869. IOS Press (2012)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. IRIT, CNRS, University of Toulouse, France

    Philippe Besnard

Authors
  1. Philippe Besnard
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. University of Madeira, Funchal, Madeira, Portugal

    Eduardo Fermé

  2. CENTRIA, Universidade Nova de Lisboa, Caparica, Portugal

    João Leite

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this paper

Cite this paper

Besnard, P. (2014). Revisiting Postulates for Inconsistency Measures. In: Fermé, E., Leite, J. (eds) Logics in Artificial Intelligence. JELIA 2014. Lecture Notes in Computer Science(), vol 8761. Springer, Cham. https://doi.org/10.1007/978-3-319-11558-0_27

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-11558-0_27

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-11557-3

  • Online ISBN: 978-3-319-11558-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation