Analysing inconsistent information using distance-based measures. (English) Zbl 1419.68144
Summary: There have been a number of proposals for measuring inconsistency in a knowledgebase (i.e. a set of logical formulae). These include measures that consider the minimally inconsistent subsets of the knowledgebase, and measures that consider the paraconsistent models (3 or 4 valued models) of the knowledgebase. In this paper, we present a new approach that considers the amount by which each formula has to be weakened in order for the knowledgebase to be consistent. This approach is based on ideas of knowledge merging by Konienczny and Pino-Perez. We show that this approach gives us measures that are different from existing measures, that have desirable properties, and that can take the significance of inconsistencies into account. The latter is useful when we want to differentiate between inconsistencies that have minor significance from inconsistencies that have major significance. We also show how our measures are potentially useful in applications such as evaluating violations of integrity constraints in databases and for deciding how to act on inconsistency.
MSC:
| 68T30 | Knowledge representation |
| 68T27 | Logic in artificial intelligence |
| 68T35 | Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence |
Keywords:
inconsistency measurement; inconsistency analysis; inconsistency management; inconsistency tolerance; propositional logic; distance measuresReferences:
| [1] | Besnard, Ph., Revisiting postulates for inconsistency measures, (Logics in Artificial Intelligence. Logics in Artificial Intelligence, JELIA’14. Logics in Artificial Intelligence. Logics in Artificial Intelligence, JELIA’14, LNCS (2014), Springer), 383-396 · Zbl 1432.68427 |
| [2] | Bloch, I.; Lang, J., Towards mathematical morpho-logics, (Technologies for Constructing Intelligent Systems, vol. 2 (2002), Springer-Verlag), 367-380 · Zbl 1010.68185 |
| [3] | Cholvy, L.; Perrussel, L.; Raynaut, W.; Thévenin, J.-M., Consistency-based reliability assessment, (Symbolic and Quantitative Approaches to Reasoning with Uncertainty. Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU’15. Symbolic and Quantitative Approaches to Reasoning with Uncertainty. Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU’15, LNCS, vol. 9161 (2015), Springer), 246-256 · Zbl 1465.68250 |
| [4] | Dalal, M., Investigations into a theory of knowledge base revision, (Proceedings of the Seventh National Conference on Artificial Intelligence. Proceedings of the Seventh National Conference on Artificial Intelligence, AAAI’88, vol. 2 (1988)), 475-479 |
| [5] | De Bona, D.; Finger, M., Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation, Artif. Intell., 277, 140-164 (2015) · Zbl 1346.68183 |
| [6] | Doder, D.; Raskovic, M.; Markovic, Z.; Ognjanovic, Z., Measures of inconsistency and defaults, Int. J. Approx. Reason., 51, 7, 832-845 (2010) · Zbl 1205.68422 |
| [7] | Gorogiannis, N.; Hunter, A., Implementing semantic merging operators using binary decision diagrams, Int. J. Approx. Reason., 49, 1, 234-251 (2008) · Zbl 1184.68509 |
| [8] | Grant, J.; Hunter, A., Measuring consistency gain and information loss in stepwise inconsistency resolution, (Symbolic and Quantitative Approaches to Reasoning with Uncertainty. Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU’11. Symbolic and Quantitative Approaches to Reasoning with Uncertainty. Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU’11, LNCS, vol. 6717 (2011), Springer), 362-373 · Zbl 1341.68256 |
| [9] | Grant, J.; Hunter, A., Distance-based measures of inconsistency, (Symbolic and Quantitative Approaches to Reasoning with Uncertainty. Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU’13. Symbolic and Quantitative Approaches to Reasoning with Uncertainty. Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU’13, LNCS, vol. 7958 (2013), Springer), 230-241 · Zbl 1353.68263 |
| [10] | Grant, J., Classifications for inconsistent theories, Notre Dame J. Form. Log., 19, 435-444 (1978) · Zbl 0305.02040 |
| [11] | Hunter, A.; Konieczny, S., Shapley inconsistency values, (Proceedings of the 10th International Conference on Knowledge Representation. Proceedings of the 10th International Conference on Knowledge Representation, KR’06 (2006), AAAI Press), 249-259 |
| [12] | Hunter, A.; Konieczny, S., On the measure of conflicts: Shapley inconsistency values, Artif. Intell., 174, 1007-1026 (2010) · Zbl 1210.68106 |
| [13] | Hunter, A., Evaluating the significance of inconsistencies, (Proceedings of the International Joint Conference on AI. Proceedings of the International Joint Conference on AI, IJCAI’03 (2003), Morgan Kaufmann), 468-473 |
| [14] | Jabbour, S.; Raddaoui, B., Measuring inconsistency through minimal proofs, (Symbolic and Quantitative Approaches to Reasoning with Uncertainty. Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU’13. Symbolic and Quantitative Approaches to Reasoning with Uncertainty. Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU’13, LNCS (2013), Springer), 290-301 · Zbl 1352.68228 |
| [15] | Knight, K., Measuring inconsistency, J. Philos. Log., 31, 77-98 (2001) · Zbl 1003.03022 |
| [16] | Knight, K., Two information measures for inconsistent sets, J. Log. Lang. Inf., 12, 227-248 (2003) · Zbl 1015.03035 |
| [17] | Konieczny, S.; Pino Pérez, R., On the logic of merging, (Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning. Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning, KR’98 (1998)), 488-498 |
| [18] | Lafage, C.; Lang, J., Propositional distances and preference representation, (Symbolic and Quantitative Approaches to Reasoning with Uncertainty. Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU’01. Symbolic and Quantitative Approaches to Reasoning with Uncertainty. Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU’01, LNCS, vol. 2143 (2001), Springer) · Zbl 1005.68547 |
| [19] | Ma, Y.; Hitzler, P., Distance-based measures of inconsistency and incoherency for description logic, (Proceedings of the International Workshop on Description Logics. Proceedings of the International Workshop on Description Logics, DL’10. Proceedings of the International Workshop on Description Logics. Proceedings of the International Workshop on Description Logics, DL’10, CEUR Workshop Proceedings, vol. 573 (2010), CEUR-WS.org) |
| [20] | Mu, K.; Jin, Z.; Liu, W.; Zowghi, D.; Wei, B., Measuring the significance of inconsistency in the viewpoints framework, Sci. Comput. Program., 78, 9, 1572-1599 (2013) |
| [21] | Mu, K.; Jin, Z.; Lu, R.; Liu, W., Measuring inconsistency in requirements engineering, (Symbolic and Quantitative Approaches to Reasoning with Uncertainty. Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU’05. Symbolic and Quantitative Approaches to Reasoning with Uncertainty. Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU’05, LNAI, vol. 3571 (2005), Springer), 440-451 · Zbl 1122.68666 |
| [22] | Mu, K.; Liu, W.; Jin, Z., A general framework for measuring inconsistency through minimal inconsistent sets, Knowl. Inf. Syst., 27, 85-114 (2011) |
| [23] | Mu, K.; Liu, W.; Jin, Z.; Bell, D., A Syntax-based approach to measuring the degree of inconsistency for belief base, Int. J. Approx. Reason., 52, 7, 978-999 (2011) · Zbl 1226.68106 |
| [24] | Mu, K.; Liu, W.; Jin, Z., Measuring the blame of each formula for inconsistent prioritized knowledge bases, J. Log. Comput., 22, 3, 481-516 (2012) · Zbl 1241.68108 |
| [25] | Ma, Y.; Qi, G.; Hitzler, P.; Lin, Z., Measuring inconsistency for description logics based on paraconsistent semantics, (Symbolic and Quantitative Approaches to Reasoning and Uncertainty. Symbolic and Quantitative Approaches to Reasoning and Uncertainty, ECSQARU’07. Symbolic and Quantitative Approaches to Reasoning and Uncertainty. Symbolic and Quantitative Approaches to Reasoning and Uncertainty, ECSQARU’07, LNCS, vol. 4724 (2007), Springer), 30-41 · Zbl 1148.68487 |
| [26] | Mu, K., Responsibility for inconsistency, Int. J. Approx. Reason., 61, 43-60 (2015) · Zbl 1344.68232 |
| [27] | Muiño, D., Measuring and repairing inconsistency in knowledge bases with graded truth, Fuzzy Sets Syst., 197, 108-122 (2011) · Zbl 1251.68248 |
| [28] | Potyka, N., Linear programs for measuring inconsistency in probabilistic logics, (Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning. Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning, KR’14 (2014)) |
| [29] | Priest, G., Logic of paradox, J. Philos. Log., 8, 219-241 (1979) · Zbl 0402.03012 |
| [30] | Qi, G.; Hunter, A., Measuring incoherence in description logic-based ontologies, (Proceedings of the International Semantic Web Conference. Proceedings of the International Semantic Web Conference, ISWC’07. Proceedings of the International Semantic Web Conference. Proceedings of the International Semantic Web Conference, ISWC’07, LNCS, vol. 4825 (2007), Springer), 381-394 |
| [31] | Raddaoui, B.; Salhi, Y.; Brahim, O., On measuring inconsistency using maximal consistent sets, (Symbolic and Quantitative Approaches to Reasoning with Uncertainty. Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU’15. Symbolic and Quantitative Approaches to Reasoning with Uncertainty. Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU’15, LNCS (2015), Springer) · Zbl 1465.68246 |
| [32] | Subrahmanian, V. S.; Amgoud, L., A general framework for reasoning about inconsistency, (Proceedings of the 20th International Joint Conference on Artificial Intelligence. Proceedings of the 20th International Joint Conference on Artificial Intelligence, IJCAI’07 (2007)), 599-504 |
| [33] | Thimm, M., Inconsistency measures for probabilistic logics, Artif. Intell., 197, 1-24 (2013) · Zbl 1270.68288 |
| [34] | Zhou, L.; Huang, H.; Qi, G.; Ma, Y.; Huang, Z.; Qu, Y., Measuring inconsistency in DL-Lite ontologies, (Proceedings of the IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology, 2009 (2009), IEEE), 349-356 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
