... 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ử...
... 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...
... 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...
... 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...
... 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ệ....
... 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...
... 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...
... 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í...
... 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ạ...