On the semantics of rule-based expert systems with uncertainty

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

Volumn 326 LNCS, Issue , 1988, Pages 102-117

  Kifer, Michael ^a   Li, Ai ^a  

^a STONY BROOK UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; DATABASE SYSTEMS; FORMAL METHODS; INTELLIGENT DATABASES; LOGIC PROGRAMMING; QUERY PROCESSING; SEMANTICS;

CONFLICTING EVIDENCE; EVIDENTIAL REASONING; FORMAL SEMANTICS; QUERY EVALUATION ALGORITHM; QUERY OPTIMIZATION; REASONING WITH UNCERTAINTY; RULE BASED EXPERT SYSTEMS; SMALL-SCALE SYSTEMS;

EXPERT SYSTEMS;

EID: 85027608326     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-50171-1_6     Document Type: Conference Paper

References (40)

1. K.R. Apt, H. Blair and A. Walker, “Towards a Theory of Declarative Knowledge”, in Foundations of Deductive Databases and Logic Programming, J. Minker, (ed.), Morgan-Kaufmann, 1988, 89-148.
2. I. Balbin and K. Ramamohanarao, “A Generalization of the Differential Approach to Recursive Query Evaluation”, J. Of Logic Programming, 4, (1987), 259-262.
3. J.F. Baldwin, T. P. Martin and B. W. Pilsworth, FRIL Manual, EQUIPU-AIR, Ltd., Bristol, UK, 1987.
4. J.F. Baldwin and M. R. M. Monk, “Evidence Theory, Fuzzy Logic and Logic Programming”, ITRC Teeh. Rep.# 109, University of Bristol, UK, 1987.
5. J.F. Baldwin, “Evidential Support Logic Programming”, Fuzzy Sets and Systems, 24, (1987), 1-26.
6. F. Bancilhon, “Naive Evaluation of Recursively Defined Relations”, Tech. Rep.# DB-004-85, MCC, 1985.
7. C. Beeri and R. Ramakrishnan, “On the Power of Magic”, Proc. Of the ACM SIGACT-SIGMOD Symp. On Prin. Of Database Systems, 1987, 269-283.
8. B.G. Buchanan and E. H. Shortliffe, (eds.), Rule-Based Expert Systems, Addison-Wesley, 1984.
9. A.K. Chandra and D. Harel, “Horn Clauses and Generalizations”, J. Of Logic Programming, 1985, 1-15.
10. K.L. Clark, “Negation as Failure”, in Logic and Databases, H. Gallaire and J. Minker, (eds.), Plenum Press, New York, 1978, 293-324.
11. W.F. Clocksin and C. S. Mellish, Programming in prolog, Springer Verlag, Berlin-Heidelberg-New York, 1981.
12. D. Dubois and H. Prude, (eds.), Fuzzy Sets and Systems: Theory and Applications, Academic Press, 1980.
13. E. A. Feigenbaum, “The Art of Artificial Intelligence: 1. Themes and Case Studies of Knowledge Engineering”, IJCAI-77, 1977, 1014-1029.
14. R. Frost, Introduction to Knowledge Base Systems, Macmillan Publishing C., 1986.
15. G. Gardarin, “Magic Functions: A Technique to Optimize Extended Datalog Recursive Programs”, Proc. Of the ACM Intl. Conf. On Very Large Data Bases, 1987, 21-30.
16. M.L. Ginsberg, “Nonmonotonic Reasoning Using Dempster’s Rule”, AAAI-8J, Austin, TX, 1984, 126-129.
17. M.L. Ginsberg, “Multlvalued Logics”, in Readings in Non-Monotonic Reasoning, M. L. Ginsgerg, (ed.), 1987, 251-255.
18. U. Guntzer and W. K. A. R. Bayer, “On Evaluation of Recursion in Deductive Database Systems by Efficient Differential Fixpoint Iteration” 3-d Int. Conf. On Data Engineering, 1987, 120-129.
19. F. Hayes-Roth, D. Waterman and D. Lenat, (eds.), Building Expert Systems, Addison-Wesley, 1983.
20. F. Hayes-Roth, “Rule-Based Systems”, Comm. ACM, 28, 9 (Sep. 1985), 921-932.
21. D.E. Heckerman and E. J. Horovitz, “On the Expressive Power of Rule-Based Systems for Reasoning with Uncertainty”, Automated Reasoning, 1987, 121-126.
22. L.N. Kanal and J. F. Lemmer, (eds.), Uncertainty in Artificial Intelligence (Machine Intelligence and Pattern Recognition, vol. 4), North Holland, 1986.
23. M. Kifer and E. L. Lozinskii, “A Framework for an Efficient Implementation of Deductive Database Systems”, Proceedings of the 6-th Advanced Database Symposium, Tokyo, Japan, Aug. 1986.
24. R.C.T. Lee, “Fuzzy Logic and the Resolution Principle”, J. Of ACM, 1972, 109-119.
25. V. Lifschitz, “On the Declarative Semantics of Logic Programs with Negation”, in Foundations of Deductive Databases and Logic Programming, J. Minker, (ed.), Morgan-Kaufmann, Los Altos, CA, 1988, 177-192.
26. J.W. Lloyd, Foundations of Logic Programming (Second Edition), Springer Verlag, 1987.
27. H. Prade, “A Synthetic View of Approximate Reasoning Techniques”, IJCAI, 1983, 130-136.
28. T. C. Przymusinski, “On the Declarative Semantics of Deductive Databases and Logic Programs”, in Foundations of Deductive Databases and Logic Programming, J. Minker, (ed.), Morgan-Kaufmann, Los Altos, CA, 1988, 193-216.
29. R. Reiter, “On Closed World Databases”, in Loyic and Databases, H. Gallaire and J. Minker, (eds.), Plenum Press New York, 1978, 55-76.
30. D. C. Rine, “Some Relationships between Logic Programming and Multiple-Valued Logic”, Syrup. On Multiple-Valued Logic, 1986, 160-163.
31. E. Sandewall, “A Functional Approach to Non-Monotonic Logic”, IJCAI-85, 1985, 100-106.
32. G. Shafer, A Mathematical Theory of Evidence, Princeton University Press, 1976.
33. E. Shapiro, “Logic Programs with Uncertainties: A Tool for Implementing Rule-Based Systems”, IJCAI-83, 1983, 529-532.
34. V. S. Subrahmanian, “On the Semantics of Quantitative Logic Programs”, IEEE Symposium on Logic Programming, 1987, 173-182.
35. J.D. Ullman, Principles of Database and Knowledge-Base Systems, Computer Science Press, Rockville, MD, 1988.
36. M.H. van Emden and R. A. Kowalski, “The Semantics of Predicate Logic as a Programming Language”, J. ACM, 28, 4 (Oct. 1976), 733-742.
37. M.H. van Emden, “Quantitative Deduction and its Fixpoint Theory”, The Journal of Logic Programming, 1986, 37-53.
38. L. Vieille, “Recursive Axioms in Deductive Databases: The Query-Subquery Approach”, Proc. Of the 1-st Conf. On Expert Database Systems, Charleston, SC, 1986, 179-196.
39. M. Zamankova-Leech and A. Kandel, Fuzzy Relational Databases - a Key to Expert Systems, Verlag TUV Rheinland, Koln, 1984.
40. A. Zvieli, “A Fuzzy Relational Calculus”, Proc. Of the 1-st Int. Conf. Of Expert Database Systems, Charlestone, SC, 1986, 225-240.