tailieunhanh - Bài giảng Trí tuệ nhân tạo: Bài 11+12+13 - Phạm Thị Anh Lê

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! | Lec 11-13 Lập trình logic Prolog Lec 11-13. Nội dung 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 Lec 11-13. Giới thiệu ngôn ngữ Prolog Prolog là ngôn ngữ lập trình khai báo declarative language thích hợp để giải quyết các bài toán liên quan đến đối tượng và quan hệ giữa chúng Prolog được sử dụng phổ biến trong lĩnh vực TTNT Một chương trình Prolog là sự đặc tả một vấn đề có thể được xem như một CSDL gồm các mệnh đề Horn sự kiện - fact hoặc luật - rule . Nguyên lý lập trình của Prolog dựa trên mệnh đề Horn. Lec 11-13. Cú pháp ngôn ngữ Prolog Chương trình Prolog là một CSDL gồm các mệnh đề clause mỗi mệnh đề được xây dựng từ các vị từ predicat Một mệnh đề có thể là một sự kiện luật hay câu hỏi Qui ước Sự kiện tương ứng với luật - true Luật - Câu hỏi - Chú thích được đặt giữa hai dấu và hoặc sau ký hiệu Lec 11-13. Các kiểu dữ liệu trong Prolog Kiểu dữ liệu Kiểu sơ cấp Kiểu phức hợp Hằng Biến Số Chuỗi ký tự Nguyên tử Các kiểu dữ liệu trong Prolog Lec 11-13. Các kiểu dữ liệu sơ cấp Hằng Hằng số số nguyên được dùng để đếm số thực ít được dùng do Prolog là ngôn ngữ lập trình ký hiệu phi số Hằng logic True false Hằng xâu ký tự hằng xâu ký tự được đặt giữa 2 dấu nháy kép hằng rỗng Hằng nguyên tử Biến Lec 11-13. Xây dựng sự kiện Ví dụ cây gia hệ biểu diễn mối quan hệ trong gia đình Lec 11-13. Xây dựng sự kiện tiếp Trên cả hình a và b xây dựng vị từ parent tom bob Trên hình a xây dựng được các vị từ sau parent pam bob parent bob ann parent bob pat parent pat jim parent tom liz parent tom bob Các câu hỏi -parent bob pat Yes -parent liz pat No -parent X liz X tom Lec 11-13. Xây dựng sự kiện tiếp Các câu hỏi -parent X Y X tom Y liz -parent Y jim parent X Y X pat Y bob Yes -parent X ann parent X pat Yes Lec 11-13. Xây dựng luật Từ các quan hệ ở trên có thể xây dựng các luật child Y X -parent X Y mother X Y -parent X Y woman X grandparent X Y -parent

• Kỹ thuật lập trình
• Bài giảng Trí tuệ nhân tạo
• Trí tuệ nhân tạo
• Lập trình logic Prolog
• Ngôn ngữ Prolog
• Kiểu dữ liệu cấu trúc của Prolog
• Chương trình Prolog
• Trí tuệ nhân tạo chương 1
• Tổng quan về trí tuệ nhân tạo
• Nền tảng của trí tuệ nhân tạo
• Bài giảng Trí tuệ nhân tạo chương 1
• Nền tảng trí tuệ nhân tạo
• Định nghĩa trí tuệ nhân tạo
• Thành tự trí tuệ nhân tạo
• Lịch sử trí tuệ nhân tạo
• Thành tựu trí tuệ nhân tạo
• Thách thức trí tuệ nhân tạo
• Cơ sở Trí tuệ nhân tạo‎
• Bài giảng Cơ sở Trí tuệ nhân tạo‎
• Đối tượng nghiên cứu trí tuệ nhân tạo
• Lĩnh vực áp dụng trí tuệ nhân tạo
• Trí tuệ nhân tạo chương 2
• Bài giảng Trí tuệ nhân tạo chương 2
• Biểu diễn bài toán
• Agen thông minh
• Đặc điểm của trí tuệ nhân tạo
• Ứng dụng của trí tuệ nhân tạo
• Tác nhân thông minh
• Khái niệm Trí tuệ nhân tạo
• Thành tựu của khoa học Trí tuệ nhân tạo
• Xu hướng mới Trí tuệ nhân tạo
• kinh tế chính trị học
• học thuyết kinh tế
• sách kinh tế học
• tài liệu học đại học
• giáo trình trí tuệ nhân tạo
• tài liệu trí tuệ nhân tạo
• đề cương bài giảng
• sách trí tuệ nhân tạo
• xử lý ngôn ngữ tự nhiên
• ứng dụng trí tuệ nhân tạo
• sản phẩm trí tuệ nhân tạo
• nghiên cứu trí tuệ nhân tạo
• đề cương Trí tuệ Nhân tạo
• lý thuyết Trí tuệ Nhân tạo
• Tri tuệ nhân tạo
• nghiên cứu Tri tuệ nhân tạo
• hệ thống Tri tuệ nhân tạo
• thiết kế Tri tuệ nhân tạo
• tìm hiểu Tri tuệ nhân tạo
• phương pháp giải quyết vấn đề cơ bản
• Bài giảng Nhập môn trí tuệ nhân tạo
• Nhập môn trí tuệ nhân tạo
• Vai trò trí tuệ nhân tạo
• Tính chất của một thuật toán
• Kỹ thuật tìm kiếm