Chương 3 - Tìm Hiểu Về Prolog: Cài Đặt & Ví Dụ Cơ Bản Môn Trí tuệ nhân tạo | Trường Học Viện nông nghiệp Việt Nam

1. Tìm hiểu và cài đặt prolog.
Prolog là một ngôn ngữ lập trình logic, được thiết kế để xử lý thông
tin có tính chất logic và lựa chọn. Tên "Prolog" là viết tắt của
"Programming in Logic" (Lập trình sử dụng Logic).
Prolog là một ngôn ngữ khác biệt so với nhiều ngôn ngữ lập trình
khác vì nó dựa trên logic hỗ trợ bởi hệ thống quy tắc (rules) và thực
hiện giải quyết các vấn đề thông qua việc tìm kiếm các giải pháp
thích hợp. Một chương trình Prolog thường được viết dưới dạng các
quy tắc (rules) và sự kết hợp giữa các thực thể (entity) và quan hệ logic giữa chúng.
Trình biên dịch được tìm hiểu và sử dụng trong bài báo cáo này là gnu-prolog. 2. Cài đặt ví dụ. 2.1. Ví dụ 1.
Biểu diễn các facts và rules trong prolog. .
Ví dụ này đã giới thiệu 2 khái niệm cơ bản trong prolog:
● fact: lanh(thoi_tiet) là một fact, biểu diễn cho tri thức: thời tiết lạnh.
● rule: mac_am(ban) :- thoi_tiet(lanh), biểu diễn cho tri thức:
nếu thời tiết lạnh thì bạn nên mặc ấm. Ký hiệu ‘:-’ có thể được
đọc là ‘nếu’ (bạn nên mặc ấm nếu thời tiết lạnh). 2.2. Ví dụ 2. Biểu diễn trong prolog:
Ký hiệu phủ định ‘\+’ được dùng như ký hiệu phủ định mệnh đề.
Ngoài ra, trong ví dụ này, ta có thể query từ knowledge base hiện tại:
Từ KB, ta có thể rút ra kết luận Lan sẽ không ướt và Trâm sẽ ướt do
không có thông tin về việc Trâm mang dù. 2.3. Ví dụ 3. Prolog: Query: 2.4. Ví dụ 4. KB: Query:
Một chức năng của prolog (trace) là cho phép chúng ta xem được
thứ tự gọi hàm, từ đó có thể hiểu được quá trình đưa ra kết luận cho 1 query. 2.5. Ví dụ 5. prolog: Query: