... BÀI TẬP II A/ Phát biểu toán Cài đặt toán tam giác sử dụng hệ luật dẫn – Suy diễn tiến B/ Thuật giải Input: - Tập luật Rule = {r1, r2, , rm} - GT, KL Output: In luật sử dụng GT -> ... tiến trình xem xét luật, với luật ta xét phần giả thuyết vế trái tới phần kết luận vế phải mà tất điều kiện luật thoả mãn suy kiện phần kết luận Trong bước thủ tục ta xét luật tập luật So sánh điều ... Else Return “False” B3: Xoá bỏ luật dư thừa B4: Tính toán in kết C/ Nhận xét - - - - - - Suy diễn tiến trình suy diễn tập kiện biết, rút kiện có kiện cần chứng minh luật sinh kiện ( tập kiện cực...