Bài giảng Trí tuệ nhân tạo: Bài 11+12+13 - Phạm Thị Anh Lê cung cấp cho học viên những kiến thức về Lập trình logic Prolog, giới thiệu ngôn ngữ Prolog, các kiểu dữ liệu sơ cấp, sự kiện và luật trong Prolog, kiểu dữ liệu cấu trúc của Prolog, một số chương trình Prolog,... Mời các bạn cùng tham khảo chi tiết nội dung bài giảng!
một đối tượng, để tổ hợp thành phần thành đối tượng sử dụng hàm tử – Ví dụ: date(2, september, 2002); book(title(Name), author(Author), Year) ◼ So sánh hợp hạng thức: – Phép so khớp hạng thức vị từ : phép hợp Lec 11-13 p.13 Kiểu liệu có cấu trúc ◼ Hai hạng thức hợp nếu: – chúng giống hệt – biến xuất hạng ràng buộc cho hạng đối tượng trở nên giống hệt – Ví dụ: + date(D, M, 1890) date(D1, May, Y1) hợp + date(D, M, 1980) date(D1, May, 2000) hay date(X, Y, Z) point (X, Y, Z) không hợp Lec 11-13 p.14 Kiểu liệu có cấu trúc ◼ Thuật tốn hợp Herbrand so khớp hai hạng thức S T: – S T hằng, S T khớp chúng có giá trị (chỉ đối tượng) – Nếu S biến, T đối tượng, S T khớp S thay T – Nếu S T cấu trúc S T khớp nếu: • S T có hàm tử • tất thành phần khớp đôi Lec 11-13 p.15 Ngữ nghĩa chương trình Prolog ◼ Prolog diễn giải chương trình: – kiện luật xem tiên đề, câu hỏi NSD xem định lý cần chứng minh – chứng minh định lý cách định lý suy luận cách logic từ tiên đề ◼ Về mặt thủ tục: Prolog sử dụng phương pháp suy diễn quay lui để hợp giải toán (chiến lược hợp giải) Lec 11-13 p.16 Ngữ nghĩa chương trình Prolog Ngữ nghĩa khai báo: – Thể (instance) mệnh đề C mệnh đề C mà biến thay hạng – Biến thể (variant) mệnh đề C mệnh đề C mà biến thay biến khác Ví dụ: Mệnh đề hasachild(X) :- parent(X, Y) có biến thể hasachild(X1) :- parent(X1, Y1) thể hasachild(john) :- parent(john, Z) Lec 11-13 p.17 Ngữ nghĩa chương trình Prolog Cho chương trình đích G, ngữ nghĩa khai báo nói rằng: Một đích G (thỏa được, hay suy từ chương trình cách logic) nếu: tồn mệnh đề C chương trình cho tồn thể I C cho: phần đầu I giống hệt G đích phần thân I Lec 11-13 p.18 Ngữ nghĩa chương trình Prolog - Gói mệnh đề (packages of clauses): tập hợp mệnh đề có tên hạng tử (cùng tên, số lượng tham đối) Ví dụ: a(X) :- b(X, _) a(X) :- c(X), e(X) a(X) :- f(X, Y) Các mệnh đề có hạng a(X), mệnh đề phương án giải toán cho Prolog qui ước: dấu phẩy mệnh đề (đích) đóng vai trị phép hội; dấu chấm phẩy mệnh đề (đích) đóng vai trị phép tuyển Ví dụ: P :- Q; R tương đương với P :- Q P :- R Thứ tự ưu tiên: phép hội, phép tuyển Lec 11-13 p.19 Ngữ nghĩa chương trình Prolog Ngữ nghĩa logic: - Các mệnh đề không chứa biến - Các mệnh đề chứa biến - Ngữ nghĩa logic đích Lec 11-13 p.20 Ví dụ Giả sử biết thơng tin sau: - An thích tất môn Tin học mà cậu học - Cơ sở liệu mơn Tin học - Trí tuệ nhân tạo môn Tin học - An học Cơ sở liệu - Nam thích học mơn học mà An thích học Lec 11-13 p.21 Ví dụ Các thông tin biểu diễn Logic vị từ cấp sau: thích(An, x) :- tin_học(x), học(An, x) tin_học(CSDL) tin_học(TTNT) học(An, CSDL) thích(Nam, x) :- thich(An, x) Câu hỏi: “An thích mơn học nào” biểu diễn Prolog: ?thích(An, x) Lec 11-13 p.22 Ví dụ Khi câu hỏi đưa vào, hệ Prolog thực trình suy diễn logic để trả lời câu hỏi x= CSDL, tức An thích mơn CSDL - Thủ tục tìm câu trả lời Prolog cài đặt phương pháp suy diễn lùi, sử dụng kỹ thuật tìm kiếm theo chiều sâu - Các câu Prolog xét từ xuống dưới, đích xem xét làm thỏa mãn theo thứ từ từ trái sang phải Lec 11-13 p.23 Ví dụ Cho đồ thị G với đỉnh: A, B, C, D, E, F, H cung: (A, B), (A, C), (B, C), (B, D), (B, E), (E, F), (D, F), (F, H) Đường từ đỉnh X đến đỉnh Y định nghĩa sau: - có cung (X, Y) - có cung (X, Z) đường (Z, Y) Yêu cầu: - Biểu diễn thông tin logic vị từ cấp - Tìm đường đồ thị Lec 11-13 p.24 ... logic đích Lec 1 1-1 3 p.20 Ví dụ Giả sử biết thông tin sau: - An thích tất mơn Tin học mà cậu học - Cơ sở liệu môn Tin học - Trí tuệ nhân tạo mơn Tin học - An học Cơ sở liệu - Nam thích học mơn... :- Q; R tương đương với P :- Q P :- R Thứ tự ưu tiên: phép hội, phép tuyển Lec 1 1-1 3 p.19 Ngữ nghĩa chương trình Prolog Ngữ nghĩa logic: - Các mệnh đề không chứa biến - Các mệnh đề chứa biến -. .. từ đỉnh X đến đỉnh Y định nghĩa sau: - có cung (X, Y) - có cung (X, Z) đường (Z, Y) Yêu cầu: - Biểu diễn thông tin logic vị từ cấp - Tìm đường đồ thị Lec 1 1-1 3 p.24