Distance-based paraconsistent logics

International Journal of Approximate Reasoning

Volumn 48, Issue 3, 2008, Pages 766-783

  Arieli, Ofer ^a  

^a ACADEMIC COLLEGE OF TEL AVIV YAFFO   (Israel)

Author keywords

Distance semantics; Multiple valued logics; Paraconsistent and non monotonic reasoning

Indexed keywords

DATABASE SYSTEMS; INFORMATION ANALYSIS; INFORMATION THEORY;

(PL) PROPERTIES; BELIEF REVISION; CONSISTENT QUERY ANSWERING; DISTANCE-BASED; ELSEVIER (CO); GENERAL FRAMEWORK; INCONSISTENT DATABASES; INFORMATION INTEGRATION SYSTEMS; NON MONOTONIC REASONING; PARACONSISTENT LOGICS; SOME APPLICATIONS;

INFORMATION SYSTEMS;

EID: 45149111718     PISSN: 0888613X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ijar.2007.07.002     Document Type: Article

References (60)

1. Abiteboul S., Hull R., and Vianu V. Foundations of Databases (1995), Addison-Wesley
2. Alchourrón C.E., Gärdenfors P., and Makinson D. On the logic of theory change: partial meet contraction and revision function. Journal of Symbolic Logic 50 (1985) 510-530
3. M. Arenas, L. Bertossi, J. Chomicki. Consistent query answers in inconsistent databases, in: Proceedings of the 18th Symposium on Principles of Database Systems (PODS'99), 1999, pp. 68-79.
4. Arenas M., Bertossi L., and Chomicki J. Answer sets for consistent query answering in inconsistent databases. Theory and Practice of Logic Programming 3 4-5 (2003) 393-424
5. Arieli O. Paraconsistent preferential reasoning by signed quantified Boolean formulae. In: de Mántaras R., and Saitta L. (Eds). Proceeding of the 16th European Conference on Artificial Intelligence (ECAI'04) (2004), IOS Press 773-777
6. O. Arieli, Paraconsistent reasoning and preferential entailments by signed quantified Boolean formulae, ACM Transactions on Computational Logic, 8(3) (2007), Article 18.
7. Arieli O., and Avron A. The value of the four values. Artificial Intelligence 102 1 (1998) 97-141
8. Arieli O., and Denecker M. Reducing preferential paraconsistent reasoning to classical entailment. Journal of Logic and Computation 13 4 (2003) 557-580
9. Arieli O., Denecker M., and Bruynooghe M. Distance-based repairs of databasese. In: Fisher M., et al. (Ed). Proceedings of the 10th European Conference on Logics in Artificial Intelligence (JELIA'06). LNAI 4160 (2006), Springer 43-55
10. Arieli O., Denecker M., Van Nuffelen B., and Bruynooghe M. Computational methods for database repair by signed formulae. Annals of Mathematics and Artificial Intelligence 46 1-2 (2006) 4-37
11. Avron A. Natural 3-valued logics: characterization and proof theory. Journal of Symbolic Logic 56 1 (1991) 276-294
12. Batens D. Dynamic dialectical logics. In: Priest G., Routely R., and Norman J. (Eds). Paraconsistent Logic. Essay on the Inconsistent (1989), Philosophia Verlag 187-217
13. Batens D. Inconsistency-adaptive logics. In: Orlowska E. (Ed). Logic at Work (1998), Physica Verlag 445-472
14. In: Batens D., Mortenson C., Priest G., and Van Bendegem J. (Eds). Frontiers of Paraconsistent Logic (2000), Research Studies Press
15. Belnap N.D. How a computer should think. In: Ryle G. (Ed). Contemporary Aspects of Philosophy (1977), Oriel Press 30-56
16. Belnap N.D. A useful four-valued logic. In: Dunn J.M., and Epstein G. (Eds). Modern Uses of Multiple-Valued Logics (1977), Reidel Publishing Company 7-37
17. Ben Naim J. Lack of finite characterizations for the distance-based revision. Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR'06) (2006), AAAI Press 239-248
18. S. Benferhat, C. Cayrol, D. Dubois, J. Lang, H. Prade, Inconsistency management and prioritized syntax-based entailment, in: Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI'93), 1993, pp. 640-645.
19. L. Bravo, L. Bertossi, Logic programming for consistently querying data integration systems, in: G. Gottlob, T. Walsh (Eds.), Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI'03), 2003, pp. 10-15.
20. In: Carnielli W., Coniglio M., and Dóttaviano I. (Eds). Paraconsistency: The Logical Way to the Inconsistent. Lecture Notes in Pure and Applied Mathematics vol. 228 (2002), Marcel Dekker
21. Chomicki J. Consistent query answering: Five easy pieces. Proceedings of the 11th International Conference on Database Theory (ICDT'07). LNCS 4353 (2007), Springer 1-17
22. Chomicki J., and Marchinkowski J. Minimal-change integrity maintenance using tuple deletion. Information and Computation 197 1-2 (2005) 90-121
23. da Costa N.C.A. On the theory of inconsistent formal systems. Notre Dame Journal of Formal Logic 15 (1974) 497-510
24. Dalal M. Investigations into a theory of knowledge base revision. Proceedings of the National Conference on Artificial Intelligence (AAAI'98) (1988), AAAI Press 475-479
25. de Amo S., Carnielli W.A., and Marcos J. A logical framework for integrating inconsistent information in multiple databases. Proceedings of the 2nd International Symposium on Foundations of Information and Knowledge Systems (FoIKS'02). LNCS 2284 (2002), Springer 67-84
26. J. Delgrande, Preliminary considerations on the modelling of belief change operators by metric spaces, in: Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR'04), 2004, pp. 118-125.
27. Delgrande J., Dubois D., and Lang J. Iterated revision and prioritized merging. Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR'06) (2006), AAAI Press 210-220
28. D'ottaviano I. The completeness and compactness of a three-valued first-order logic. Revista Colombiana de Matematicas XIX 1-2 (1985) 31-42
29. Dubois D., and Prade H. Belief change and possibility theory. In: Gärdenfors P. (Ed). Belief Revision (1992), Cambridge Press 142-182
30. D. Eckert, G. Pigozzi, Belief merging, judgment aggregation, and some links with social choice theory, in: J. Delgrande, J. Lang, H. Rott, J. Tallon (Eds.), Proceedings of Dagstuhl Seminar No. 05321. 2005.
31. Eiter T., Fink M., Greco G., and Lembo D. Efficient evaluation of logic programs for querying data integration systems. Proceedings of the 19th International Conference on Logic Programming (ICLP'03). LNCS 2916 (2003), Springer 163-177
32. Epstein R.L. The Semantic Foundations of Logic. Propositional Logics vol. I (1990), Kluwer
33. Fitting M. Kleene's logic, generalized. Logic and Computation 1 (1990) 797-810
34. Gabbay D. Theoretical foundation for non-monotonic reasoning, Part II: Structured non-monotonic theories. In: Mayoh B. (Ed). Proceedings of the 3rd Scandinavian Conference on Artificial Intelligence (SCAI'91). Frontiers in Artificial Intelligence and Applications vol. 12 (1991), IOS Press 19-39
35. Greco S., and Zumpano E. Querying inconsistent databases. Proceedings of the International Conference on Logic Programming and Automated Reasoning (LPAR'2000). LNAI 1955 (2000), Springer 308-325
36. Grove A. Two modellings for theory change. Journal of Philosophical Logic 17 (1988) 157-180
37. Katsumo H., and Mendelzon A.O. Propositional knowledge base revision and minimal change. Artificial Intelligence 52 (1991) 263-294
38. Hájek P. Metamatematics of Fuzzy Logic (1998), Kluwer
39. Kleene S.C. Introduction to Metamathematics (1950), Van Nostrand
40. Konieczny S., Lang J., and Marquis P. Distance-based merging: a general framework and some complexity results. Proceedings of the 8th International Conference on Principles of Knowledge Representation and Reasoning (KR'02) (2002), Morgan Kaufmann Publishers 97-108
41. Konieczny S., and Pino Pérez R. Merging information under constraints: a logical framework. Logic and Computation 12 5 (2002) 773-808
42. Kraus S., Lehmann D., and Magidor M. Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence 44 1-2 (1990) 167-207
43. Lafage C., and Lang J. Logical representation of preference for group decision making. Proceedings of the 7th International Conference on Principles of Knowledge Representation and Reasoning (KR'2000) (2000), Morgan Kaufmann Publishers 457-468
44. Lafage C., and Lang J. Propositional distances and preference representation. Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'01). LNAI 2143 (2001), Springer 48-59
45. Lehmann D., and Magidor M. What does a conditional knowledge base entail?. Artificial Intelligence 55 (1992) 1-60
46. Lehmann D., Magidor M., and Schlechta K. Distance semantics for belief revision. Journal of Symbolic Logic 66 1 (2001) 295-317
47. Lin J., and Mendelzon A.O. Knowledge base merging by majority. Dynamic Worlds: From the Frame Problem to Knowledge Management (1999), Kluwer
48. Makinson D. General patterns in nonmonotonic reasoning. In: Gabbay D., Hogger C., and Robinson J. (Eds). Handbook of Logic in Artificial Intelligence and Logic Programming vol. 3 (1994), Oxford Science Publications 35-110
49. McCarthy J. Circumscription - a form of non monotonic reasoning. Artificial Intelligence 13 1-2 (1980) 27-39
50. Peppas P., Chopra S., and Foo N. Distance semantics for relevance-sensitive belief revision. Proceedings of the 9th International Conference on Principles of Knowledge Representation and Reasoning (KR'04) (2004), AAAI Press 319-328
51. Pigozzi G. Two aggregation paradoxes in social decision making: the ostrogorski paradox and the discursive dilemma. Episteme: A Journal of Social Epistemology 2 2 (2005) 33-42
52. Priest G. Reasoning about truth. Artificial Intelligence 39 (1989) 231-244
53. Priest G. Minimally inconsistent LP. Studia Logica 50 (1991) 321-331
54. Priest G. Paraconsistent logic. In: Gabbay D., and Guenthner F. (Eds). Handbook of Philosophical Logic vol. 6 (2002), Kluwer 287-393
55. Reiter R. On closed world databases. Logic and Databases (1978), Plenum Press 55-76
56. Rozoner L.I. On interpretation of inconsistent theories. Information Sciences 47 (1989) 243-266
57. Schlechta K. Coherent Systems. Studies in Logic and Practical Reasoning vol. 2 (2004), Elsevier
58. Shoham Y. Reasoning About Change: Time and Causation from the Standpoint of Artificial Intelligence (1988), MIT Press
59. Spohn W. Ordinal conditional functions: a dynamic theory of epistemic states. In: Harper W.L., and Skyrms B. (Eds). Belief Change and Statistics vol. II (1988), Kluwer Academic Publishers 105-134
60. Tarski A. Introduction to Logic (1941), Oxford University Press