Abstract
Postulates for inconsistency measures are examined, the set of postulates due to Hunter and Konieczny being the starting point. Objections are raised against a few individual postulates. More general shortcomings are discussed and a new series of postulates is introduced.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Besnard, P.: Absurdity, contradictions, and logical formalisms. In: 22nd IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2010), Arras, France, October 27-29, vol. 1, pp. 369–374. IEEE (2010)
Church, A.: Introduction to Mathematical Logic. Princeton University Press (1956)
Doder, D., Rašković, M., Marković, Z., Ognjanović, Z.: Measures of inconsistency and defaults. Journal of Approximate Reasoning 51(7), 832–845 (2011)
Gabbay, D., Hunter, A.: Making inconsistency respectable 2: Meta-level handling of inconsistent data. In: Moral, S., Kruse, R., Clarke, E. (eds.) ECSQARU 1993. LNCS, vol. 747, pp. 129–136. Springer, Heidelberg (1993)
Grant, J., Hunter, A.: Measuring inconsistency in knowledgebases. Journal of Intelligent Information Systems 27(2), 159–184 (2006)
Hunter, A.: Measuring inconsistency in knowledge via quasi-classical models. In: Dechter, R., Sutton, R. (eds.) 18th AAAI Conference on Artificial Intelligence (AAAI 2002), Edmonton, Alberta, Canada, July 28-August 1, pp. 68–73. AAAI Press/MIT Press (2002)
Hunter, A., Konieczny, S.: Measuring inconsistency through minimal inconsistent sets. In: Brewka, G., Lang, J. (eds.) 11th Conference on Principles of Knowledge Representation and Reasoning (KR 2008), Sydney, Australia, September 16-19, pp. 358–366. AAAI Press (2008)
Hunter, A., Konieczny, S.: On the measure of conflicts: Shapley inconsistency values. Artificial Intelligence 174(14), 1007–1026 (2010)
Jabbour, S., Raddaoui, B.: Measuring inconsistency through minimal proofs. In: van der Gaag, L.C. (ed.) ECSQARU 2013. LNCS, vol. 7958, pp. 290–301. Springer, Heidelberg (2013)
Knight, K.: Measuring inconsistency. Journal of Philosophical Logic 31(1), 77–98 (2002)
Ma, Y., Qi, G., Hitzler, P.: Computing inconsistency measure based on paraconsistent semantics. Logic and Computation 21(6), 1257–1281 (2011)
Mu, K., Liu, W., Jin, Z.: A general framework for measuring inconsistency through minimal inconsistent sets. Journal of Knowledge and Information Systems 27(1), 85–114 (2011)
Mu, K., Liu, W., Jin, Z.: Measuring the blame of each formula for inconsistent prioritized knowledge bases. Logic and Computation 22(3), 481–516 (2012)
Oller, C.: Measuring coherence using LP-models. Journal of Applied Logic 2(4), 451–455 (2004)
Thimm, M.: Inconsistency measures for probabilistic logics. Artificial Intelligence 197, 1–24 (2013)
Xiao, G., Ma, Y.: Inconsistency measurement based on variables in minimal unsatisfiable subsets. In: De Raedt, L., Bessière, C., Dubois, D., Doherty, P., Frasconi, P., Heintz, F., Lucas, P.J.F. (eds.) 20th European Conference on Artificial Intelligence (ECAI 2012), Montpellier, France, August 27-31, pp. 864–869. IOS Press (2012)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Besnard, P. (2014). Revisiting Postulates for Inconsistency Measures. In: Fermé, E., Leite, J. (eds) Logics in Artificial Intelligence. JELIA 2014. Lecture Notes in Computer Science(), vol 8761. Springer, Cham. https://doi.org/10.1007/978-3-319-11558-0_27
Download citation
DOI: https://doi.org/10.1007/978-3-319-11558-0_27
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-11557-3
Online ISBN: 978-3-319-11558-0
eBook Packages: Computer ScienceComputer Science (R0)