Tham khảo tài liệu 'manual programming experience handbook part 170', công nghệ thông tin, kỹ thuật lập trình phục vụ nhu cầu học tập, nghiên cứu và làm việc hiệu quả | Trong đó các fi q đều thuộc F Ví dụ Cho 1 cơ sở tri thức được xác định như sau Các sự kiện A B C D E F G H K Tập các quy tắc hay luật sinh rule R1 A E R2 B D R3 H A R4 E Ù G C R5 E Ù K B R6 D Ù E Ù K C R7 G Ù K Ù F A . Cơ chế suy luận trên các luật sinh o Suy diễn tiến là quá trình suy luận xuất phát từ một số sự kiện ban đầu xác định các sự kiện có thể được sinh ra từ sự kiện này. Sự kiện ban đầu H K R3 H A A H. K R1 A E A E H H R5 E Ù K B A B E H K R2 B D A B D E H K R6 D Ù E Ù K C A B C D E H K 0 Suy diễn lùi là quá trình suy luận ngược xuất phát từ một số sự kiện ban đầu ta tìm kiếm các sự kiện đã sinh ra sự kiện này. Một ví dụ thường gặp trong thực tế là xuất phát từ các tình trạng của máy tính chẩn đoán xem máy tính đã bị hỏng hóc ở đâu. Ví dụ Tập các sự kiện Ổ cứng là hỏng hay hoạt động bình thường Hỏng màn hình. Lỏng cáp màn hình. Tình trạng đèn ổ cứng là tắt hoặc sáng Có âm thanh đọc ổ cứng. Tình trạng đèn màn hình xanh hoặc chớp đỏ Không sử dụng được máy tính. Điện vào máy tính có hay không Tập các luật R1. Nếu ổ cứng hỏng hoặc cáp màn hình lỏng thì không sử dụng được máy tính. R2. Nếu điện vào máy là có và âm thanh đọc ổ cứng là không hoặc tình trạng đèn ổ cứng là tắt thì ổ cứng hỏng . R3. Nếu điện vào máy là có và tình trạng đèn màn hình là chớp đỏ thì cáp màn hình lỏng . Đê xác định được các nguyên nhân gây ra sự kiện không sử dụng được máy tính ta phải xây dựng một cấu trúc đồ thị gọi là đồ thị AND OR như sau Như vậy là để xác định được nguyên nhân gây ra hỏng hóc là do ổ cứng hỏng hay cáp màn hình lỏng hệ thống phải lần lượt đi vào các nhánh để kiểm tra các điều kiện như điện vào máy có âm thanh ổ cứng không .Tại một bước nếu giá trị cần xác định không thể được suy ra từ bất kỳ một luật nào hệ thống sẽ yêu cầu người dùng trực tiếp nhập vào. Chẳng hạn như để biết máy tính có điện không hệ thống sẽ hiện ra màn hình câu hỏi Bạn kiểm tra xem có điện vào máy tính không kiểm tra đèn nguồn C K . Để thực hiện được cơ chế suy luận lùi người ta thường sử
