Measuring Inconsistency Through Subformula Forgetting
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.
- 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
- 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
- 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
- 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
- 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_12CrossRefGoogle 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 2018Google Scholar