Skip to main content
SpringerLink
Log in

The Degree of Conflict Between Formulas in an Inconsistent Knowledge Base

  • Conference paper
  • First Online:
Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2021)

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

Abstract

Measuring inconsistency in a knowledge base has been increasingly recognized as a good starting point to better understand the inconsistency of that base. Most approaches to measuring inconsistency for knowledge bases focus on either the degree of inconsistency of a whole knowledge base or the responsibility of each formula of a knowledge base for the inconsistency in that base or both. In this paper, we propose an approach to measuring the degree of conflict between formulas, which allows us to have a more clear picture on the relation between formulas involved in inconsistency. Then we show that this measure can be explained well in the framework of Halpern-Pearl’s causal model.

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 99.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 129.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. 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, (AAAI-18), the 30th innovative Applications of Artificial Intelligence (IAAI-18), and the 8th AAAI Symposium on Educational Advances in Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, 2–7 February 2018, pp. 1803–1810 (2018)

    Google Scholar 

  2. Chockler, H., Halpern, J.Y.: Responsibility and blame: a structural-model approach. J. Artif. Intell. Res. 22, 93–115 (2004)

    Article  MathSciNet  Google Scholar 

  3. Grant, J., Hunter, A.: Measuring consistency gain and information loss in stepwise inconsistency resolution. In: Liu, W. (ed.) ECSQARU 2011. LNCS (LNAI), vol. 6717, pp. 362–373. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-22152-1_31

    Chapter  MATH  Google Scholar 

  4. Grant, J., Hunter, A.: Analysing inconsistent information using distance-based measures. Int. J. Approx. Reasoning 89, 3–26 (2017)

    Article  MathSciNet  Google Scholar 

  5. Halpern, J.Y., Pearl, J.: Causes and explanations: a structural-model approach. part i: causes. Br. J. Philos. Sci. 56(4), 843–887 (2005)

    Google Scholar 

  6. Hunter, A., Konieczny, S.: Shapley inconsistency values. In: Doherty, P., Mylopoulos, J., Welty, C. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the 10th International Conference (KR06), pp. 249–259. AAAI Press (2006)

    Google Scholar 

  7. Hunter, A., Konieczny, S.: Measuring inconsistency through minimal inconsistent sets. In: Brewka, G., Lang, J. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference (KR08), pp. 358–366. AAAI Press (2008)

    Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  9. Jabbour, S., Ma, Y., Raddaoui, B.: Inconsistency measurement thanks to MUS decomposition. In: Bazzan, A.L.C., Huhns, M.N., Lomuscio, A., Scerri, P. (eds.) International Conference on Autonomous Agents and Multi-Agent Systems, AAMAS 2014, Paris, France, 5–9 May 2014, pp. 877–884. IFAAMAS/ACM (2014)

    Google Scholar 

  10. Jabbour, S., Ma, Y., Raddaoui, B., Sais, L., Salhi, Y.: A MIS partition based framework for measuring inconsistency. In: Baral, C., Delgrande, J.P., Wolter, F. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016, Cape Town, South Africa, 25–29 April 2016, pp. 84–93. AAAI Press (2016)

    Google Scholar 

  11. Liu, W., Mu, K.: Introduction to the special issue on theories of inconsistency measures and their applications. Int. J. Approx. Reasoning 89, 1–2 (2017)

    Article  MathSciNet  Google Scholar 

  12. Mu, K., Jin, Z., Lu, R., Liu, W.: Measuring inconsistency in requirements specifications. In: Godo, L. (ed.) ECSQARU 2005. LNCS (LNAI), vol. 3571, pp. 440–451. Springer, Heidelberg (2005). https://doi.org/10.1007/11518655_38

    Chapter  Google Scholar 

  13. Mu, K., Liu, W., Jin, Z., Bell, D.: A syntax-based approach to measuring the degree of inconsistency for belief bases. Int. J. Approx. Reasoning 52(7), 978–999 (2011)

    Article  MathSciNet  Google Scholar 

  14. Mu, K.: Responsibility for inconsistency. Int. J. Approx. Reasoning 61, 43–60 (2015)

    Article  MathSciNet  Google Scholar 

  15. Mu, K.: Measuring inconsistency with constraints for propositional knowledge bases. Artif. Intell. 259, 52–90 (2018)

    Article  MathSciNet  Google Scholar 

  16. Reiter, R.: A theory of diagnosis from first principles. Artif. Intell. 32(1), 57–95 (1987)

    Article  MathSciNet  Google Scholar 

Download references

Acknowledgements

This work was partly supported by the National Natural Science Foundation of China under Grant No. 61572002, No. 61690201, and No. 61732001.

Author information

Authors and Affiliations

  1. School of Mathematical Sciences, Peking University, Beijing, P.R. China

    Kedian Mu

Authors
  1. Kedian Mu
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Kedian Mu .

Editor information

Editors and Affiliations

  1. Institute of Information Theory and Automation, Prague, Czech Republic

    Jiřina Vejnarová

  2. Insight Centre for Data Analytics, School of Computer Science and IT University College Cork, Cork, Ireland

    Nic Wilson

Rights and permissions

Reprints and permissions

Copyright information

© 2021 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Mu, K. (2021). The Degree of Conflict Between Formulas in an Inconsistent Knowledge Base. In: Vejnarová, J., Wilson, N. (eds) Symbolic and Quantitative Approaches to Reasoning with Uncertainty. ECSQARU 2021. Lecture Notes in Computer Science(), vol 12897. Springer, Cham. https://doi.org/10.1007/978-3-030-86772-0_36

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-86772-0_36

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-86771-3

  • Online ISBN: 978-3-030-86772-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation