Measuring inconsistency through minimal inconsistent sets

Proceedings of the International Conference on Knowledge Representation and Reasoning

Volumn , Issue , 2008, Pages 358-366

  Hunter, Anthony ^a   Konieczny, Sébastien ^b  

^a UNIVERSITY COLLEGE LONDON   (United Kingdom)

^b UNIVERSITÉ D'ARTOIS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPLETE AXIOMATIZATIONS; LOOK-FORWARD; MEASURING INCONSISTENCY; SAT SOLVERS; SHAPLEY;

KNOWLEDGE REPRESENTATION;

EID: 84860540096     PISSN: 23341025     EISSN: 23341033     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (39)

1. Aumann, R., and Hart, S., eds. 2002. Handbook of Game Theory with Economic Applications, volume 3. North- Holland.
2. Barraǵans-Mart́nez, B.; Pazos-Arias, J.; and Ferńandez- Vilas, A. 2004. On measuring levels of inconsistency in multi-perspective requirements specifications. In Proceedings of the 1st Conference on the Principles of Software Engineering (PRISE'04), 21-30.
3. Bertossi, L., and Bravo, L. 2005. Consistent query answers in virtual data integration systems. In Inconsistency Tolerance, volume 3300 of LNCS, 42-83. Springer.
4. Bertossi, L.; Hunter, A.; and Schaub, T. 2004. Introduction to inconsistency tolerance. In Inconsistency Tolerance, volume 3300 of LNCS, 1-16. Springer.
5. Chen, Q.; Zhang, C.; and Zhang, S. 2004. A verification model for electronic transaction protocols. In Advanced Web Technologies and Applications, volume 3007 of LNCS, 824-833. Springer.
6. Deng, X., and Papadimitriou, C. H. 1994. On the complexity of cooperative solution concepts. Mathematics of Operations Research 19(2):257-255.
7. Eiter, T., and Gottlob, G. 1992. On the complexity of propositional knowledge base revision, updates, and counterfactuals. Artificial Intelligence 57(2-3):227.
8. Grant, J., and Hunter, A. 2006. Measuring inconsistency in knowledgebases. Journal of Intelligent Information Systems 27:159-184.
9. Grant, J., and Hunter, A. 2008. Analysing inconsistent first-order knowledge bases. Artificial Intelligence 172:1064-1093.
10. Grant, J. 1978. Classifications for inconsistent theories. Notre Dame Journal of Formal Logic 19:435-444.
11. Gŕegoire, E.; Mazure, B.; and Piette, C. 2007. Boosting a complete technique to find mss and mus thanks to a local search oracle. In International Joint Conference on Artificial Intelligence(IJCAI'07), 2300-2305.
12. Gŕegoire, E.; Mazure, B.; and Piette, C. 2008. Using local search to find msses and muses. European Journal of Operational Research(EJOR). to appear.
13. Hunter, A., and Konieczny, S. 2004. Approaches to measuring inconsistent information. In Inconsistency Tolerance, volume 3300 of LNCS. Springer. 189-234.
14. Hunter, A., and Konieczny, S. 2006. Shapley inconsistency values. In Proceedings of the 10th International Conference on Knowledge Representation (KR'06), 249-259. AAAI Press.
15. Hunter, A., and Nuseibeh, B. 1998. Managing inconsistent specifications: Reasoning, analysis and action. ACM Transactions on Software Engineering and Methodology 7:335-367.
16. Hunter, A. 2002. Measuring inconsistency in knowledge via quasi-classical models. In Proceedings of the National Conference on Artificial Intelligence (AAAI'02), 68- 73. MIT Press.
17. Hunter, A. 2003. Evaluating significance of inconsistencies. In Proceedings of the 18th International Joint Conference on Artificial Intellignce (IJCAI'03), 468-473.
18. Hunter, A. 2004. Logical comparison of inconsistent perspectives using scoring functions. Knowledge and Information Systems Journal 6:528-543.
19. Hunter, A. 2006. How to act on inconsistent news: Ignore, resolve, or reject. Data and Knowledge Engineering 57:221-239.
20. Kalyanpur, A.; Parsia, B.; Sirin, E.; and Hendler, J. 2005. Debugging unsatisfiable classes in owl ontologies. Journal of Web Semantics 3(4):268-293.
21. Kautz, H., and Selman, B. 2007. The state of SAT. Discrete Applied Mathematics 155(12):1514-1524.
22. Knight, K. 2001. Measuring inconsistency. Journal of Philosophical Logic 31:77-98.
23. Knight, K. 2003. Two information measures for inconsistent sets. Journal of Logic, Language and Information 12:227-248.
24. Konieczny, S.; Lang, J.; and Marquis, P. 2003. Quantifying information and contradiction in propositional logic through epistemic actions. In Proceedings of the 18th International Joint Conference on Artificial Intellignce (IJCAI' 03), 106-111.
25. Koriche, F. 2001. On anytime coherence-based reasoning. In Quantitative and Qualitative Approaches to Reasoning with Uncertainty, volume 2143 of LNCS, 556-567. Springer.
26. Koriche, F. 2002. Approximate coherence-based reasoning. Journal of Applied Non-classical Logics 12(2):239- 258.
27. Levesque, H. 1984. A logic of implicit and explicit belief. In Proceedings of the National Conference on Artificial Intelligence (AAAI'84), 198-202.
28. Lozinskii, E. 1994. Information and evidence in logic systems. Journal of Experimental and Theoretical Artificial Intelligence 6:163-193.
29. Luce, R. D., and Raiffa, H. 1957. Games and Decision. Wiley.
30. Ma, Y.; Qi, G.; Hitzler, P.; and Lin, Z. 2007. Measuring inconsistency for description logics based on paraconsistent semantics. In Symbolic and Quantitative Approaches to Reasoning and Uncertainty (ECSQARU'07), volume 4724 of LNCS, 30-41. Springer.
31. Martinez, M.; Pugliese, A.; Simari, G.; Subrahmanian, V.; and Prade, H. 2007. How dirty is your relational database? an axiomatic approach. In Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'07), volume 4724 of Lecture Notes in Computer Science, 103 - 114. Springer.
32. Mu, K.; Jin, Z.; Lu, R.; and Liu, W. 2005. Measuring inconsistency in requirements engineering. In Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'05), volume 3571 of LNAI, 440-451. Springer.
33. Parsia, B.; Sirin, E.; and Kalyanpur, A. 2005. Debugging owl ontologies. In Proceedings of the 14th international conference on World Wide Web (WWW'05), 633- 640. ACM.
34. Qi, G., and Hunter, A. 2007. Measuring incoherence in description logic-based ontologies. In The Semantic Web, 6th International Semantic Web Conference (ISWC'07), volume 4825 of LNCS, 381-394. Springer.
35. Qi, G.; Liu, W.; and Bell, D. 2005. Measuring conflict and agreement between two prioritized belief bases. In Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence (IJCAI'05), 552-557.
36. Reiter, R. 1987. A theory of diagnosis from first principles. Artificial Intelligence 32:57-95.
37. Schaerf, M., and Cadoli, M. 1995. Tractable reasoning via approximation. Artificial Intelligence 74:249-310.
38. Shapley, L. S. 1953. A value for n-person games. In Kuhn, H.W., and Tucker, A.W., eds., Contributions to the Theory of Games II (Annals of Mathematics Studies 28), 307-317. Princeton University Press.
39. Wong, P., and Besnard, P. 2001. Paraconsistent reasoning as an analytic tool. Journal of the Interest Group in Propositional Logic 9:233-246.