Chơng 3: Biểu diễn tri thức
4.3.2.Cơ chế suy diễn lùi:
Kỹ thuật suy diễn tiến là tốt khi làm việc với bài toán bắt đầu từ các thông tin và cần lập luận một cách logic đến các kết luận. Nhng trong một số bài toán
khác, ngời ta lại bắt đầu từ các giả thiết định chứng minh rồi tiến hành thu thập thông tin. Chẳng hạn bác sỹ nghi ngời bệnh bị một bệnh nào đó, ông ta tìm các triệu chứng của bệnh ấy. Loại lập luận này đợc mô hình hoá trong hệ chuyên gia với tên gọi là suy diễn lùi
Suy diễn lùi là chiến lợc suy luận để chứng minh một giả thuyết bằng cách thu thập thông tin hỗ trợ.
Hệ thống suy diễn lùi bắt đầu từ đích cần chứng minh và hoạt động nh sau: 1.Trớc hết nó kiểm tra trong bộ nhớ làm việc để xem đích này đã đợc bổ sung trớc cha. Bớc này cần thiết vì cơ sở tri thức khác có thể đã chứng minh đích này.
2. Nếu đích cha hề đợc chứng minh thì nó tìm các luật có phần THEN chứa đích. Loại luật này gọi là luật đích.
3. Hệ thống xem phần giả thiết của luật này có trong bộ nhớ làm việc không. Các giả thiết không đợc liệt kê trong bộ nhớ gọi là đích mới, hay đích con cần đợc chứng minh. Các đích con này đợc cung cấp, tức giải nhờ các luật khác. Quá trình này tiếp tục đệ quy cho đến khi hệ thống tìm thấy một giả thiết không đợc luật nào cung cấp, đó gọi là sơ khởi. Khi tìm thấy sơ khởi, hệ thống yêu cầu ngời sử dụng cung cấp thông tin, hệ thống dùng các thông tin này để giải thích đích con hay đích ban đầu. Suy diễn lùi thực hiện tơng tự nh cách con ngời kiểm tra một giả thiết có đúng không.
Thí dụ:
Giả sử sau khi tiếp chuyện bệnh nhân, bác sỹ nghi rằng ngời bệnh viêm họng. Công việc của ông ta là chứng tỏ nghi ngờ này. Thủ tục chẩn đoán đợc mô hình hoá bằng hệ chuyên gia suy luận lùi.