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ươngphá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:
1. Tri thức và trí tuệ tính toán
2. Một hệ biểu diễn và suy luận
3. Sử dụng tri thức xác định
4. Tìm kiếm
5. Biểu diễn tri thức
6. Kỹ nghệ tri thức
Phụ trương A: Ngôn ngữ lập trình Prolog
Danh mục tư liệu