---

Testing:

FASILL program:
vanguardist(hydropolis) <- 0.9. elegant(ritz) <- 0.8. close(hydropolis, taxi) <- 0.7. good_hotel(X) <- @aver(elegant(X), @very(close(X, metro))). sse(taxi,taxi)<-1. sse(taxi,bus)<-0.4. sse(taxi,metro)<-0.4. sse(bus,taxi)<-0.4. sse(bus,bus)<- 1. sse(bus,metro)<-0.5. sse(metro,taxi)<- 0.4. sse(metro,bus)<-0.5. sse(metro,metro)<-1. sse(ritz,ritz)<-1. sse(hydropolis,hydropolis) <- 1.
Lattice:
:- dynamic agr_very/2, and_godel/3, or_prod/3, or_godel/3, or_luka/3, agr_aver/3, pri_prod/3, pri_div/3, pri_sub/3, pri_add/3, pri_min/3, pri_max/3. member(X):-number(X), 0=<X,X=<1. leq(X,Y):-X =< Y. bot(0). top(1). %and_prod(X,Y,Z) :- pri_prod(X,Y,Z). and_godel(X,Y,Z) :- pri_min(X,Y,Z). %and_luka(X,Y,Z) :- pri_add(X,Y,U1), pri_sub(U1,1,U2), pri_max(U2,0,Z). or_prod(X,Y,Z) :- pri_prod(X,Y,U1), pri_add(X,Y,U2), pri_sub(U2,U1,Z). or_godel(X,Y,Z) :- pri_max(X,Y,Z). or_luka(X,Y,Z) :- pri_add(X,Y,U1), pri_min(U1,1,Z). agr_aver(X,Y,Z) :- pri_add(X,Y,U1),pri_prod(U1,0.5,Z). % agr_aver(X,Y,Z) :- or_godel(X,Y,U01), or_luka(X,Y,U02), pri_add(U01,U02,U1),pri_div(U1,2,Z). agr_very(X,XX) :- XX is X*X. pri_prod(X,Y,Z) :- Z is X * Y. pri_div(X,Y,Z) :- Z is X / Y. pri_sub(X,Y,Z) :- Z is X-Y. pri_add(X,Y,Z) :- Z is X+Y. pri_min(X,Y,Z) :- (X=<Y,Z=X;X>Y,Z=Y). pri_max(X,Y,Z) :- (X=<Y,Z=Y;X>Y,Z=X). % max(x,y)
Similarity equations:
elegant/1 ~ vanguardist/1 = 0.6. metro ~ bus = 0.5. bus ~ taxi = 0.4. ~tnorm = godel.
Goal:
(Tree depth: )

Top

---

Fuzzy computed answers and execution tree:

Top

---

Top