Sau khi cài đặt, bộ cụng cụ đó phần nào đỏp ứng được yờu cầu của người dựng về yờu cầu suy diễn ra tri thức mới từ những tri thức sẵn cú. Một ưu điểm của bộ cụng cụ này là nú cú thể được ỏp dụng với cỏc tri thức khụng chắc chắn, khụng đầy đủ, tri thức được thu thập từ nhiều nguồn tri thức khỏc nhau.
Minh hoạ hai chức năng suy diễn tiến và suy diễn lựi
Giả sử ta dựng chung một cơ sở tri thức cú cỏc sự kiện sau: - Thời tiết khú chịu E1
- Tụi cảm thấy buồn E2
- Tụi tin rằng trời sẽ mưa E3
- Nha khớ tượng dự bỏo trời sẽ mưa E4
- Tụi khụng đi xem búng đỏ E5
Và cỏc luật sau: Rule 1: CF=0,8
IF Thời tiết khú chịu AND Tụi cảm thấy buồn
THEN Tụi khụng đi xem búng đỏ Rule 2 CF=0,8
IF Tụi tin rằng trời sẽ mưa THEN Thời tiết khú chịu
Rule 3 CF=0,8
IF Tụi tin rằng trời sẽ mưa
AND Nha khớ tượng dự bỏo trời sẽ mưa THEN Tụi cảm thấy buồn
Rule 4 CF=0,8
IF Nha khớ tượng dự bỏo trời sẽ mưa THEN Thời tiết khú chịu
Rule 5 CF=1
IF Thời tiết khú chịu THEN Tụi cảm thấy buồn
Áp dụng chiến lược suy diễn tiến
Đầu vào cỏc giả thiết:
Tụi tin rằng trời sẽ mưa CF(E3)=0,6
Nha khớ tượng dự bỏo trời sẽ mưa CF(E4)=0,8 Đầu ra là kết luận cần chứng minh:
Tụi khụng đi xem búng đỏ
Sử dụng chiến lược giải quyết đụng độ chỏy luật đầu tiờn Ta cú kết quả như sau:
Ban đầu: GT={(E3;0,6),(E4;0,8)} Tgian={(E3;0,6),(E4;0,8)}
SAT={Rule2,Rule3,Rule4} Áp dụng Rule2 được
Tgian={(E3;0,6),(E4;0,8),(E1;0,48)} SAT={Rule3,Rule4,Rule5}
Lỳc này KL∉ Tgian và SAT ≠φ nờn tiếp tục thực hiện, ỏp dụng Rule3 được
Tgian={(E3;0,6),(E4;0,8),(E1;0,48),(E2;0,48)} SAT={Rule1,Rule4,Rule5}
Lỳc này KL∉ Tgian và SAT ≠φ nờn tiếp tục thực hiện, ỏp dụng Rule1 được
SAT={Rule4,Rule5}
Lỳc này KL∈ TG giải thuật dừng ở đõy.
Ta cú CF(Tụi khụng đi xem búng đỏ)=0,48 nghĩa là hệ thống đưa ra kết luận “Tụi cú thể khụng đi xem búng đỏ”
Áp dụng suy diễn lựi
Cần suy ra kết luận “Tụi khụng đi xem búng đỏ”
Sử dụng chiến lược giải quyết đụng độ chỏy luật đầu tiờn Ban đầu GT=φ; subgoal ={E5}
Áp dụng TimLuat(E5,0,RULE,j) được j=1.
E1 và E2 đều khụng là primitive được subgoal={E1,E2} Áp dụng TimLuat(E1,0,RULE,j) được j=2
E3 là primitive hỏi người dựng GT={E3},subgoal={E2} Áp dụng TimLuat(E2,0,RULE,j) được j=3
E4 khụng là kết luận của luật nào khỏc.
Hỏi người dựng được GT={E3,E4},subgoal={φ}
GT={(E5,0)},VET={φ}
Lấy (E5,0) ra khỏi goal cú goal={φ}
Áp dụng tỡm luật (E5,0,RULE,j) được j=1,goal={(E1,0),(E2,0)} Vỡ j≤ 5 nờn Vet={(5,1)}
Lấy (E1,0) ra khỏi goal cú goal={(E2,0)}
Áp dụng tỡm luật (E2,0,RULE,j) được j=3; goal={(E2,0)} Vỡ j≤5 nờn Vet={(5,1),(1,2)}
Tớnh được CF(E1)=0,48
Lấy (E2,0) ra khỏi goal cú goal=φ
Áp dụng tỡm luật (E2,0,RULE,j) được j=3; goal=φ
Vỡ j≤5 nờn Vet={(5,1),(1,2),(2,3)} Tớnh được CF(E2)=0,48,CF(E5)=0,48 Giải thuật dừng tại đõy do goal=φ
Ta cú CF(Tụi khụng đi xem búng đỏ)=0,48 nghĩa là hệ thống đưa ra kết luận “Tụi cú thể khụng đi xem búng đỏ”