... Chiến lợc Minimax
Quá trình chơi cờ là quá trình Trắng và Đen thay phiên nhau đa ra quyết định, thực
hiện một trong số các nớc đi hợp lệ. Trên cây trò chơi, quá trình đó sẽ tạo ra đờng đi từ
gố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 ta thờng xuyên phải
đối đầu với vấn đề tìm kiếm. Đặc biệt trong lập kế hoạch ...
để giải quyết các vấn đề và đợc áp dụng rộng rÃi trong các lĩnh vực nghiên cứu khác của
Trí TuệNhân Tạo. Chúng ta lần lợt nghiên cứu các kỹ thuật sau:
ãCác kỹ thuật tìm kiếm mù, trong đó chúng...
... tớng, cờ carô.
Trang 1
Giáo trìnhTríTuệNhânTạo - Đinh Mạnh Tờng.
Mỗi chiến lợc tìm kiếm trong không gian trạng thái tơng ứng với một phơng pháp
xây dựng cây tìm kiếm. Quá trình xây dựng cây bắt ... một ánh xạ R: UU. Nói chung R là một ánh xạ không xác định khắp
nơi trên U.
Trang 2
Giáo trìnhTríTuệNhânTạo - Đinh Mạnh Tờng.
hạn, từ trạng thái ban đầu (hình 1.2 bên trái), ta chỉ có thể ... trạng thái kết thúc nào đó.
Có thể phân các chiến lợc tìm kiếm thành hai loại:
Trang 4
Giáo trìnhTríTuệNhânTạo - Đinh Mạnh Tờng.
ã Hoàn toàn tơng tự nh thuật toán tìm kiếm theo độ sâu trong không...
... kiếm leo đồi đợc trình bày dới đây, ngoài danh sách L
lu các trạng thái chờ đợc phát triển, chúng ta sử dụng danh sách L
1
để lu giữ
Chơng 2 - Trang 4
Giáo trìnhTríTuệNhânTạo - Đinh Mạnh ... GiáotrìnhTríTuệNhânTạo - Đinh Mạnh Tờng.
theo thứ tự tăng dần của hàm đánh giá sao cho trạng thái có giá ... đỉ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ìnhTríTuệNhânTạo - Đinh Mạnh Tờng.
Chơng II
Các chiến lợc tìm kiếm kinh nghiệm
Trong chơng I, chúng...
... u
do
Giáo trìnhTríTuệNhânTạo - Đinh Mạnh Tờng.
Chơng 4- Trang 4
Giả sử Đen đi trớc, ta có cây trò chơi đợc biểu diễn nh trong hình 4.2.
4.2 Chiến lợc Minimax
Quá trình chơi cờ là quá trình ... đa hai quân của mình ra khỏi bàn cờ trớc sẽ thắng, hoặc tạo ra tình
thế bắt đối phơng không đi đợc cũng sẽ thắng.
Giáo trìnhTríTuệNhânTạo - Đinh Mạnh Tờng.
Chơng 4- Trang 2
Ví dụ: Xét cây trò ... của nó.
Giáo trìnhTríTuệNhânTạo - Đinh Mạnh Tờng.
Chơng 4- Trang 5
Chơng IV
Tìm kiếm có đối thủ
Nghiên cứu máy tính chơi cờ đà xuất hiện rất sớm. Không lâu sau khi
máy tính lập trình đợc...
... định đợc ngữ nghĩa của các câu đơn, ta có thể thực hiện đợc ngữ nghĩa của các
câu phức hợp (đợc tạo thành từ các câu đơn bằng cách liên kết các câu đơn bởi các kết nối logic)
nh trong logic mệnh ... đợc từ G
bằng cách thay x bằng một đối tợng trong miền đối tợng là đúng.
Bằng các phơng pháp đà trình bày ở trên, ta có thể xác định đợc giá trị chân lý ( True,
False ) của một công thức bất kỳ ... xám có thể biểu diễn bởi công thức x (Elephant(x) Color(x,
Gray)).
Lợng tử tồn tại cho phép ta tạo ra các câu nói đến một đối tợng nào đó trong một lớp đối t-
ợng mà nó có một tính chất hoặc...
... cho tới khi gặp
hai ký hiệu khác nhau trong biểu thức. Trích ra hai biểu thức con bắt đầu từ các
ký hiệu khác nhau đó. Cặp biểu thức con đó tạo thành sự khác biệt giữa hai biểu
128
- Chuyển về ... dạng logic mệnh đề.
b) Có một bệnh nhân khai : “Thân nhiệt > 37
0
“ và “ốm trên 7 ngày”. Dùng
phương pháp chứng minh Robinson và Vương Hạo để kết luận bệnh nhân
này bị "viêm nhiễm".
Bài ... p(X,Y,Z) có nghĩa là: Z=X*Y, là một vị từ 3 biến trên tập số thực.
Khi đó tính chất giao hoán của phép nhân X*Y=Y*X được diễn tả như sau:
∀X,Y (p(X,Y,Z))⇒ p(Y,X,Z)
Hãy chuẩn hóa công thức trên (đưa...
... đang làm. Trong khi đó mục tiêu của trítuệnhântạo ứng dụng là thiết kế
các tác nhân thông minh (intelligent agent) cũng có khả năng đó như con
người. (Tác nhân thông minh là bất cứ cái gì có ... a
i
đều dẫn xuất được giả
thiết thì quá trình dẫn xuất ra b là đúng)
- Giải thuật
GỌi T là tập các sự kiện cần chứng minh tại thời điểm đang xét (khởi tạo T=
G, G là tập kết luận).
S(p) ={r
i
∈R ... đúng thì A cũng sai.
Trong quá trình suy diễn, ta cần quan tâm đến các vấn đề sau:
- Xây dựng tập luật, câu hỏi nào được chọn để người sử dụng trả lời
- Chọn quá trình tìm kiếm như thế nào
- Thông...
... lục
Chương 0. Mở đầu 2
1. Tổng quan về Khoa học Trí ruệ nhântạo 2
2. Lịch sử phát triển của Trítuệnhântạo 5
3. Một số vấn đề Trítuệnhântạo quan tâm 8
4. Các khái niêm cơ bản 10
Chương ... giáotrình của ngành học này chưa đáp ứng dược nhu cầu của
sinh viên các trường đại học, đặc biệt đối với sinh viên khu vực miền Trung.
Vì vậy, chúng tôi biên soạn giáotrìnhTrítuệnhântạo , ... tạo , một môn cơ sở
chuyên ngành trong chương trình đào tạo Cử nhân Tin học, ngoài mục đích
xây dựng nhiều giáotrình trên một khung chương trình đào tạo, mà còn giúp
cho sinh viên có tài liệu học...
... là cài đặt trítuệnhân tạo, làm rõ
hơn các ngành của khoa học Trítuệnhântạo và tiến hành các nghiên cứu
mới, đặc biệt là nghiên cứu về cơ chế suy lý, về Trítuệnhântạo phân
tạo, về các ... và phân tán.
1.3. Các kỹ thuật Trítuệnhân tạo.
Có nhiều kỹ thuật nghiên cứu, phát triển ngành khoa học Trítuệnhân tạo.
Tuy vậy, các kỹ thuật Trítuệnhântạo thường khá phức tạp khi cài ... trưng của Trítuệnhân tạo
• Trítuệnhântạo xử lý thông tin theo trật tự ký hiệu. Các thông tin gồm:
khái niệm, luật, các đối tượng ? dùng cho suy lý. Khái niệm cơ bản trong
Trí tuệnhântạo là...
... trận cuối cùng của bài toán (các số nằm theo vị trí yêu cầu)
F = {f
l
, f
r
, f
u
, f
d
}
Tìm kiếm lời giải trong không gian trạng thái là quá trình tìm kiếm xuất phát từ
trạng thái ban đầu, ... lý a
1
, a
2
, …, a
n
.
6.4 Bài toán người đưa hàng.
Người đưa hàng cần phải xác định được hành trình ngắn nhất sao cho mỗi
thành phố đi đến đúng một lần và quay trở lại thành phố xuất phát. Giả ... chuyển ô trống ở trạng thái A (A= (a
ij
)) lên trên,
nghĩa là: B= f
u
(A), giả sử ô trống đang ở vị trí (i
0
, j
0
) (hay nói cách khác a
i0 j0
= 0)
thì hàm f được xác định như sau:
15
134257
6
132547
6
134256
7
134257
6
(i,...
... việc tìm kiếm tiếp tục
theo nhánh nào tin tưởng sẽ dẫn đến lời giải.
Trong các chương trìnhtrítuệnhân tạo, kỹ thuật tìm kiếm tốt nhất đầu
tiên sử dụng hàm đánh giá. Hàm này dùng các thông ... 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ố lần dịch chuyển ít nhất theo hàng hoặc cột để đưa một quân ở vị trí của ... → (4;0) → (4;4) → (5;3)
Để có được lời giải này ta phải lưu lại vết của đường đi, có thể trình bày quá
trình tìm kiếm dưới dạng bảng sau:
i T(i)
↑MO ↓
DONG
(0;0)
(0;0) (5;0) (0;4) (5;0) (0;4)...
... giải có giá nhỏ nhất.
Các quá trình này khác hẳn với các quá trình lựa chọn trong không gian
trạng thái. Sự khác biệt chủ yếu là do việc kiểm tra tính kết thúc của quá trình
tìm kiếm và các phương ... L
*
M
*
N
O
*
Hình 3
Các đỉnh kết thúc là các đỉnh đánh dấu *. Quá trình tìm kiếm lời giải của đò thị
trên bằng phương pháp tìm kiếm rộng có thể trình bày ở bảng sau
n T(n) MO DONG
A
A B, C, D B C D A
B ... các bài toán con: P1, P2, , Pk
Phương pháp phân chia bài toán ban đầu như trên đã gặp trong lập trình truyền
thống với cách gọi “chia để trị” , “Modul hoá”.
2. Đồ thị VÀ/HOẶC:
Không gian trạng...