Skip to main content
SpringerLink
Log in

Measuring Inconsistency Through Subformula Forgetting

  • Conference paper
  • First Online:
Scalable Uncertainty Management (SUM 2019)

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

Included in the following conference series:

  • 553 Accesses

Abstract

In this paper, we introduce a new approach for defining inconsistency measures. The key idea consists in forgetting subformula occurrences in order to restore consistency. Thus, our approach can be seen as a generalization of the approach based on forgetting only propositional variables. We here introduce rationality postulates of inconsistency measuring that take into account in a syntactic way the internal structure of the formulas. We also describe different inconsistency measures that are based on forgetting subformula occurrences.

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

References

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

    Chapter  Google Scholar 

  2. Besnard, P.: Forgetting-based inconsistency measure. In: Schockaert, S., Senellart, P. (eds.) SUM 2016. LNCS (LNAI), vol. 9858, pp. 331–337. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-45856-4_23

    Chapter  Google Scholar 

  3. Bona, G.D., Grant, J., Hunter, A., Konieczny, S.: Towards a unified framework for syntactic inconsistency measures. In: Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, New Orleans, Louisiana, USA (2018)

    Google Scholar 

  4. Chen, Q., Zhang, C., Zhang, S.: A verification model for electronic transaction protocols. In: Yu, J.X., Lin, X., Lu, H., Zhang, Y. (eds.) APWeb 2004. LNCS, vol. 3007, pp. 824–833. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-540-24655-8_90

    Chapter  Google Scholar 

  5. Condotta, J., Raddaoui, B., Salhi, Y.: Quantifying conflicts for spatial and temporal information. In: Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016, Cape Town, South Africa, 25–29 April 2016, pp. 443–452 (2016)

    Google Scholar 

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

    Article  Google Scholar 

  7. Grant, J., Hunter, A.: Distance-based measures of inconsistency. In: van der Gaag, L.C. (ed.) ECSQARU 2013. LNCS (LNAI), vol. 7958, pp. 230–241. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-39091-3_20

    Chapter  Google Scholar 

  8. Hunter, A., Konieczny, S.: Measuring inconsistency through minimal inconsistent sets. In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, 16–19 September 2008, pp. 358–366. AAAI Press (2008)

    Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  10. Hunter, A., Parsons, S., Wooldridge, M.: Measuring inconsistency in multi-agent systems. Kunstliche Intelligenz 28, 169–178 (2014)

    Article  Google Scholar 

  11. Lang, J., Marquis, P.: Resolving inconsistencies by variable forgetting. In: Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, 22–25 April 2002, pp. 239–250 (2002)

    Google Scholar 

  12. Lang, J., Marquis, P.: Reasoning under inconsistency: a forgetting-based approach. Artif. Intell. 174(12–13), 799–823 (2010)

    Article  MathSciNet  Google Scholar 

  13. Martinez, M.V., Pugliese, A., Simari, G.I., Subrahmanian, V.S., Prade, H.: How dirty is your relational database? An axiomatic approach. In: Mellouli, K. (ed.) ECSQARU 2007. LNCS (LNAI), vol. 4724, pp. 103–114. Springer, Heidelberg (2007). https://doi.org/10.1007/978-3-540-75256-1_12

    Chapter  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  15. Thimm, M.: On the evaluation of inconsistency measures. In: Grant, J., Martinez, M.V. (eds.) Measuring Inconsistency in Information, Volume 73 of Studies in Logic. College Publications, February 2018

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. CRIL - CNRS & Université d’Artois, Lens, France

    Yakoub Salhi

Authors
  1. Yakoub Salhi
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Yakoub Salhi .

Editor information

Editors and Affiliations

  1. Institut Supérieur de Gestion de Tunis, Bouchoucha, Tunisia

    Nahla Ben Amor

  2. University of Technology of Compiègne, Compiègne, France

    Benjamin Quost

  3. University of Luxembourg, Esch-Sur-Alzette, Luxembourg

    Martin Theobald

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Salhi, Y. (2019). Measuring Inconsistency Through Subformula Forgetting. In: Ben Amor, N., Quost, B., Theobald, M. (eds) Scalable Uncertainty Management. SUM 2019. Lecture Notes in Computer Science(), vol 11940. Springer, Cham. https://doi.org/10.1007/978-3-030-35514-2_14

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-35514-2_14

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-35513-5

  • Online ISBN: 978-3-030-35514-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation