Paraconsistent declarative semantics for extended logic programs

Annals of Mathematics and Artificial Intelligence

Volumn 36, Issue 4, 2002, Pages 381-417

  Arieli, Ofer ^a  

^a ACADEMIC COLLEGE OF TEL AVIV YAFFO   (Israel)

Author keywords

Fixpoint semantics; Logic programming; Multi valued logics; Paraconsistency

Indexed keywords

EID: 0141567492     PISSN: 10122443     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1016358201013     Document Type: Article

References (49)

1. J.J. Alferes, H. Herre and L.M. Pereira, Partial models of extended generalized logic programs, in: Proc. 1st International Conference on Computational Logic (CL'2000), Lecture Notes in Artificial Intelligence, Vol. 1861, eds. J. Lloyd et al. (Springer, Berlin, 2000) pp. 149-163.
2. J.J. Alferes, J.A. Leite, L.M. Pereira, H. Przymusinska and T.C. Przymusinski, Dynamic updates of non-monotonic knowledge base, Journal of Logic Programming 45 (2000) 43-70.
3. O. Arieli, Four-valued logics for reasoning with uncertainty in prioritized data, in: Information, Uncertainty, Fusion, eds. B. Bouchon-Meunier, R.R. Yager and L.A. Zadeh (Kluwer Academic, Dordrecht, 1999) pp. 293-304.
4. O. Arieli, An algorithmic approach to recover inconsistent knowledge-bases, in: Proc. 7th European Workshop on Logics in Artificial Intelligence (JELIA'00), Lecture Notes in Artificial Intelligence, Vol. 1919, eds. M. Ojeda-Aciego, I.P. de Guzman, G. Brewka and L.M. Pereira (Springer, Berlin, 2000) pp. 148-162.
5. O. Arieli, Paraconsistent semantics for extended logic programs, in: Proc. International Conference on Artificial Intelligence (IC- AI'02) (CSREA Press, 2002).
6. O. Arieli and A. Avron, Reasoning with logical bilattices, Journal of Logic, Language and Information 5(1) (1996) 25-63.
7. O. Arieli and A. Avron, The value of the four values, Artificial Intelligence 102(1) (1998) 97-141.
8. O. Arieli, B. Van Nuffelen, M. Denecker and M. Bruynooghe, Coherent composition of distributed knowledge-bases through abduction, in: Proc. 8th International Conference on Logic Programming, Artificial Intelligence and Reasoning (LPAR'O1), Lecture Notes in Computer Science, Vol. 2250, eds. A. Nieuwenhius and A. Voronkov (Springer, Berlin, 2001) pp. 620-635.
9. A. Avron, Simple consequence relations, Information and Computation 92 (1991) 105-139.
10. A. Avron, The structure of interlaced bilattices, Mathematical Structures in Computer Science 6 (1996) 287-299.
11. C. Baral and M. Gelfond, Logic programming and knowledge representation, Journal of Logic Programming 19-20 (1994) 73-148.
12. N.D. Belnap, A useful four-valued logic, in: Modern Uses of Multiple-Valued Logic, eds. G. Epstein and J.M. Dunn (Reidel, Dordrecht, 1977) pp. 7-37.
13. N.D. Belnap, How a computer should think, in: Contemporary Aspects of Philosophy, ed. G. Ryle (Oriel Press, 1977) pp. 30-56.
14. S. Benferhat, D. Dubois and H. Prade, How to infer from inconsistent beliefs without revising?, in: Proc. International Joint Confrence on Artificial Intelligence (IJCAI'95) (1995) pp. 1449-1455.
15. K.L. Clark, Negation as failure, in: Logic and Databases, eds. H. Gallaire and J. Minker (Plenum, New York, 1978) pp. 293-322.
16. N.C.A. da-Costa, On the theory of inconsistent formal systems, Notre Damm Journal of Formal Logic 15 (1974) 497-510.
17. C.V. Damásio and L.M. Pereira, A model theory for paraconsistent logic programming, in: Proc. 7th Portuguese Conference on Artificial Intelligence, Lecture Notes in Artificial Intelligence, Vol. 990 (Springer, Berlin, 1995) pp. 409-418.
18. M. Denecker, The well-founded semantics is the principle of inductive definitions, in: Proc. 6th European Workshop on Logic in Artificial Intelligence (JELIA'98), Lecture Notes in Artificial Intelligence, Vol. 1498, eds. J. Dix, L. Farinas del Cerro and U. Furbach (Springer, Berlin, 1998) pp. 1-16.
19. D. Dubios, J. Lang and H. Prade, Possibilistic logic, in: Handbook of Logic in Artificial Intelligence and Logic Programming, eds. D. Gabbay, C. Hogger and J. Robinson, Oxford Science Publications (Oxford University Press, Oxford, 1994) pp. 439-513.
20. M. Fitting, Kripke-Kleene semantics for logic programs, Journal of Logic Programming 2 (1985) 295-312.
21. M. Fitting, Bilattics in logic programming, in: Proc. 20th IEEE International Symposium on Multiple-valued Logics, ed. G. Epstein (IEEE Press, 1990) pp. 238-246.
22. M. Fitting, Kleene's logic generalized, Logic and Computation 1 (1990) 797-810.
23. M. Fitting, Bilattices and the semantics of logic programming, Journal of Logic Programming 11(2) (1991) 91-116.
24. M. Fitting, The family of stable models, Journal of Logic Programming 17 (1993) 197-225.
25. M. Fitting, Kleene's three-valued logics and their children, Fundamenta Informaticae 20 (1994) 113-131.
26. A.J. García, G.R. Simari and C.I. Chesñevar, An argumentative framework for reasoning with inconsistent and incomplete information, in: ECAI'98 Workshop on Practical Reasoning and Rationality (1998).
27. M. Gelfond and V. Lifschitz, The stable model semantics for logic programming, in: Proc. 5th Logic Programming Symposium, eds. R. Kowalski and K. Bowen (MIT Press, Menlo Park, CA, 1988) pp. 1070-1080.
28. M. Gelfond and V. Lifschitz, Logic programs with classical negation, in: Proc. 7th International Conference on Logic Programming (ICLP'90), eds. D. Warren and P. Szeredi (1990) pp. 579-597.
29. M.L. Ginsberg, Multi-valued logics, in: Readings in Non-Monotonic Reasoning, ed. M.L. Ginsberg (1987) pp. 251-258.
30. M.L. Ginsberg, Multi-valued logics: A uniform approach to reasoning in artificial intelligence, Computer Intelligence 4 (1988) 256-316.
31. S.C. Kleene, Introduction to Mathematics (Van Nostrand, Princeton, NJ, 1950).
32. R.A. Kowalski and F. Sadri, Logic programs with exceptions, in: Proc. 7th International Conference on Logic Programming (ICLP'90), eds. D. Warren and P. Szeredi (1990) pp. 598-613.
33. S. Kraus, D. Lehmann and M. Magidor, Nonmonotonic reasoning, preferential models and cumulative logics, Artificial Intelligence 44 (1990) 167-207.
34. J.W. Lloyd, Foundations of Logic Programming (Springer, Berlin, 1987).
35. D. Makinson, General patterns in nonmonotonic reasoning, in: Handbook of Logic in Artificial Intelligence and Logic Programming 3, eds. D. Gabbay, C. Hogger and J. Robinson, Oxford Science Publications (Oxford University Press, Oxford, 1994) pp. 35-110.
36. B. Messing, Combining knowledge with many-valued logics, Data and Knowledge Engineering 23 (1997) 297-315.
37. R. Nelken and N. Francez, Bilattices and the semantics of natural language questions, Technical Report, Department of Computer Science, The Technion, Israel (1998).
38. L.M. Pereira and J.J. Alferes, Well-founded semantics for logic programs with explicit negation, in: Proc. 10th European Conference on Artificial Intelligence (ECAI'92), ed. B. Neumann (1992) pp. 102-106.
39. L.M. Pereira, J.N. Aparício and J.J. Alferes, Nonmonotonic reasoning with well-founded semantics, in: Proc. 8th International Conference on Logic Programming (ICLP'91) ed. K. Furukawa (1991) pp. 475-489.
40. G. Priest, Minimally inconsistent LP, Studia Logica 50 (1991) 321-331.
41. H. Przymusinska and T. Przymusinski, Weakly perfect model semantics for logic programs, in: Proc. 5th Logic Programming Symposium, eds. R. Kowalski and K. Bowen (MIT Press, Menlo Park, 1988) pp. 1106-1122.
42. H. Przymusinska and T. Przymusinski, Semantic issues in deductive databases and logic programs, in: Formal Techniques in Artificial Intelligence, ed. R.B. Banejí (Elsevier Science, Amsterdam, 1990) pp. 321-367.
43. T. Przymusinski, Extended stable semantics for normal and disjunctive programs, in: Proc. 7th International Conference on Logic Programming (ICLP'90), eds. D. Warren and P. Szeredi (1990) pp. 459-477.
44. R. Reiter, On closed word data bases, in: Logic and Data Bases, eds. H. Gallaire and J. Minker (Plenum, New York, 1978) pp. 119-140.
45. A. Schoter, Evidential bilattice logic and lexical inferences, Journal of Logic, Language and Information 5(1) (1996) 65-105.
46. A. Tarski, Lattice-theoretic fixpoint theorem and its applications, Pacific Journal of Mathematics 5 (1955) 285-309.
47. M. van-Emden and R.A. Kowalski, The semantics of predicate logic as a programming language, Journal of the ACM 23(4) (1976) 733-742.
48. A. Van Gelder, K.A. Ross and J.S. Schlipf, The well-founded semantics for general logic programs, Journal of the ACM 38(3) (1991) 620-650.
49. G. Wagner, Vivid Logic, Lecture Notes in Artificial Intelligence, Vol. 764 (Springer, Berlin, 1994).