Fuzzy LP References

Appeared in Volume 7/4, November 1994

Keywords: fuzzy.


hvirtanen@finabo.abo.fi
Harry Virtanen 
19th November 1993

Raj Patil writes:

Is there an extension of Prolog that allows fuzzy LP?

There exists several papers about the idea of Fuzzy Prolog. Some of them are:

Richard C.T.Lee, Fuzzy Logic and the Resolution Principle, In Journal of the ACM, Vol. 19, No. 1, January 1972, pp. 109-119.

Ehud Y.Shapiro, Logic Programming With Uncertainties: A Toll for Implementing Rule-Based Systems, in Proc. 8th IJCAI, 1983, pp. 529-532

M.Ishizuka, N.Kanai, Prolog-Elf Incorporating Fuzzy Logic, in Proc 9th IJCAI, 1985, pp.701-703

T.P.Martin, J.F.Baldwin, P.W.Pilsworth, The Implementation of FPROLOG - A Fuzzy Prolog Interpreter, in Fuzzy Sets and Systems, No 23, (1987), pp. 119-129.

J.F.Baldwin, Evidental Support Logic Programming, in Fuzzy Sets and Systems, No. 24 (1987), pp.1-26

I.P.Orci, Programming in Possibilistic Logic, in Int. Journal of Expert Systems, Vol. 2, No. 1, 1989

N.Tamura, K.Horiuchi, H.Murakami, Prolog Extension Based on Interval-Vector- Valued Fuzzy Sets, in Proc. Int. Conf. on Fuzzy Sets & Neural Nets, (Iizuka, Japan,July 20-24, 1990), pp. 257-260

H.E.Virtanen, Combining and Incrementing Fuzzy Evidence - Heuristic and Formal Approaches to Fuzzy Logic Programming, in Proc. 4th IFSA Congress, (AI chapter), Brussels, pp. 200-203, 1991.

K.Atanassov, C.Georgiev, Intuitionistic fuzzy Prolog, in Fuzzy Sets and Systems No. 53 (1993), pp.121-128.

H.E.Virtanen, A Study in Fuzzy Logic Programming, accepted to 12th EMCSR'94 in Vienna, Austria, 1994

If you know how to program a meta-interpreter in Prolog, then you shouldn't have too much trouble implementing your own Fuzzy Prolog in Prolog.

Currently I am working on a Fuzzy Unification Algorithm.


georg@uni-paderborn.de
Georg Lehrenfeld 
16th December 1993

There are a lot of researchers trying to integrate Fuzzy and Prolog. Here are some references:

J.F. Baldwin, Fuzzy Sets Theory and Applications, A. Jones et al. (eds.), pp. 133-170, D. Reidel Publishing Company, 1986

J.F. Baldwin, Evidential Support Logic Programming, In Fuzzy Sets and Systems, pp. 1-26, Vol. 24, 1987

Didier Dubois and JŽr™me Lang and Henri Prade, Fuzzy Sets in Approximate Reasoning, Part2: Logical Approaches, in Fuzzy Sets and Systems, pp. 203-244, Vol. 40, 1991

C.J. Hinde, Fuzzy Prolog, In Int. Journal Man.-Machine Stud., No. 24, pp. 569-595, 1986

Christian Geiger and Georg Lehrenfeld, ConFuP - A Concurrent Logic Language with Fuzzy Semantics, To appear in Proc. of the 3. Dortmunder Fuzzy Tage, Springer, 1993

T.P. Martin and J.F. Baldwin, An Abstract Mechanism For Handling Uncertainty, In Uncertainty in Knowledge Bases, Bouchon-Meunier B., Yager R. R, Zadeh L. A. (eds.), pp. 126 - 135, Springer, 1990

M. Mukaidono, Fuzzy Inference of Resolution Style, In Fuzzy Set and Possibility Theory, R.R Yager (ed.), pp. 224-231, Pergamon Press, 1982

Zuliang Shen and Liya Ding and Masao Mukaidono, A Theoretical Framework of Fuzzy Prolog Machine, In Fuzzy Computing, M.M. Gupta and T. Yamakawa (eds.), pp. 89-100, Elsevier Science Publishers B.V.


e28bgid2@cine88.cineca.it 
Marco Lazzari 
22nd December 1993

I know of FRIL, an extension of Prolog able to deal with fuzzyness. It was developed at Bristol by JF Baldwin, TP Martin and BW Pilsworth for FRIL Systems Ltd. It runs on PCs, but I don't remember whether it is available on other platforms.

From the Tutorial Manual of a version delivered in 1988, I quote: "In addition to providing all the facilities of Prolog, FRIL can handle knowledge bases containing uncertainties. This inference under uncertainty is called support LP. [...] Different forms of uncertainty, including those of a probabilistic and fuzzy nature, can be included".