Skip to main content
SpringerLink
Log in

Measuring Inconsistency in Answer Set Programs

  • Conference paper
  • First Online:
Logics in Artificial Intelligence (JELIA 2016)

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

Included in the following conference series:

Abstract

We address the issue of quantitatively assessing the severity of inconsistencies in logic programs under the answer set semantics. While measuring inconsistency in classical logics has been investigated for some time now, taking the non-monotonicity of answer set semantics into account brings new challenges that have to be addressed by reasonable accounts of inconsistency measures. We investigate the behavior of inconsistency in logic programs by revisiting existing rationality postulates for inconsistency measurement and developing novel ones taking non-monotonicity into account. Further, we develop new measures for this setting and investigate their properties.

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 EPUB and 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

Notes

  1. 1.

    http://www.mthimm.de/misc/utb_incasp.pdf.

References

  1. Besnard, P.: Revisiting postulates for inconsistency measures. In: Fermé, E., Leite, J. (eds.) JELIA 2014. LNCS, vol. 8761, pp. 383–396. Springer, Heidelberg (2014). doi:10.1007/978-3-319-11558-0_27

    Google Scholar 

  2. Brewka, G., Eiter, T., Truszczynski, M.: Answer set programming at a glance. Commun. ACM 54(12), 92–103 (2011). http://doi.acm.org/10.1145/2043174.2043195

    Article  Google Scholar 

  3. Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Gener. Comput. 9(3/4), 365–386 (1991). http://dx.doi.org/10.1007/BF03037169

    Article  MATH  Google Scholar 

  4. Grant, J., Hunter, A.: Measuring inconsistency in knowledgebases. J. Intell. Inf. Syst. 27, 159–184 (2006)

    Article  Google Scholar 

  5. Hunter, A., Konieczny, S.: Approaches to measuring inconsistent information. In: Bertossi, L., Hunter, A., Schaub, T. (eds.) Inconsistency Tolerance. LNCS, vol. 3300, pp. 191–236. Springer, Heidelberg (2005). doi:10.1007/978-3-540-30597-2_7

    Chapter  Google Scholar 

  6. Hunter, A., Konieczny, S.: On the measure of conflicts: shapley inconsistency values. Artif. Intell. 174(14), 1007–1026 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  7. Lifschitz, V., Turner, H.: Splitting a logic program. In: Logic Programming, Proceedings of the Eleventh International Conference on Logic Programming, Santa Marherita Ligure, Italy, 13–18 June 1994, pp. 23–37 (1994)

    Google Scholar 

  8. Schulz, C., Satoh, K., Toni, F.: Characterising and explaining inconsistency in logic programs. In: Calimeri, F., Ianni, G., Truszczynski, M. (eds.) LPNMR 2015. LNCS, vol. 9345, pp. 467–479. Springer, Heidelberg (2015). doi:10.1007/978-3-319-23264-5_39

    Chapter  Google Scholar 

  9. Thimm, M.: Inconsistency measures for probabilistic logics. Artif. Intell. 197, 1–24 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  10. Thimm, M.: On the expressivity of inconsistency measures. Artif. Intell. 234, 120–151 (2016)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

This work has been partially funded by the DFG Research Training Group 1763.

Author information

Authors and Affiliations

  1. Department of Computer Science, Leipzig University, Leipzig, Germany

    Markus Ulbricht, Matthias Thimm & Gerhard Brewka

  2. Institute for Web Science and Technologies (WeST), University of Koblenz-Landau, Koblenz, Germany

    Matthias Thimm

Authors
  1. Markus Ulbricht
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Matthias Thimm
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Gerhard Brewka
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Markus Ulbricht .

Editor information

Editors and Affiliations

  1. Open University of Cyprus, Nicosia, Cyprus

    Loizos Michael

  2. University of Cyprus, Nicosia, Cyprus

    Antonis Kakas

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing AG

About this paper

Cite this paper

Ulbricht, M., Thimm, M., Brewka, G. (2016). Measuring Inconsistency in Answer Set Programs. In: Michael, L., Kakas, A. (eds) Logics in Artificial Intelligence. JELIA 2016. Lecture Notes in Computer Science(), vol 10021. Springer, Cham. https://doi.org/10.1007/978-3-319-48758-8_42

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-48758-8_42

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-48757-1

  • Online ISBN: 978-3-319-48758-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation