Giáo trình trí tuệ nhân tạo - Chương 8 - Suy luận tự động
Upload bởi : Đinh Phương Yến

Danh mục : Công nghệ thông tin

Upload vào lúc : 1 năm trước

File gốc : Chap8.pdf

Số lần xem : 284

Số lượt tải xuống : 4

Kích thước : 0.41 Mb

Số trang : 17

Tải xuống (0.41 Mb)

Xem trên điện thoại
Đọc Giáo trình trí tuệ nhân tạo - Chương 8 - Suy luận tự động trên điện thoại

Tags

Giới thiệu về tài liệu

Nội dung chính : Trong chương này, chúng ta sẽ tìm hiểu về một thành quả của nhánh nghiên cứu Suy luận tự động đã được giới thiệu ở chương I, đó là phương pháp chứng minh hợp giải (Resolution) hay còn gọi là thủ tục hợp giải.

Tài liệu liên quan

Tải ứng dụng Tài Liệu PDF
giúp trải nghiệm tốt hơn

Tải ngay
trên App Store

Tải ngay
trên Play Store

Lịch sử tải

Top tags

Tài Liệu PDF

Tài liệu được xem nhiều nhất

Danh mục

Top Upload