TAILIEUCHUNG - Bài giảng Trí tuệ nhân tạo: Chương 6 - Nguyễn Văn Hòa

Chương 6 trình bày về "Biểu diễn tri thức và sử dụng thuật". Nội dung cụ thể của chương này gồm có: Tri thức khai báo và thủ tục, suy diễn tiến, suy diễn lùi, lập trình logic, giới thiệu ngôn ngữ Prolog,. | Chương 6: Bi u di n tri th c và s d ng lu t 1 N i dung Tri thức khai báo và thủ tục Suy diễn tiến, suy diễn lùi Lập trình logic Giới thiệu ngôn ngữ Prolog 2 Tri th c khai báo và th t c Biểu diễn dạng khai báo Là một dạng biểu diễn mà ở đó tri thức được đặc tả nhưng sử dụng nó không được nêu ra. Để sử dụng nó cần bổ sung một chương trình đặc tả cái gì sẽ được làm với tri thức và bằng cách nào Ví dụ: Dạng đặc tả: một tập các “logical assertion” Bộ phân giải có thể được hiểu như là cách để làm việc với tập assertions trên. Tập assertions như là DATA vào BỘ PHÂN GIẢI. Một cách nhìn khác: tập assertions trên như là một PROGRAM. Ở đó: Luật giúp cho sự suy diễn xảy ra. Các con đường suy diễn khác nhau từ START – GOAL (hay ngược lại) được quan niệm như con đường thực thi trong chương trình. 3 Tri th c khai báo và th t c (tt) Biểu diễn dạng thủ tục Là một dạng biểu diễn mà thông tin điều khiển cần thiết cho việc sử dụng tri thức được nhúng vào chính tri thức đó. Để sử dụng cần bổ sung một bộ thông dịch có thể thực thi các chỉ thị chứa trong tri thức. Sự khác nhau cơ bản giữa tri thức thủ tục và khai báo nằm ở chổ: Thông tin điều khiển nằm ở đâu? 4 Suy di n ti n & suy di n lùi Suy diễn tiến Cho một tập luật (câu có dạng): p1 ∧ p2 ∧ ∧ pn ⇒ q và một tập các sự kiện {p,r, } Hỏi một sự kiện q có phải là một hệ quả của tập luật và tập sự kiện hay không? Tìm tất cả các luật có giả thiết thuộc tập các sự kiện Thêm kết luận vào tập các sự kiện Tiếp tục các dẫn xuất .

• Kỹ thuật lập trình
• Bài giảng Trí tuệ nhân tạo
• Trí tuệ nhân tạo
• Artificial Intelligence
• Biểu diễn tri thức và sử dụng thuật
• Ngôn ngữ Prolog
• Tri thức khai báo
• 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