Bài giảng Trí tuệ nhân tạo - Chương 5: Sử dụng logic mệnh đề và vị từ giới thiệu đến bạn đọc những nội dung về phép toán mệnh đề, biểu diễn sự kiện đơn giản, biểu diễn isa và instance, các hàm và vị từ khả tính toán, luật phân giải, phân giải mệnh đề, đưa về clause form.