Đang chuẩn bị nút TẢI XUỐNG, xin hãy chờ
Tải xuống
Giải thuật Hợp giải cho Phép tính mệnh đề (Propositional Logic): Chuyển tất cả các câu trong F về dạng mệnh đề (clause form) | Chương 12 - SUY LUẬN TỰ ĐỘNG AUTOMATIC REASONING Giáo viên Trần Ngân Bình Chapter 8 - Page 1 Ví dụ 1 Xét ví dụ với tập hợp các câu biêu diễn trong Phép tính vị từ như sau 1 man marcus 2 pompeian marcus 3 VX pompeian X roman X 4 ruler caesar 5 VX roman X loyalto X caesar V hate X caesar 6 VX 3Y loyalto X Y 7 VX VY person X A ruler Y A trytoassasinate X -loyalto X Y 8 trytoassasinate marcus caesar Chứng minh loyalto marcus caesar Chapter 8 - Page 2 Hình bên dưới minh họa một cách chứng minh cho mục tiêu trên iloyalto marcus caesar T câu 7 marcus X ceasar Y person marcus A ruler caesar A trytoassasinate marcus caesar T câu 4 person marcus A trytoassasinate marcus caesar T câu 8 person marcus Marcus là một người đàn ông man Marcus là một người person . Vì vậy ta phải thêm 9 VX man X V woman X person X Chapter 8 - Page
