Analysing inconsistent first-order knowledgebases

Artificial Intelligence

Volumn 172, Issue 8-9, 2008, Pages 1064-1093

  Grant, John ^a,b   Hunter, Anthony ^c  

^a TOWSON UNIVERSITY   (United States)

^b University of Maryland ^*  (United States)

^c UNIVERSITY COLLEGE LONDON   (United Kingdom)

Author keywords

Analysing inconsistency; Conflict resolution; Inconsistency tolerance; Measuring inconsistency; Paraconsistent logics

Indexed keywords

ERROR DETECTION; FORMAL LOGIC; KNOWLEDGE ENGINEERING; ONTOLOGY;

ANALYZING INCONSISTENCY; CONFLICT RESOLUTION; INCONSISTENCY TOLERANCE; MEASURING INCONSISTENCY; PARACONSISTENT LOGICS;

KNOWLEDGE BASED SYSTEMS;

EID: 41049097310     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.artint.2007.11.006     Document Type: Article

References (37)

1. Arieli O., and Avron A. The value of the four values. Artificial Intelligence 102 (1998) 97-141
2. Arenas M., Bertossi L., and Kifer M. Applications of annotated predicate calculus to querying inconsistent databases. Computational Logic (CL'2000). LNCS vol. 1861 (2000), Springer 926-941
3. Bertossi L., and Chomicki J. Query answering in inconsistent databases. In: Saake G., Chomicki J., and van der Meyden R. (Eds). Logics for Emerging Applications of Databases (2003), Springer
4. Benferhat S., Dubois D., Kaci S., and Prade H. Encoding information fusion in possibilistic logic: A general framework for rational syntactic merging. Proceedings of the 14th European Conference on Artificial Intelligence (ECAI'2000) (2000), IOS Press 3-7
5. Belnap N. A useful four-valued logic. In: Epstein G. (Ed). Modern Uses of Multiple-Valued Logic (1977), Reidel 8-37
6. Bertossi L., Hunter A., and Schaub T. Introduction to inconsistency tolerance. Inconsistency Tolerance. LNCS vol. 3300 (2004), Springer 1-16
7. Baral C., Kraus S., Minker J., and Subrahmanian V.S. Combining knowledgebases of first-order theories. Computational Intelligence 8 (1992) 45-71
8. B. Barragáns-Martínez, J. Pazos-Arias, A. Fernández-Vilas, On measuring levels of inconsistency in multi-perspective requirements specifications, in: Proceedings of the 1st Conference on the Principles of Software Engineering (PRISE'04), 2004, pp. 21-30
9. Carnielli W., and Marcos J. A taxonomy of C systems. Paraconsistency: The Logical Way to the Inconsistent (2002), Marcel Dekker 1-94
10. Chen Q., Zhang C., and Zhang S. A verification model for electronic transaction protocols. Advanced Web Technologies and Applications. LNCS vol. 3007 (2004), Springer 824-833
11. da Costa N.C. On the theory of inconsistent formal systems. Notre Dame Journal of Formal Logic 15 (1974) 497-510
12. de Amo S., Carnielli W., and Marcos J. A logical framework for integrating inconsistent information in multiple databases. Proceedings of the Second International Symposium on Foundations of Information and Knowledge Systems. LNCS vol. 2284 (2002), Springer 67-84
13. Finkelstein A., Gabbay D., Hunter A., Kramer J., and Nuseibeh B. Inconsistency handling in multi-perspective specifications. IEEE Transactions on Software Engineering 20 8 (1994) 569-578
14. Grant J., and Hunter A. Measuring inconsistency in knowledgebases. Journal of Intelligent Information Systems 27 (2006) 159-184
15. Grant J. Classifications for inconsistent theories. Notre Dame Journal of Formal Logic 19 (1978) 435-444
16. Grant J., and Subrahmanian V.S. Applications of paraconsistency in data and knowledge bases. Synthese 125 (2000) 121-132
17. Hunter A., and Konieczny S. Approaches to measuring inconsistent information. Inconsistency Tolerance. LNCS vol. 3300 (2004), Springer 189-234
18. Hunter A., and Konieczny S. Shapley inconsistency values. Proceedings of the 10th International Conference on Knowledge Representation (KR'06) (2006), AAAI Press 249-259
19. Hunter A., and Nuseibeh B. Managing inconsistent specifications: Reasoning, analysis and action. ACM Transactions on Software Engineering and Methodology 7 (1998) 335-367
20. Hunter A. Measuring inconsistency in knowledge via quasi-classical models. Proceedings of the National Conference on Artificial Intelligence (AAAI'02) (2002), MIT Press 68-73
21. A. Hunter, Evaluating significance of inconsistencies, in: Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI'03), 2003, pp. 468-473
22. Hunter A. Logical comparison of inconsistent perspectives using scoring functions. Knowledge and Information Systems Journal 6 (2004) 528-543
23. Hunter A. How to act on inconsistent news: Ignore, resolve, or reject. Data and Knowledge Engineering 57 (2006) 221-239
24. S. Konieczny, J. Lang, P. Marquis, Quantifying information and contradiction in propositional logic through epistemic actions, in: Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI'03), 2003, pp. 106-111
25. Knight K. Measuring inconsistency. Journal of Philosophical Logic 31 (2001) 77-98
26. Knight K. Two information measures for inconsistent sets. Journal of Logic, Language and Information 12 (2003) 227-248
27. Konieczny S., and Pino Perez R. On the logic of merging. Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98) (1998), Morgan Kaufmann 488-498
28. Lin J., and Mendelzon A.O. Merging databases under constraints. International Journal of Cooperative Information Systems 7 1 (1998) 55-76
29. Lozinskii E. Information and evidence in logic systems. Journal of Experimental and Theoretical Artificial Intelligence 6 (1994) 163-193
30. Mu K., Jin Z., Lu R., and Liu W. Measuring inconsistency in requirements engineering. Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'05). LNAI vol. 3571 (2005), Springer 440-451
31. Martinez M., Pugliese A., Simari G., Subrahmanian V.S., and Prade H. How dirty is your relational database? an axiomatic approach. Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'07). LNCS vol. 4724 (2007), Springer 103-114
32. Ma Y., Qi G., Hitzler P., and Lin Z. Measuring inconsistency for description logics based on paraconsistent semantics. Symbolic and Quantitative Approaches to Reasoning and Uncertainty (ECSQARU'07). LNCS vol. 4724 (2007), Springer 30-41
33. Priest G. Reasoning about truth. Artificial Intelligence 39 (1989) 231-244
34. G. Qi, W. Liu, D. Bell, Measuring conflict and agreement between two prioritized belief bases, in: Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence (IJCAI'05), 2005, pp. 552-557
35. Reiter R. Equality and domain closure in first-order databases. Journal of the Association of Computing Machinery 27 2 (1980) 235-249
36. D. Sarenac, R. Jennings, Implication, preservation, and truth, in: Proceedings of the International Conference on Artificial Intelligence, CSREA Press, 2001
37. Wong P., and Besnard Ph. Paraconsistent reasoning as an analytic tool. Journal of the Interest Group in Propositional Logic 9 (2001) 233-246