Knowledge Base Compilation for Inconsistency Measures

Said Jabbour, Badran Raddaoui, Lakhdar Sais

Abstract

Measuring conflicts is recognized as an important issue for handling inconsistencies. Indeed, an inconsistency measure can be employed to support the knowledge engineer in building a consistent knowledge base or repairing an inconsistent one. Good measures are supposed to satisfy a set of rational properties. However, defining sound properties is sometimes problematic. In (Jabbour et al., 2014c), the authors proposed a new prime implicates based approach to identify the variables involved in the contradiction, and a refinement of the notion of minimal inconsistent subsets (MUSes) in propositional knowledge bases. In this article, we establish a bridge between the conflicting variables in knowledge bases and the three valued semantics by compiling each formula of the base into its prime implicates. We then extend hitting sets for MUSes to hitting sets of the set of deduced MUSes (DMUSes) based on prime implicates representation. This leads to an interesting family of inconsistency metrics.

References

  1. Arieli, O. and Avron, A. (1998). The value of the four values. Artificial Intelligence, 102:97-141.
  2. Bertossi, L. E., Hunter, A., and Schaub, T. (2005). Introduction to inconsistency tolerance. In Inconsistency Tolerance, pages 1-14.
  3. Besnard, P. (2014). Revisiting postulates for inconsistency measures. In Logics in Artificial Intelligence - 14th European Conference, JELIA, pages 383-396.
  4. Besnard, P. and Hunter, A. (1995). Quasi-classical logic: Non-trivializable classical reasoning from incosistent information. In Proc. of ECSQARU'95, pages 44-51.
  5. Chen, Q., Zhang, C., and Zhang, S. (2004). A verification model for electronic transaction protocols. In APWeb, pages 824-833.
  6. Grant, J. (1978). Classifications for inconsistent theories. Notre Dame Journal of Formal Logic, 19(3):435-444.
  7. Grant, J. and Hunter, A. (2006). Measuring inconsistency in knowledgebases. J. Intell. Inf. Syst., 27(2):159-184.
  8. Grant, J. and Hunter, A. (2008). Analysing inconsistent first-order knowledgebases. Artif. Intell., 172(8- 9):1064-1093.
  9. Grant, J. and Hunter, A. (2013). Distance-based measures of inconsistency. In ECSQARU, pages 230-241.
  10. Hunter, A. (2002). Measuring inconsistency in knowledge via quasi-classical models. In AAAI/IAAI, pages 68- 73.
  11. Hunter, A. (2006). How to act on inconsistent news: Ignore, resolve, or reject. Data Knowl. Eng., 57(3):221-239.
  12. Hunter, A. and Konieczny, S. (2006). Shapley inconsistency values. In KR, pages 249-259.
  13. Hunter, A. and Konieczny, S. (2008). Measuring inconsistency through minimal inconsistent sets. In KR, pages 358-366.
  14. Hunter, A. and Konieczny, S. (2010). On the measure of conflicts: Shapley inconsistency values. Artif. Intell., 174(14):1007-1026.
  15. Jabbour, S., Ma, Y., and Raddaoui, B. (2014a). Inconsistency measurement thanks to mus decomposition. In International conference on Autonomous Agents and Multi-Agent Systems (AAMAS'14), pages 877-884.
  16. Jabbour, S., Ma, Y., Raddaoui, B., and Sais, L. (2014b). On the characterization of inconsistency: A prime implicates based framework. In 26th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2014, Limassol, Cyprus, November 10-12, 2014, pages 146-153.
  17. Jabbour, S., Ma, Y., Raddaoui, B., and Sais, L. (2014c). Prime implicates based inconsistency characterization. In ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014), pages 1037-1038.
  18. Jabbour, S. and Raddaoui, B. (2013). Measuring inconsistency through minimal proofs. In ECSQARU, pages 290-301.
  19. Ma, Y., Qi, G., and Hitzler, P. (2011). Computing inconsistency measure based on paraconsistent semantics. J. Log. Comput., 21(6):1257-1281.
  20. Ma, Y., Qi, G., Xiao, G., Hitzler, P., and Lin, Z. (2010). Computational complexity and anytime algorithm for inconsistency measurement. Int. J. Software and Informatics, 4(1):3-21.
  21. Martinez, A. B. B., Arias, J. J. P., and and, A. F. V. (2004). On measuring levels of inconsistency in multiperspective requirements specifications. In PRISE'04, pages 21-30.
  22. Martinez, M. V., Pugliese, A., Simari, G. I., Subrahmanian, V. S., and Prade, H. (2007). How dirty is your relational database? an axiomatic approach. In ECSQARU, pages 103-114.
  23. McAreavey, K., Liu, W., Miller, P., and Mu, K. (2011). Measuring inconsistency in a network intrusion detection rule set based on snort. Int. J. Semantic Computing, 5(3).
  24. Mu, K. (2015). Responsibility for inconsistency. International Journal of Approximate Reasoning, 61:43-60.
  25. Mu, K., Liu, W., and Jin, Z. (2011a). A general framework for measuring inconsistency through minimal inconsistent sets. Knowl. Inf. Syst., 27(1):85-114.
  26. Mu, K., Liu, W., and Jin, Z. (2012). Measuring the blame of each formula for inconsistent prioritized knowledge bases. J. Log. Comput., 22(3):481-516.
  27. Mu, K., Liu, W., Jin, Z., and Bell, D. A. (2011b). A syntax-based approach to measuring the degree of inconsistency for belief bases. Int. J. Approx. Reasoning, 52(7):978-999.
  28. Oller, C. A. (2004). Measuring coherence using lp-models. J. Applied Logic, 2(4):451-455.
  29. Qi, G., Liu, W., and Bell, D. A. (2005). Measuring conflict and agreement between two prioritized belief bases. In IJCAI, pages 552-557.
  30. Reiter, R. (1987). A theory of diagnosis from first principles. Artif. Intell., 32(1):57-95.
  31. Xiao, G., Lin, Z., Ma, Y., and Qi, G. (2010a). Computing inconsistency measurements under multi-valued semantics by partial max-sat solvers. In KR.
  32. Xiao, G., Lin, Z., Ma, Y., and Qi, G. (2010b). Computing inconsistency measurements under multi-valued semantics by partial max-SAT solvers. In Proc. of KR'10, pages 340-349.
  33. Xiao, G. and Ma, Y. (2012). Inconsistency measurement based on variables in minimal unsatisfiable subsets. In ECAI, pages 864-869.
  34. Zhou, L., Huang, H., Qi, G., Ma, Y., Huang, Z., and Qu, Y. (2009). Measuring inconsistency in dl-lite ontologies. In Web Intelligence, pages 349-356.
Download


Paper Citation


in Harvard Style

Jabbour S., Raddaoui B. and Sais L. (2016). Knowledge Base Compilation for Inconsistency Measures . In Proceedings of the 8th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART, ISBN 978-989-758-172-4, pages 532-539. DOI: 10.5220/0005824305320539


in Bibtex Style

@conference{icaart16,
author={Said Jabbour and Badran Raddaoui and Lakhdar Sais},
title={Knowledge Base Compilation for Inconsistency Measures},
booktitle={Proceedings of the 8th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,},
year={2016},
pages={532-539},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005824305320539},
isbn={978-989-758-172-4},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 8th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,
TI - Knowledge Base Compilation for Inconsistency Measures
SN - 978-989-758-172-4
AU - Jabbour S.
AU - Raddaoui B.
AU - Sais L.
PY - 2016
SP - 532
EP - 539
DO - 10.5220/0005824305320539