Measuring inconsistency in knowledgebases
Tóm tắt
Từ khóa
Tài liệu tham khảo
Baral, C., Kraus, S., Minker, J., & Subrahmanian, V. (1992). Combining knowledgebases of first-order theories. Computational Intelligence, 8, 45–71.
Belnap, N. (1977). A useful four-valued logic. In G. Epstein (Ed.), Modern uses of multiple-valued logic (pp. 8–37). Reidel.
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.
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).
Carnielli, W., & Marcos, J. (2002). A taxonomy of C systems. In Paraconsistency: The Logical Way to the Inconsistent (pp. 1–94). Marcel Dekker.
da Costa, N. C. (1974). On the theory of inconsistent formal systems. Notre Dame Journal of Formal Logic, 15, 497–510.
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.
Grant, J. (1978). Classifications for inconsistent theories. Notre Dame Journal of Formal Logic, 19, 435–444.
Grant, J., & Subrahmanian, V. S. (2000). Applications of paraconsistency in data and knowledge bases. Synthese, 125, 121–132.
Hunter, A. (1998). Paraconsistent logics. In Handbook of Defeasible Reasoning and Uncertainty Management Systems, vol. 2 (pp. 11–36). Kluwer.
Hunter, A. (2000a). Reasoning with conflicting information using quasi-classical logic. Journal of Logic and Computation, 10, 677–703.
Hunter, A. (2000b). Reasoning with inconsistency in structured text. Knowledge Engineering Review, 15, 317–337.
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).
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.
Hunter, A. (2003). Evaluating significance of inconsistencies. In Proceedings of the 18th International Joint Conference on Artificial Intellignce (IJCAI'03) (pp. 468–473).
Hunter, A., & Nuseibeh, B. (1998). Managing inconsistent specifications: Reasoning, analysis and action. ACM Transactions on Software Engineering and Methodology, 7, 335–367.
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.
Konieczny, S., Lang, J., & 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) (pp. 106–111).
Levesque, H. (1984). A logic of implicit and explicit belief. In Proceedings of the National Conference on Artificial Intelligence (AAAI'84) (pp. 198–202).
Lozinskii, E. (1994). Information and evidence in logic systems. Journal of Experimental and Theoretical Artificial Intelligence, 6, 163–193.
Marquis, P., & Porquet, N. (2001). Computational aspects of quasi-classical entailment. Journal of Applied Non-classical Logics, 11, 295–312.
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.
Sheth, A., & Larson, J. (1990). Federated database systems for managing distributed, heterogeneous, and autonomous databases. ACM Computing Surveys, 22, 183–236.