Fuzzy logic programming

Fuzzy Sets and Systems

Volumn 117, Issue 2, 2001, Pages 215-230

  Ebrahim, Rafee ^a  

^a DE MONTFORT UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTATIONAL LINGUISTICS; DATA STRUCTURES; EXPERT SYSTEMS; LOGIC PROGRAMMING; MATHEMATICAL MODELS; PROLOG (PROGRAMMING LANGUAGE);

APPROXIMATE REASONING; HERBRAND MODELS;

FUZZY SETS;

EID: 0035217373     PISSN: 01650114     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0165-0114(98)00300-5     Document Type: Article

References (27)

1. Apt K.R. Logic programming. van Leeuwen J. Handbook of Theoretical Computer Science. vol. B:1990;493-574 Elsevier, Amsterdam.
2. J.F. Baldwin, T.P. Martin, Fast Operations on Fuzzy Sets in The Abstract FRIL Machine, Proc. IEEE Internat. Conf. on Fuzzy Systems 1992, 1992, pp. 803-810.
3. Baldwin J.F., Martin T.P., Pilsworth B.W. Fril - Fuzzy and Evidential Reasoning in Artificial Intelligence. 1995;Research Studies Press Ltd., Wiley, New York.
4. Baldwin J.F. Fuzzy Logic. 1996;Wiley, New York.
5. R.S. Boyer, J.S. Moore, The sharing of structure in theorem proving programs, in: B. Meltzer, D. Midie (Eds.), Machine Intelligence, vol. 7, Edinburgh University Press, Edinburgh.
6. Chang C.L., Lee R.C.T. Symbolic Logic and Mechanical Theorem Proving. 1973;Academic Press, New York.
7. D. Dubois, J. Lang, H. Prade, POSLOG, an inference system based on possibilistic logic, Proc. 1990 North American Fuzzy Information Processing Society Congress, Toronto, 1990, pp. 1189-1277.
8. Enderton H.B. A Mathematical Introduction to Logic. 1972;Academic Press, New York.
9. M. Ishizuka, N. Kanai, Prolog-ELF Incorporating Fuzzy Logic, Proc. 9th IJCAI, 1985, pp. 701-703.
10. H. Kikuch, M. Mukaidono, PROFIL - Fuzzy Interval Logic Prolog, Preprints of Internat. Workshop on Fuzzy System Application, 1988, pp. 205-206.
11. R.A. Kowalski, Predicate Logic as a Programming Language, Information Processing 74, North-Holland, Stockholm, 1974, pp. 569-574.
12. Kowalski R.A. Logic for Problem Solving. 1979;North-Holland, New York.
13. Kowalski R.A. Algorithm=Logic+Control. Comm. ACM. 22(7):1979;424-436.
14. Kowalski R.A. The relation between logic programming and logic specification. Hoare C.A.R., Shepherdson J.C. Mathematical Logic and Programming Languages. 1985;11-27 Prentice-Hall, Englewood Cliffs, NJ.
15. Kowalski R.A. Linear resolution with selection function. Artificial Intelligence. 2:1971;227-260.
16. D. Li, D. Liu, A fuzzy prolog database system, Research Studies Press Ltd., Tomtom, Somerset, England.
17. Lloyd J.W. Foundations of Logic Programming. 1987;Springer, Berlin.
18. Loveland D.W. Automated Theorem Proving: A Logical Basis. 1978;North-Holland, New York.
19. T.P. Martin, J.F. Baldwin, B.W. Pilsworth, The implementation of FPROLOG - a fuzzy prolog interpreter, 1987.
20. Mendelson E. Introduction to Mathematical Logic. 2nd ed. 1979;Van Nostrand, Princeton, NJ.
21. Minker J. On deductive relational databases, Annals New York. 1983;Academy of Sciences, New York.
22. Mukaidono M. Foundations of Fuzzy Logic Programming, Advances in Fuzzy Systems - Application and Theory, vol. 1. 1996;World Scientific, Singapore.
23. Z. Shen, L. Ding, M. Mukaidono, Fuzzy Resolution Principle, Proc. of 18th International Symposium on Multiple-valued Logic, vol. 5, 1989.
24. Shepherdson J.C. Negation in logic programming. Minker J. Foundations of Deductive Databases and Logic Programming, 19-88. 1988;Morgan Kaufmann, Los Altos, CA.
25. Shoenfield J. Mathematical Logic. 1967;Addison-Wesley, Reading, MA.
26. M. Umano, Fuzzy set Prolog, Preprints of the 2nd Internat. Fuzzy Systems Association (IFSA) Congress, Tokyo, 1987, pp. 750-753.
27. H. Yasui, Y. Hamada, M. Mukaidono, Fuzzy Prolog based on Lukasiewicz implication and bounded product, IEEE Trans. Fuzzy Systems, 1995.