Tác giả: Đinh Mạnh Tường.

Nhà xuất bản: Khoa học và Kỹ thuật. Năm XB: 2002.

Mô tả: 291Tr, kích thước: 16 x 24 cm. Số định danh:

Mục lục:

Phần 1: Giải quyết vấn đề bằng tìm kiếm.

Chương 1: Các chiến lược tìm kiếm mù. Chương 2: Các chiến lược tìm kiếm kinh nghiệm. Chương 3: Các chiến lược tìm kiếm tối ưu. Chương 4: Tìm kiếm có đối thủ

Phần 2: Tri thức và lập luận

Chương 5: Logic mệnh đề. Chương 6: Logic vị từ cấp một. Chương 7: Biễu diễn tri thức bởi các luật và lập luận. Chương 8: Logic không đơn điệu. Chương 9: Lưới ngữ nghĩa và hệ khung. Chương 10: Tri thức không chắc chắn. Chương 11: Logic mờ và lập luận xấp xỉ