How to Decrease and Resolve Inconsistency of a Knowledge Base?

Dragan Doder, Srdjan Vesic

2015

Abstract

This paper studies different techniques for measuring and decreasing inconsistency of a knowledge base. We define an operation that allows to decrease inconsistency of a knowledge base while losing a minimal amount of information. We also propose two different ways to compare knowledge bases. The first is a partial order that we define on the set of knowledge bases. We study this relation and identify its link with a particular class of inconsistency measures. We also study the links between the partial order we introduce and information measures. The second way we propose to compare knowledge bases is to define a class of metrics that give us a distance between knowledge bases. They are based on symmetric set difference of models of pairs of formulae from the two sets in question.

References

  1. Doder, D., Raskovic, M., Markovic, Z., and Ognjanovic, Z. (2010). Measures of inconsistency and defaults. International Journal of Approximate Reasoning, 51(7):832-845.
  2. Gabbay, D. M. and Hunter, A. (1991). Making inconsistency respectable: a logical framework for inconsistency in reasoning. In Fundamentals of Artificial Intelligence Research, International Workshop (FAIR 7891), volume 535 of Lecture Notes in Computer Science, pages 19-32. Springer.
  3. Gabbay, D. M. and Hunter, A. (1993). Making inconsistency respectable: Part 2 - meta-level handling of inconsistency. In Symbolic and Quantitative Approaches to Reasoning and Uncertainty, European Conference (ECSQARU'93), volume 747 of Lecture Notes in Computer Science, pages 129-136. Springer.
  4. Grant, J. and Hunter, A. (2006). Measuring inconsistency in knowledgebases. J. Intell. Inf. Syst., 27(2):159-184.
  5. Grant, J. and Hunter, A. (2011a). Measuring consistency gain and information loss in stepwise inconsistency resolution. In Proceedings of the 7th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'11), pages 362-373.
  6. Grant, J. and Hunter, A. (2011b). Measuring the good and the bad in inconsistent information. In Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI'11), pages 2632-2637.
  7. Grant, J. and Hunter, A. (2013). Distance-based measures of inconsistency. In 12th Europen Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'13), volume 7958 of Lecture Notes in Computer Science, pages 230-241. Springer.
  8. Hunter, A. and Konieczny, S. (2005). Approaches to measuring inconsistent information. In Inconsistency Tolerance [result from a Dagstuhl seminar], volume 3300 of Lecture Notes in Computer Science, pages 191-236. Springer.
  9. Hunter, A. and Konieczny, S. (2008). Measuring inconsistency through minimal inconsistent sets. In Proceedings of the 9th International Conference on the Principles of Knowledge Representation and Reasoning (KR'08), pages 358-366.
  10. Hunter, A. and Konieczny, S. (2010). On the measure of conflicts: Shapley inconsistency values. Artificial Intelligence Journal, 174(14):1007-1026.
  11. Knight, K. (2002). Measuring inconsistency. Journal of Philosophical Logic, 31(1):77-91.
  12. Konieczny, S., Lang, J., and Marquis, P. (2003). Quantifying information and contradiction in propositional logic through test actions. In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI'03), pages 106-111.
  13. Lozinskii, E. (1997). On knowledge evolution: Acquisition, revision, contraction. Journal of Applied NonClassical Logic, 7(2):177-211.
  14. Mu, K., Liu, W., Jin, Z., and Bell, D. (2011). A syntaxbased approach to measuring the degree of inconsistency for belief bases. International Journal of Approximate Reasoning, 52(7):978-999.
  15. Picado-Muin˜o, D. (2011). Measuring and repairing inconsistency in probabilistic knowledge bases. Int. J. Approx. Reasoning, 52(6):828-840.
  16. Sorensen, R. (1988). Blindspots. Claredon Press, Oxford.
  17. Thimm, M. (2009). Measuring inconsistency in probabilistic knowledge bases. In UAI, pages 530-537.
  18. Whitesitt, J. (1995). Boolean Algebra and its applications. Dover Publications.
Download


Paper Citation


in Harvard Style

Doder D. and Vesic S. (2015). How to Decrease and Resolve Inconsistency of a Knowledge Base? . In Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 2: ICAART, ISBN 978-989-758-074-1, pages 27-37. DOI: 10.5220/0005176500270037


in Bibtex Style

@conference{icaart15,
author={Dragan Doder and Srdjan Vesic},
title={How to Decrease and Resolve Inconsistency of a Knowledge Base?},
booktitle={Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,},
year={2015},
pages={27-37},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005176500270037},
isbn={978-989-758-074-1},
}


in EndNote Style

TY - CONF
JO - Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,
TI - How to Decrease and Resolve Inconsistency of a Knowledge Base?
SN - 978-989-758-074-1
AU - Doder D.
AU - Vesic S.
PY - 2015
SP - 27
EP - 37
DO - 10.5220/0005176500270037