Luận Văn Suy diễn tự động-Hệ thống suy diễn SLR

Suy diễn tự động-Hệ thống suy diễn SLR Nội dung chủ yếu của đồ án được tóm tắt trong năm chương:
 Chương 1 : Đặt vấn đề. Trình bày tổng quan về phương pháp suy diễn tự động trên tập các mệnh đề cùng những hiện trạng của nó ngày nay. Từ đó đề xuất ra mục tiêu nghiên cứu của đề tài.
 Chương 2 : Hai phương pháp suy diễn tự động phổ biến. Trình bày về hai phương pháp suy diễn tự động là: thủ tục DPLL trên logic mệnh đề không chứa biến và hợp giải Robinson trên logic vị từ loại I.
 Chương 3 : SLR, giới thiệu hệ thống suy diễn tự động dựa trên sự kết hợp của hai phương phương truyền thống: phương pháp SAT Solving với thủ tục DPLL và phương pháp Theorem Proving với thủ tục hợp giải Resolution.
 Chương 4 : Xây dựng chương trình SLR, trình bày việc xây dựng chương trình SLR từ việc kết hợp đọc hiểu code MiniSat và Spass với những nghiên cứu về SLR ở chương 3.
 Chương 5 : Kết luận. Đưa ra kết quả đã đạt được trong quá trình thực hiện đồ án, các khó khăn hạn chế gặp phải và định hướng phát triển trong tương lai.