tailieunhanh - Trí tuệ nhân tạo - Chương 8

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

TỪ KHÓA LIÊN QUAN
crossorigin="anonymous">
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.