... 3. :-mb(x, [1,2,3]) 4. :- {x/x1, 1/x1} (3,1) nên x=1 5. :-mb(x,[2,3] {x/x2 ; 2,3/x1} (3,2) 6. :- {x/x3; 2/x} (5,1)nên x=2 7. :-mb(x,[3]) {x/x 4 ; 3/x 4 } (5,2) 8. :- {3/x} ... ~A~ Nhận xét : - L. Zadel (max, min, 1-) - ))x(),x((s)x(BABA Hàm s là t conorm : s 0, 1] - ))x(),x((t)x(BABA ... Bi di: -V trí :vt(L,S,D,B) -An toàn: at(L,S,D,B) -V trí xu phát, : ql(1, 2) Ta có mô t nh sau: 1. vt(b,b,b,b) 2. dd(b,n) 3. dd(n,b) 4. vt(LD,S,D,B)dd ...