TAILIEUCHUNG - 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
TAILIEUCHUNG - Chia sẻ tài liệu không giới hạn
Địa chỉ : 444 Hoang Hoa Tham, Hanoi, Viet Nam
Website : tailieuchung.com
Email : tailieuchung20@gmail.com
Tailieuchung.com là thư viện tài liệu trực tuyến, nơi chia sẽ trao đổi hàng triệu tài liệu như luận văn đồ án, sách, giáo trình, đề thi.
Chúng tôi không chịu trách nhiệm liên quan đến các vấn đề bản quyền nội dung tài liệu được thành viên tự nguyện đăng tải lên, nếu phát hiện thấy tài liệu xấu hoặc tài liệu có bản quyền xin hãy email cho chúng tôi.
Đã 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.