Giao trinh TRÍ TUỆ NHÂN TẠO chương 5 TRI THỨC VÀ CÁC PHƯƠNG PHÁP SUY DIỄN

... pq Biểu diễn tri thức đã cho dưới dạng luật sản xuất và dùng phương pháp suy diễn tiến và suy diễn lùi để chứng minh hoặc bác bỏ sự kiện s≡1. Bài tập 3. Cho cơ sở tri thức được biểu diễn bằng các ... xét (khởi tạo tập T=F: tập sự kiện đúng ban đầu ). 153 2. Các dạng mô tả tri thức (các phương pháp biểu diễn tri thức) (Để máy tính có thể sử...

Ngày tải lên: 06/01/2014, 08:14

... Mỗi nhiễm sắc thể được tạo thành từ các đơn vị được gọi là gien. Chẳng hạn, trong các TTDT cổ điển, các nhiễm sắc thể là các chuỗi nhị phân, tức là mỗi cá thể được biểu diễn bởi một chuỗi nhị ... các nhiễm sắc thể mới dựa trên các toán tử di truyền. 4. Loại bớt các nhiễm sắc thể có độ thích nghi thấp. 5. Xác định hàm mục tiêu cho các nhiễm sắc thể mới và đưa vào quần...

Ngày tải lên: 25/03/2014, 22:19

... ta đa ra một cách biểu diễn khác dựa trên việc quy vấn đề về các vấn đề con. Giả sử ta có bản đồ giao thông trong một vùng Trang 11 Giáo trình Trí Tuệ Nhân Tạo - Đinh Mạnh Tờng. Các chiến lợc ... là tìm ra một chứng minh (một dãy các luật suy diễn đợc áp dụng) để đợc đa đến công thức mà ta cần chứng minh. Trong các lĩnh vực nghiên cứu của Trí Tuệ Nhân Tạo, ch...

Ngày tải lên: 09/12/2013, 15:15

... nh hình 2 .5. Các đỉnh đợc gạch dới là các đỉnh đợc chọn để phát tri n ở mỗi mức. Chơng 2 - Trang 5 Giáo trình Trí Tuệ Nhân Tạo - Đinh Mạnh Tờng. Chơng II Các chiến lợc tìm kiếm kinh nghiệm Trong ... khoảng cách giữa vị trí của các quân trong trạng thái u và vị trí của nó trong trạng thái đích. ở đây khoảng cách đợc hiểu là số ít nhất các dịch chuyển theo hàng...

Ngày tải lên: 09/12/2013, 20:15

... giá trị lớn nhất trong các giá trị của các đỉnh con. Còn nếu v là đỉnh Đen thì giá trị của nó là giá trị nhỏ nhất trong các giá trị của các đỉnh con. Giáo trình Trí Tuệ Nhân Tạo - Đinh Mạnh Tờng. Chơng ... (sự bố trí các quân của hai bên trên bàn cờ). Trạng thái ban đầu là sự sắp xếp các quân cờ của hai bên lúc bắt đầu cuộc chơi. Các toán tử là các nớc đi hợp lệ....

Ngày tải lên: 09/12/2013, 20:15

... một câu đơn. Các công thức Từ công thức phần tử, sử dụng các kết nối logic và các lợng tử, ta xây dựng nên các công thức (các câu). Các công thức đợc xác định đệ quy nh sau: Các công thức phân ... công thức. Nếu G và H là các công thức, thì các biểu thức (G H), (G H), ( G), (GH), (GH) là công thức. Nếu G là một công thức và x là biến thì các biểu...

Ngày tải lên: 09/12/2013, 20:15

... công thức G[X/t]. 123 • Các công thức Từ công thức phân tử, sử dụng các kết nối logic và các lượng từ, ta xây dựng nên các công thức (các câu) Các công thức được xác định đệ quy như sau: - Các ... sau: - Các công thức phân tử là công thức - Nếu G và H là các công thức thì các biểu thức (G∧H), (G∨H), (¬G), (G⇒H), (G⇔H) là công thức - Nếu G là một công...

Ngày tải lên: 06/01/2014, 08:14

... minh 130 3. Ví dụ và bài tập 138 Chương 5. Tri thức và các phương pháp suy diễn 148 1. Tri thức và dữ liệu 148 2. Các dạng mô tả tri thức 149 3. Suy diễn trên luật sản xuất 152 Tài liệu tham khảo ... Mục lục Chương 0. Mở đầu 2 1. Tổng quan về Khoa học Trí ruệ nhân tạo 2 2. Lịch sử phát tri n của Trí tuệ nhân tạo 5 3. Một số vấn đề Trí...

Ngày tải lên: 06/01/2014, 08:14

... khác tìm đến với trí tuệ nhân tạo ở các kỹ thuật hệ thống hoá và tự động hoá các xử lý tri thức cũng như các phương pháp thuộc lĩnh vực mang tính người. Trí tuệ nhân tạo nghiên cứu kỹ thuật ... nghiên cứu về cơ chế suy lý, về Trí tuệ nhân tạo phân tạo, về các mô hình tương tác. Những đặc trưng của Trí tuệ nhân tạo • Trí tuệ nhân tạ...

Ngày tải lên: 06/01/2014, 08:14