Trí Tuệ Tính Toán- Tiếp Cận Bằng Logic- Tập 2

Từ lâu logic đã được xem như một hệ thống hình thức để biểu diễn các giả thiết về thế giới và là một ngôn ngữ mạnh mẽ để dẫn ra các hệ quả của những giả thiết đó, và hiển nhiên đó đã là một ngôn ngữ quan trọng trong lãnh vực trí tuệ nhân tạo. Cụ thể là trong bộ sách này, bằng cách sử dụng logic như một hệ thống biểu diễn và suy luận, các phương pháp luận của trí tuệ nhân tạo đã được các tác giả vận dụng và minh hoạ qua 3 thí dụ xuyên suốt: một robot giao nhận hàng, một trợ lý chẩn đoán cho một mạng điện và một infobot (chương trình truy tìm thông tin).
Cuốn sách có các nội dung chính sau đây:
7. Vượt ra khỏi phạm vi tri thức xác định
8. Hành động và hoạch định
9. Suy luận theo giả thiết
10. Sử dụng tri thức không chắc chắn
11. Học tập
12. Xây dựng các robot tình thế
Phụ trương B: Bổ sung thêm một số hệ thống