tailieunhanh - Bài giảng Trí tuệ nhân tạo - Bài 11, 12, 13 : Lập trình logic Prolog

Trong bài giảng này, chúng ta sẽ cùng tìm hiểu về lập trình logic Prolog. Trong chương này gồm có các nội dung chính sau: Biễu diễn cấu trúc danh sách, một số vị từ xử lí danh sách, các thao tác cơ bản trên danh sách,. để nắm bắt các nội dung chi tiết. | Sw ROLOG Hiện nay đã có nhiều hệ lập trình logic ra đời mà tiêu biểu là Prolog. Prolog là viết tắt của cụm từ tiếng Pháp Programmation en Logique Hệ Prolog đầu tiên ra đời vào năm 1973 do Alain Colmerauer và nhóm trí tuệ nhân tạo thuộc Đại học tổng hợp Aix-Marseilie Pháp xây dựng. Mục đích ban đầu của hệ này là dịch các ngôn ngữ tự nhiên. 1 Điều khác nhau căn bản của lập trình Prolog so với lập trình truyền thống là Trong Prolog người lập trình mô tả vấn đề bằng các câu trong logic. Hệ sẽ sử dụng lập luận logic để tìm ra các câu trả lời cho vấn đề. 2 Một chương trình Prolog gồm một dãy các luật có dạng A - B1 . Bm trong đó m 0 A và Bi i 1 . m là các câu phân tử. Luật trên được đọc là A nếu B1 và . và Bm . Nó là cách viết trong Prolog của logic mênh đề sau A B B m A A. 1 Trong luật trên A được gọi là đầu danh sách các câu Bi B1 . Bm được gọi là thân của luật. Nếu m 0 ký hiệu - sẽ được bỏ đi khi đó ta có câu phân tử A và nó được gọi là một sự kiện.