Ôn tập Trí Tuệ Nhân Tạo 2

Khi áp dụng luật Modus ponens lên một câu dạng Horn, kết quả thu được sẽ thuộc dạng nào?

• Một sự kiện mới
• Một clause phủ định
• Một giả thiết
• Một hàm ánh xạ

Phương pháp suy diễn nào trong logic vị từ dựa trên cơ sở của luật Modus ponens?

• Suy diễn lùi
• Suy diễn tiến
• Phân giải
• Diễn dịch hình thức

Trong câu Horn dương, luật Modus ponens được sử dụng để chứng minh điều gì?

• Một hàm ánh xạ
• Một literal phủ định
• Kết luận từ giả thiết
• Một mệnh đề tổng quát

Vì sao thuật giải suy diễn dựa trên tam đoạn luận lại không đầy đủ trong logic mệnh đề?

• Không áp dụng với câu Horn
• Không thể suy ra tất cả hệ quả logic
• Không có phần kết luận
• Thiếu giả thiết

Luật phân giải trong logic vị từ tạo ra một câu tuyển mới trong trường hợp nào?

• Khi không có mâu thuẫn
• Khi có một literal chung đối nhau
• Khi các clause độc lập
• Khi có kết luận đơn

Khi áp dụng luật phân giải vào hai clause trong logic vị từ, kết quả thu được sẽ là gì?

• Một hệ quả logic
• Một literal mới
• Một clause mới
• Một sự kiện nền

Trước khi áp dụng thuật giải phân giải, cần chuyển KB sang dạng nào?

• Dạng chuẩn hội (CNF)
• Dạng chuẩn tồn tại
• Dạng logic mệnh đề
• Dạng mệnh đề phức

Thuật giải phân giải sẽ dừng lại trong tình huống nào?

• Không sinh thêm literal mới
• Đã chứng minh được mệnh đề đúng
• Khi thu được mệnh đề rỗng
• Khi gặp vòng lặp

Việc áp dụng phép phân giải liên tục nhằm đạt được mục tiêu gì?

• Tạo thêm luật mới
• Chứng minh mệnh đề là hệ quả logic
• Giảm độ dài KB
• Tăng số clause

Tại sao trong thuật giải phân giải, cần chuyển KB ∧ ¬q thành dạng CNF?

• Dễ biểu diễn suy diễn tiến
• Để hợp lệ với suy diễn lùi
• Áp dụng luật phân giải hiệu quả
• Tăng độ tổng quát cho suy diễn