Tìm kiếm và suy luận

Câu 1

1. A16 trạng thái, 3 hành động
2. B64 trạng thái, 12 hành động
3. C64 trạng thái, 3 hành động
4. D48 trạng thái, 4 hành động

Phỏng theoCMU 10-601 · Exam 3 Practice · Q3.1

Câu 2

1. AChuyển toàn bộ câu logic vị từ bậc nhất về dạng logic mệnh đề đơn giản hơn bằng cách loại bỏ mọi biến và lượng từ có mặt trong câu
2. BSắp xếp lại thứ tự xuất hiện của các lượng từ tồn tại ($\exists$) và với mọi ($\forall$) trong câu để đưa về dạng chuẩn tắc dễ đọc hơn
3. CTính xác suất một câu logic vị từ là hợp lệ dựa trên tần suất xuất hiện thống kê của các vị từ trong cơ sở tri thức đã cho
4. DTìm phép thế (substitution) cho các biến để hai literal trở nên trùng nhau về cú pháp, làm cơ sở áp dụng Resolution hay Modus Ponens tổng quát

Đề thiVAIO 2026, câu 1

Câu 3

1. A$\neg A \land \neg B \land C$
2. B$(\neg A \lor C) \land (\neg B \lor C)$
3. C$(A \lor C) \land (B \lor C)$
4. D$A \lor B \lor C$

Đề thiVAIO 2026, câu 5