Đang chuẩn bị liên kết để tải về tài liệu:
Giáo trình Trí tuệ Nhân tạo part 9

Từ một kéo theo và phủ định kết luận của nó, ta suy ra phủ định giả thiết của kéo theo. 3. Luật bắc cầu Từ hai kéo theo, mà kết luận của nó là của kéo theo thứ nhất trùng với giả thiết của kéo theo thứ hai, ta suy ra kéo theo mới mà giả thiết của nó là giả thiết của kéo theo thứ nhất, còn kết luận của nó là kết luận của kéo theo thứ hai. | Từ một kéo theo và phủ định kết luận của nó ta suy ra phủ định giả thiết của kéo theo. 3. Luật bắc cầu a p p Y a Y Từ hai kéo theo mà kết luận của nó là của kéo theo thứ nhất trùng với giả thiết của kéo theo thứ hai ta suy ra kéo theo mới mà giả thiết của nó là giả thiết của kéo theo thứ nhất còn kết luận của nó là kết luận của kéo theo thứ hai. 4. Luật loại bỏ hội a1A.AaiA.Aam ai Từ một hội ta đưa ra một nhân tử bất kỳ của hội . 5. Luật đưa vào hội a1 . ai .am a1A.AaiA.Aam Từ một danh sách các công thức ta suy ra hội của chúng. 6. Luật đưa vào tuyển ai a1v.vai.v.vam Từ một công thức ta suy ra một tuyển mà một trong các hạng tử của các tuyển là công thức đó. 7. Luật giải a v p lp v Y a v Y Từ hai tuyển một tuyển chứa một hạng tử đối lập với một hạng tử trong tuyển kia ta suy ra tuyển của các hạng tử còn lại trong cả hai tuyển. Một luật suy diễn được xem là tin cậy secured nếu bất kỳ một mô hình nào của giả thiết của luật cũng là mô hình kết luận của luật. Chúng ta chỉ quan tâm đến các luật suy diễn tin cậy. Bằng phương pháp bảng chân lý ta có thể kiểm chứng được các luật suy diễn nêu trên đều là tin cậy. Bảng chân lý của luật giải được cho trong hình 5.3. Từ bảng này ta thấy rằng trong bất kỳ một minh họa nào mà cả hai giả thiết a v p lp v Y đúng thì kết luận a v Y cũng đúng. Do đó luật giải là luật suy điễn tin cậy. a p Y a v p lp v Y a v Y False False False False True False False False True False True True False True False True False False False True True True True True True False False True True True True False True True True True True True False True False True True True True True True True Hình 5.3 Bảng chân lý chứng minh tính tin cậy của luật giải. Ta có nhận xét rằng luật giải là một luật suy diễn tổng quát nó bao gồm luật Modus Ponens luật Modus Tollens luật bắc cầu như các trường hợp riêng. Bạn đọc dễ dàng chứng minh được điều đó . Tiên đề định lý chứng minh. Giả sử chúng ta có một tập nào đó các công thức. Các luật suy diễn cho phép ta từ các công thức đã