Measuring inconsistency in knowledgebases

Journal of Intelligent Information Systems

Volumn 27, Issue 2, 2006, Pages 159-184

  Grant, John ^a   Hunter, Anthony ^b  

^a TOWSON UNIVERSITY   (United States)

^b UNIVERSITY COLLEGE LONDON   (United Kingdom)

Author keywords

Conflict resolution; Inconsistency; Integrity constraints; Paraconsistent logic

Indexed keywords

CONSTRAINT THEORY; DATABASE SYSTEMS; FORMAL LANGUAGES; FORMAL LOGIC; INFORMATION SCIENCE;

CONFLICT RESOLUTION; INCONSISTENCY; INTEGRITY CONSTRAINTS; PARACONSISTENT LOGIC;

KNOWLEDGE BASED SYSTEMS;

EID: 33748527809     PISSN: 09259902     EISSN: 15737675     Source Type: Journal    
DOI: 10.1007/s10844-006-2974-4     Document Type: Article

References (29)

1. Arieli, O., & Avron, A. (1998). The value of the four values. Artificial Intelligence, 102, 97-141.
2. Baral, C., Kraus, S., Minker, J., & Subrahmanian, V. (1992). Combining knowledgebases of first-order theories. Computational Intelligence, 8, 45-71.
3. Belnap, N. (1977). A useful four-valued logic. In G. Epstein (Ed.), Modern uses of multiple-valued logic (pp. 8-37). Reidel.
4. Bertossi, L., & Chomicki, J. (2003). Query answering in inconsistent databases. In G. Saake, J. Chomicki, & R. van der Meyden (Eds.), Logics for emerging applications of databases. Springer.
5. Besnard, P., & Hunter, A. (1995). Quasi-classical logic: Non-trivializable classical reasoning from inconsistent information. In Symbolic and quantitative approaches to uncertainty, vol. 946 of LNCS (pp. 44-51).
6. Carnielli, W., & Marcos, J. (2002). A taxonomy of C systems. In Paraconsistency: The Logical Way to the Inconsistent (pp. 1-94). Marcel Dekker.
7. da Costa, N. C. (1974). On the theory of inconsistent formal systems. Notre Dame Journal of Formal Logic, 15, 497-510.
8. Dubois, D., Lang, J., & Prade, H. (1994). Possibilistic logic. In Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 3 (pp. 439-513). Oxford University Press.
9. Grant, J. (1978). Classifications for inconsistent theories. Notre Dame Journal of Formal Logic, 19, 435-444.
10. Grant, J., & Subrahmanian, V. S. (2000). Applications of paraconsistency in data and knowledge bases. Synthese, 125, 121-132.
11. Halevy, A. (2001). Answering queries using views: A survey. VLDB Journal, 10(4), 270-294.
12. Hunter, A. (1998). Paraconsistent logics. In Handbook of Defeasible Reasoning and Uncertainty Management Systems, vol. 2 (pp. 11-36). Kluwer.
13. Hunter, A. (2000a). Reasoning with conflicting information using quasi-classical logic. Journal of Logic and Computation, 10, 677-703.
14. Hunter, A. (2000b). Reasoning with inconsistency in structured text. Knowledge Engineering Review, 15, 317-337.
15. Hunter, A. (2001). A semantic tableau version of first-order quasi-classical logic. In Symbolic and Quantitative Approaches to Uncertainty, vol. 2143 of LNCS (pp. 544-556).
16. Hunter, A. (2002). Measuring inconsistency in knowledge via quasi-classical models. In Proceedings of the National Conference on Artificial Intelligence (AAAI'02) (pp. 68-73). MIT Press.
17. Hunter, A. (2003). Evaluating significance of inconsistencies. In Proceedings of the 18th International Joint Conference on Artificial Intellignce (UCAI'03) (pp. 468-473).
18. Hunter, A., & Nuseibeh, B. (1998). Managing inconsistent specifications: Reasoning, analysis and action. ACM Transactions on Software Engineering and Methodology, 7, 335-367.
19. Konieczny, S., & Pino Perez, R. (1998). On the logic of merging. In Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR98) (pp. 488-498). Morgan Kaufmann.
20. Konieczny, S., Lang, J., & Marquis, P. (2003). Quantifying information and contradiction in prepositional logic through epistemic actions. In Proceedings of the 18th International Joint Conference on Artificial Intellignce (UCAI'03) (pp. 106-111).
21. Levesque, H. (1984). A logic of implicit and explicit belief. In Proceedings of the National Conference on Artificial Intelligence (AAAI'84) (pp. 198-202).
22. Lozinskii, E. (1994). Information and evidence in logic systems. Journal of Experimental and Theoretical Artificial Intelligence, 6, 163-193.
23. Marquis, P., & Porquet, N. (2001). Computational aspects of quasi-classical entailment. Journal of Applied Non-classical Logics, 11, 295-312.
24. Miarka, R., Derrick, J., & Boiten, E. (2002). Handling inconsistencies in z using quasi-classical logic. In D. Bert, J. Bowen, M. Henson, & K. Robinson (Eds.), ZB2002: Formal Specification and Development in Z and B, vol. 2272 of Lecture Notes in Computer Science (pp. 204-225). Springer.
25. Priest, G. (1989). Reasoning about truth. Artificial Intelligence, 39, 231-244.
26. Priest, G. (2002). Paraconsistent logic. In Handbook of philosophical logic, vol. 6. Kluwer.
27. Reiter, R. (1978). Equality and domain closure. Journal of the ACM, 27, 235-249.
28. Sheth, A., & Larson, J. (1990). Federated database systems for managing distributed, heterogeneous, and autonomous databases. ACM Computing Surveys, 22, 183-236.
29. Smullyan, R. (1968). First-order logic. Springer.