Trí tuệ tính toán: Tiếp cận bằng logic (tập 2)

TK 26

Nhà sách Mão xin trân trọng giới thiệu đến bạn đọc quyển sách “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).