CHƯƠNG 6 – CÁC PHƯƠNG PHÁP LẬP LUẬN TRÊN LOGIC MỆNH ĐỀ

9. Kết chương

Logic mệnh đề là ngôn ngữ để biểu diễn các mệnh đề. Có hai loại mệnh đề: mệnh đề đơn và mệnh đề phức. Mệnh đề đơn tương ứng với một phát biểu nào đó (một sự kiện hoặc thông tin) và có thể phán xét xem nó đúng hay sai dựa trên phát biểu đó là đúng hay sai. Mệnh đề phức biểu diễn mối quan hệ hoặc mối liên kết (phủ định, hội, tuyển, kéo theo, tương đương) giữa các mệnh đề con của nó. Logic qui định tính đúng hay sai của mệnh đề phức dựa trên tính đúng/sai của các mệnh đề con và dựa trên kiểu của mối quan hệ/liên kết đó (là ¬, ∧, ∨, ⇒, hay là ⇔). Chính vì việc gán cho các câu (mệnh đề đơn hoặc mệnh đề phức) hoặc giá trị đúng (true) hoặc giá trị sai (false) theo các qui tắc của logic giúp chúng ta phán xét được rằng một mệnh đề này là đúng khi cho biết tập các mệnh đề cho trước là đúng, hay là KB ╞ q. Lập luận là trả lời cho câu hỏi: cho KB đúng thì q có đúng không?. Trong Chương này chúng ta đã tìm hiểu một số thuật giải lập luận (input là KB và q, output là true hoặc false). Các giải thuật lập luận gồm: lập luận bằng liệt kê, lập luận dựa trên luật phân giải, lập luận dựa trên luật Modus ponens. Giải thuật lập luận bằng liệt kê các giá trị chân lý của các ký hiệu mệnh đề xuất hiện trong KB và q có ưu điểm là không đòi hỏi dạng cấu trúc đặc biệt nào cho các câu KB và q, nhưng lại có độ phức tạp thời gian là hàm mũ đối với số các ký hiệu mệnh đề. Giải thuật dựa trên luật phân giải thì yêu cầu KB và ¬q phải có dạng chuẩn hội, tức là chúng ta phải thực hiện chuyển KB và ¬q thành dạng chuẩn hội rồi mới áp dụng giải thuật. May thay, tất cả các câu trong logic mệnh đề đều có thể chuyển được về dạng chuẩn hội. Còn giải thuật lập luận dựa trên luật Modus ponens thì yêu cầu KB và q phải có dạng câu Horn. Không phải tất cả các câu trong logic mệnh đề đều chuyển về dạng Horn được. Tuy nhiên nếu KB và q ở dạng Horn thì các giải thuật suy diễn tiến hoặc lùi dựa trên Modus ponens lại làm việc rất hiệu quả. Các giải thuật lập luận ở trên khi cài đặt cho máy tính sẽ giúp máy tính có khả năng lập luận được.