Extending disjunctive logic programming by T-norms

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1730, Issue , 1999, Pages 290-304

  Mateis, Cristinel ^a  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

BIOMINERALIZATION; COMPUTATIONAL LINGUISTICS; COMPUTER CIRCUITS; FUZZY LOGIC; KNOWLEDGE REPRESENTATION; LOGIC PROGRAMMING; MATHEMATICAL OPERATORS; RECONFIGURABLE HARDWARE; SEMANTICS;

BOOLEAN VALUES; CERTAINTY DEGREES; DISJUNCTIVE LOGIC PROGRAMMING; KNOWLEDGE REPRESENTATION LANGUAGE; PARAMETERIZED; QUANTITATIVE RULES; TRIANGULAR NORMS; UNCERTAINTY INFORMATIONS;

MODEL CHECKING;

EID: 84901775137     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46767-X_21     Document Type: Conference Paper

References (35)

1. K.R. Apt, H.A. Blair, and A. Walker. Towards a Theory of Declarative Knowledge. Foundations of Deductive Databases and Logic Programming, Minker, J. (ed.), Morgan Kaufmann, Los Altos, 1987.
2. F. Bacchus. Representing and Reasoning with Probabilistic Knowledge. Research Report CS-88-31, University of Waterloo, 1988.
3. Baral, C., Gelfond, M. Logic Programming and Knowledge Representation. Jour-nal of Logic Programming, Vol. 19/20, May/July, pp. 73–148, 1994.
4. R. Ben-Eliyahu and R. Dechter. Propositional Semantics for Disjunctive Logic Programs. Annals of Mathematics and Artificial Intelligence, 12:53–87, 1994.
5. R. Ben-Eliyahu and L. Palopoli. Reasoning with Minimal Models: Efficient Algo-rithms and Applications. In Proc. KR-94, pp. 39–50, 1994.
6. H.A. Blair and V.S. Subrahmanian. Paraconsistent Logic Programming. Theore-tical Computer Science, 68, pp. 35–54, 1987.
7. P. Bonissone. Summarizing and Propagating Uncertain Information with Trian-gular Norms. International Journal of Approximate Reasoning, 1:71–101,1987.
8. P.R. Cohen and M.R. Grinberg. A Framework for Heuristic Reasoning about Uncertainty. In Proc. IJCAI’83, pp. 355–357, Karlsruhe, Germany, 1983.
9. P.R. Cohen and M.R. Grinberg. A Theory of Heuristics Reasoning about Uncer-tainty. AI Magazine, 4(2):17–23, 1983.
10. A.P. Dempster. A Generalization of Bayesian Inference. J. of the Royal Statistical Society, Series B, 30, pp. 205–247, 1968.
11. J. Dix. Semantics of Logic Programs: Their Intuitions and Formal Properties. An Overview. In Logic, Action and Information, pp. 241–329. DeGruyter, 1995.
12. J. Doyle. Methodological Simplicity in Expert System Construction: the Case of Judgements and Reasoned Assumptions. AI Magazine, 4(2):39–43, 1983.
13. T. Eiter, G. Gottlob, and H. Mannila. Disjunctive Datalog. ACM Transaction on Database System, 22(3):364–417, September 1997.
14. T. Eiter and G. Gottlob. On the Computational Cost of Disjunctive Logic Pro-gramming: Propositional Case. Annals of Mathematics and Artificial Intelligence, 15(3/4):289–323, 1995.
15. M.C. Fitting. Bilattices and the Semantics of Logic Programming. J. Logic Pro-gramming, 11, pp. 91–116, 1991.
16. M. Gelfond and V. Lifschitz. Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing, 9:365–385, 1991.
17. M. Ishizuka. Inference Methods Based on Extended Dempster-Shafer Theory for Problems with Uncertainty/Fuzziness. New Generation Computing, 1, 2, pp. 159– 168, 1983.
18. M. Kifer and A. Li. On the Semantics of Rule-Based Expert Systems with Un-certainty. In 2-nd International Conference on Database Theory, Springer Verlag LNCS 326, pp. 102–117, 1988.
19. M. Kifer and V.S. Subrahmanian. Theory of the Generalized Annotated Logic Programming and its Applications. J. Logic Programming, 12, pp. 335–367, 1992.
20. L.V.S. Lakshmanan, N. Leone, R. Ross, and V.S. Subrahmanian. ProbView: A Flexible Probabilistic Database System. ACM Transaction on Database Systems, 22, 3, pp. 419–469, 1997.
21. J.W. Lloyd. Foundations of Logic Programming. Springer-Verlag, 1987.
22. J. Lobo, J. Minker, and A. Rajasekar. Foundations of Disjunctive Logic Program-ming. MIT Press, Cambridge, MA, 1992.
23. C. Mateis. A Quantitative Extension of Disjunctive Logic Programming. Technical Report, available on the web as: http://www.dbai.tuwien.ac.at/staff/mateis/gz/qdlp.ps.
24. R.T. Ng and V.S. Subrahmanian. Probabilistic Logic Programming. Information and Computation, 101:150–201, 1992.
25. R.T. Ng and V.S. Subrahmanian. Empirical Probabilities in Monadic Deductive Databases. In Proc. Eighth Conf. Uncertainty in AI, pp. 215–222, Stanford, 1992.
26. R.T. Ng and V.S. Subrahmanian. A Semantical Framework for Supporting Sub-jective and Conditional Probabilities in Deductive Databases. J. of Automated Reasoning, 10, 2, pp. 191–235, 1993.
27. R.T. Ng and V.S. Subrahmanian. Stable Semantics for Probabilistic Deductive Databases. Information and Computation, 110:42–83, 1994.
28. R.T. Ng and V.S. Subrahmanian. Non-monotonic Negation in Probabilistic Deductive Databases. In Proc. 7-th Conf. Uncertainty in AI, pp. 249–256, Los Angeles, 1991.
29. N.J. Nilsson. Probabilistic Logic. Artificial Intelligence, vol. 28, pp. 71–87, 1986.
30. J. Pearl. Probabilistic Reasoning in Intelligent Systems – Networks of Plausible Inference. Morgan Kaufmann, 1988.
31. B. Schweizer and A. Sklar. Associative Functions and Abstract Semi-Groups. Publicationes Mathematicae Debrecen, 10:69–81, 1963.
32. G. Shafer. A Mathematical Theory of Evidence. Princeton University Press, 1976.
33. E. Shapiro. Logic Programs with Uncertainties: A Tool for Implementing Expert Systems. In Proc. IJCAI’83, pp. 529–532, 1983.
34. M.H. van Emden. Quantitative Deduction and its Fixpoint Theory. The Journal of Logic Programming, 1:37–53, 1986.
35. L.A. Zadeh. Fuzzy Sets. Inform. and Control, 8:338–353, 1965.