giáo trình trí tuệ nhân tạo đại học cần thơ
Giáo trình Trí tuệ nhân tạo
Ngày tải lên :
14/11/2012, 13:46
... đế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 và học máy, tìm kiếm ... 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 ...
để 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...
- 64
- 2.4K
- 20
Tài liệu Giáo trình Trí Tuệ Nhân Tạo -chương 1- GIẢI QUYẾT VẤN ĐỀ BẰNG TÌM KIẾM ppt
Ngày tải lên :
09/12/2013, 15:15
... phép biến đổi lợng giác), để
đa tích phân cần tính về tích phân của các hàm số sơ cấp mà chúng ta đà biết cách tính.
Trang 10
Giáo trình Trí Tuệ Nhân Tạo - Đinh Mạnh Tờng.
1.3.2 Tìm kiếm theo ... stop}}
4. Solvable(u)
false;
end;
NhËn xÐt
Trang 15
Giáo trình Trí Tuệ Nhân Tạo - Đinh Mạnh Tờng.
lÃnh thổ (xem hình 1.6). Giả sử ta cần tìm đờng đi từ thành phố A tới thành phố B. Có con
sông ... không gian trạng thái sau:
ã Trạng thái ban đầu (bài toán cần giải) là a.
ã Tập các toán tö quy gåm:
Trang 12
Giáo trình Trí Tuệ Nhân Tạo - Đinh Mạnh Tờng.
phần i
giải quyết vấn đề bằng tìm kiếm
...
- 14
- 2.9K
- 38
Tài liệu Giáo trình trí tuệ nhân tạo- chương 2-CÁC CHIẾN LƯỢC TÌM KIẾM KINH NGHIỆM pptx
Ngày tải lên :
09/12/2013, 20:15
... 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ình Trí Tuệ Nhân Tạo - Đinh Mạnh ... Giáo trình Trí Tuệ Nhân Tạ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ì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 chơng I, chúng...
- 5
- 1.1K
- 18
Tài liệu Giáo trình trí tuệ nhân tạo- chương 4-TÌM KIẾM CÓ ĐỐI THỦ pptx
Ngày tải lên :
09/12/2013, 20:15
... u
do
Giáo trình Trí Tuệ Nhân Tạ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ình Trí Tuệ Nhân Tạo - Đinh Mạnh Tờng.
Chơng 4- Trang 2
Ví dụ: Xét cây ... của nó.
Giáo trình Trí Tuệ Nhân Tạ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...
- 9
- 941
- 16
Tài liệu Giáo trình trí tuệ nhân tạo- chương 6- Logic vị từ cấp một pptx
Ngày tải lên :
09/12/2013, 20:15
... lượng tử ta có thể tạo ra các
câu phức hợp có cấu trúc rất phức tạp. Để dễ dàng cho việc lưu trữ các câu trong bộ nhớ, và thuận
lợi cho việc xây dựng các thủ tục suy diễn, chúng ta cần chuẩn hoá các ... dấu
ngoặc không cần thiết, chẳng hạn các dấu ngoặc ngoài cùng.
Lợng tử phổ dụng cho phép mô tả tính chất của cả một lớp các đối tợng, chứ không phải
của một đối tợng, mà không cần phải liệt kê ... đợ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ỳ...
- 5
- 1.9K
- 18
Giao trinh TRÍ TUỆ NHÂN TẠO chương 4 BIỂU DIỄN BÀI TOÁN BẰNG LOGIC VÀ CÁC PHƯƠNG PHÁP CHỨNG MINH
Ngày tải lên :
06/01/2014, 08:14
... đó.
Ta sẽ giả sử rằng E và F chứa các biến có tên khác nhau, nếu không ta chỉ
cần đặt tên lại các biến.
Trong thuật toán ta cần tìm sự khác biệt giữa hai biểu thức. Sự khác biệt đựoc
xác định như sau: ... 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ề ... không cần thiết, chẳng hạn các dấu
ngoặc ngoài cùng.
Lượng từ phổ dụng (universal quantfier) cho phép mô tả tính chất của cả
một lớp các đối tượng chứ không phải của một đối tượng mà không cần...
- 41
- 2.6K
- 1
Giao trinh TRÍ TUỆ NHÂN TẠO chương 5 TRI THỨC VÀ CÁC PHƯƠNG PHÁP SUY DIỄN
Ngày tải lên :
06/01/2014, 08:14
... đang làm. Trong khi đó mục tiêu của trí tuệ nhân tạ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...
- 15
- 2.5K
- 12
Giao trinh Giao trinh Giao trinh TRÍ TUỆ NHÂN TẠO chương gioi thieu
Ngày tải lên :
06/01/2014, 08:14
... soạn giáo trình Trí tuệ nhân 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áo trình trên một khung chương trình đào tạo, mà còn ... 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í tuệ nhân tạo quan tâm 8
4. Các khái niêm cơ bản 10
Chương ...
Biểu diễn bài toán bằng logic và các phương pháp chứng minh 107
ĐẠI HỌC HUẾ
TRƯỜNG ĐẠI HỌC KHOA HỌC
Giáo trình
TRÍ TUỆ NHÂN TẠO
Huế, 2004
Lời nói đầu
Trong các năm qua, nhiều tài liệu của ngành...
- 5
- 1.1K
- 18
Giao trinh Giao trinh Giao trinh TRÍ TUỆ NHÂN TẠO chương 0
Ngày tải lên :
06/01/2014, 08:14
... 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ân tạ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ân tạo phân
tạo, về các ... thuật cơ bản của tin học truyền thống có
liên quan trực tiếp đến Trí tuệ nhân tạo.
2. Lịch sử phát triển của Trí Tuệ Nhân Tạo.
Lịch sử của Trí tuệ nhân tạo cho thấy ngành khoa học này có nhiều kết ... thông minh. Khoa học về cơ học
và Trí tuệ nhân tạo được tích hợp trong khoa học người máy.
- Tâm lý học xử lý thông tin : Các kết quả nghiên cứu của tâm lý học giúp
Trí tuệ nhân tạo xây dựng các...
- 10
- 1.1K
- 10
Giao trinh TRÍ TUỆ NHÂN TẠO chương 1 BIỂU DIỄN BÀI TOÁN TRONG KHÔNG GIAN TRẠNG THÁI
Ngày tải lên :
06/01/2014, 08:14
... hãy tìm dãy hợp 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ố ... 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, ... thứ 2 có a
2
viên, …, đống thứ n có a
n
viên
và tất nhiên a
1
+ a
2
+ …+ a
n
= 2
k
. Người ta cần san sẻ lượng sỏi từ các đống để
dồn sỏi trở về 1 đống. Quy tắc san sỏi như sau: mỗi lần san...
- 11
- 4K
- 8
Giao trinh TRÍ TUỆ NHÂN TẠO Chương 2 CÁC PHƯƠNG PHÁP TÌM KIẾM LỜI GIẢI TRONG KHÔNG GIAN TRẠNG THÁI
Ngày tải lên :
06/01/2014, 08:14
... 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ình trí 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 ... trên, ta có:h
2
(u)=2+3+1+3= 9 (vì quân 3 cần ít nhất 2 dịch
chuyển, quân 8 cần ít nhất 3 dịch chuyển, quân 6 cần ít nhất 1 dịch chuyển và
quân 1 cần ít nhất 3 dịch chuyển)
5. Tìm kiếm đườ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...
- 67
- 2.3K
- 11
Giao trinh TRÍ TUỆ NHÂN TẠO chương 3
Ngày tải lên :
06/01/2014, 08:14
... 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 ... 3.
A
A1 A2
B1 B2
Hình 3
92
- Đối với giá cực đại h
0
(n) = Max(c(n,n
i
)+h
0
(n
i
))
Bài toán 2. Xây dựng cây lời giải tiềm tàng G’ mô tả quá trình chuyển bài toán
n
0
về bài toán n. Gọi G’ ... 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...
- 17
- 741
- 2