Measuring the blame of each formula for inconsistent prioritized knowledge bases

Journal of Logic and Computation

Volumn 22, Issue 3, 2012, Pages 481-516

  Mu, Kedian ^a   Liu, Weiru ^b   Jin, Zhi ^a,c  

^a PEKING UNIVERSITY   (China)

^b QUEEN'S UNIVERSITY BELFAST   (United Kingdom)

^c Peking University   (China)

Author keywords

blame of each formula in inconsistency; Inconsistency measures; minimal inconsistent subsets; prioritized knowledge base

Indexed keywords

BLAME OF EACH FORMULA IN INCONSISTENCY; INCONSISTENCY MEASURES; INCONSISTENCY-TOLERANT REASONINGS; KNOWLEDGE BASE; KNOWLEDGE BASIS; PRIORITY LEVELS;

SET THEORY;

KNOWLEDGE BASED SYSTEMS;

EID: 84861908044     PISSN: 0955792X     EISSN: 1465363X     Source Type: Journal    
DOI: 10.1093/jigpal/exr002     Document Type: Article

References (26)

1. R. Aumann and S. Hart. Handbook of Game Theory with Economic Applications, Vol. 3. NothHolland, 2002.
2. L. Bertossi, A. Hunter, and T. Schaub. Introduction to inconsistency tolerance. In Inconsistency Tolerance, Vol. 3300 of Lecture Notes in Computer Science, L. E. Bertossi, A. Hunter, and T. Schaub, eds, pp. 1-16. Springer, 2004.
3. B. Barrangans-Martinez, J. Pazos-Arias, and A. Fernandez-Vilas. On the interplay between inconsistency and incompleteness in multi-perspective requirements specifications. Information and Software Technology, 50, 296-321, 2008.
4. J. Delgrande, D. Dubois, and J. Lang. Iterated revision as Prioritized merging. In Proceedings, Tenth International Conference on Principles of Knowledge Representation and Reasoning, P. Doherty, J. Mylopoulos, and C. A. Welty, eds, pp. 210-220. AAAI Press, 2006.
5. D. Dubois, S. Konieczny, and H. Prade. Quasi-possibilistic logic and its measures of information and conflict. Fundamenta Informaticae, 57, 101-125, 2003.
6. D. Dubois, J. Lang, and H. Prade. Possibilistic logic. In Handbook of logic in Aritificial Intelligence and Logic Programming, D. M. Gabbay, C. J. Hogger, and J. A. Robinson, eds, Vol. 3, pp. 439-513. Oxford University Press, 1994.
7. J. Grant and A. Hunter. Measuring inconsistency in knowledgebases. Journal of Intelligent Information Systems, 27, 159-184, 2006. (Pubitemid 44371210)
8. J. Grant and A. Hunter. Analysing inconsistent first-order knowledge bases. Artificial Intelligence, 172, 1064-1093, 2008.
9. J. Grant. Classifications for inconsistent theories. Notre Dame Journal of Formal Logic, 19, 435-444, 1978.
10. A. Hunter and S. Konieczny. Approaches to measuring inconsistent information. In Inconsistency Tolerance:LNCS, L. E. Bertossi, A. Hunter, and T. Schaub, eds, Vol. 3300, pp. 189-234. Springer, 2004.
11. A. Hunter and S. Konieczny. Shapley inconsistency values. In Priciples of knowledge representation and reasoning: Proceedings of the 10th international conference(KR06), P. Doherty, J. Mylopoulos, and C. A. Welty, eds, pp. 249-259. AAAI Press, 2006.
12. A. Hunter and S. Konieczny. Measuring inconsistency through minimal inconsistent sets. In Priciples of knowledge representation and reasoning: Proceedings of the eleventh international conference(KR08), G. Brewka and J. Lang, eds, pp. 358-366. AAAI Press, 2008.
13. A. Hunter. Logical comparison of inconsistent perspectives usingscoring functions. Knowledge and Information Systems, 6, 528-543, 2004.
14. S. Konieczny, J. Lang, and P. Marquis. Quantifying information and contradiction in propositional logic through epistemic actions. In Proceedings of the 18th International Joint Conference on Artificial Intellignce (IJCAI2003), G. Gottlob and T. Walsh, eds, pp. 106-111. Morgan Kaufmann, 2003.
15. K. Knight. Measuring inconsistency. Journal of Philosophical Logic, 31, 77-98, 2002.
16. K. Knight. Two information measures for inconsistent sets. Journal of Logic, Language and Information, 12, 227-248, 2003.
17. E. Kyburg. Probability and the logic of rational belief, p. 197. Wesleyan University Press, 1961.
18. J. Lang. From preference to combinatorial vote. In Proceedings of 8th International Conference on Principles of Knowledge Rpresentation and Reasoning, D. Fensel, F. Giunchiglia, D. L. McGuinness, and M.-A. Williams, eds, pp. 277-288. Morgan Kaufmann, 2002.
19. K. Mu, Z. Jin, R. Lu, and W. Liu. Measuring inconsistency in requirements specifications. In Proceedings of ECSQARU2005, L. Godo, ed., Vol. 3571 of LNCS, pp. 440-451. Springer, 2005.
20. K. Mu, Z. Jin, and D. Zowghi. A priority-based negotiations approach for handling inconsistency in multiperspective software requirements. Journal of Systems Science and Complexity, 21, 574-596, 2008.
21. K. Mu, W. Liu, Z. Jin, R. Lu, A. Yue, and D. Bell. Handling inconsistency in distributed software requirements specifications based on prioritized merging. Fundamenta Informaticae, 90, 631-670, 2009.
22. K. Mu, W. Liu, and Z. Jin. A general framework for measuring inconsistency through minimal inconsistent sets. Knowledge and Information Systems, 2010, doi:10. 1007/s10115-010-0295-y.
23. Y. Ma, G. Qi, P. Hitzler, and Z. Lin. Measuring inconssitency for description logics based on paraconsistent semantics. In Symbolic and Quantitative Approaches to Reasoning about Uncertainty, K. Mellouli, ed., Vol. 4724 of Lecture Notes in Computer Science, pp. 30-41. Springer, 2007.
24. G. Qi, W. Liu, and D. Bell. Measuring conflict and agreement between two prioritized belief bases. In Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence(IJCAI05), L. P. Kaelbling and A. Saffiotti, eds, pp. 552-557. Professional Book Center, 2005.
25. R. Reiter. A theory of diagnosis from first priniciples. Artificial Intelligence, 32, 57-95, 1987.
26. L. Shapley. A value for n-person games. In Contributions to the Theory of Games (Annals of Mathematical Studies, Vol. 28), H. W. Kuhn and A. W. Tucker, eds, Vol. II, pp. 307-317. Princeton University Press, 1953.