... đoạn luận tuyển
2,3, tam đoạn luận tuyển
4,5, Luật hội
Mục tiêu nghiên cứu của ngành AI
Trí tuệnhântạo nhằm tạo ra “Máy người”?
Mục tiêu
Xây dựng lý thuyết về thông minh để giải thích các hoạt ... được phát triển mạnh do mức độ phức tạp của bài toán cả về tri
thức & khả năng suy luận.
Modeling Human performance: Nghiên cứu cơ chế tổ chức trítuệ
của con người để áp dụng cho máy.
Language ... bị khả năng học tập để giải quyết vấn đề
kho tri thức:
Supervised : Kiểm soát được tri thức học được. Không tìm ra cái mới.
UnSupervised:Tự học, không kiểm soát. Có thể tạo ra tri thức mới...
... khoá học.
•
Trítuệnhântạo là gì?
•
Các lĩnh vực liên quan đến trítuệnhân tạo.
•
Lịch sử hình thành khoa học về trítuệnhân tạo.
•
Các lĩnh vực và ứng dụng của trítuệnhân tạo.
•
Những ... trong các
SÁCH về TTNT
•
Trí tuệnhântạo giúp tạo ra máy tính có khả năng
suy nghĩ máy tính có trítuệ theo đầy đủ nghĩa
của từ này (Haugeland, 1985).
•
Trí tuệnhântạo là khoa học nghiên cứu ... bắt buộc).
Cách đánh giá môn học:
+ 1 Bàitập cài đặt: 20% số điểm.
+ 1 Bàitập nghiên cứu ứng dụng: 40% số điểm.
+ 1 Bài thi: 40 % số điểm.
Trí tuệnhântạo là gì?
Hai cách tiếp cận:
Trên...
... danh sách kiểu LIFO, i.e., Đẩy các nodes con sinh
bởi EXPAND vào đầu fringle
NHẬP MÔN TRÍTUỆNHÂN TẠO
@copyrights by Dr Nguyễn Xuân Hoài
Yếu tố xác định không gian TT
1. Trạng thái.
2. ... đề:
1. Phát biểu chính xác bài toán (Hiện trạng ban đầu, kết
quả mong muốn, )
2. Phân tích bài toán.
3. Thu thập và biểu diễn dữ liệu, tri thức cần thiết để giải
bài toán.
4. Lựa chọn kỹ thuật ... diễn cho một cấu hình vật lý của bài toán
•
node thành phần cơ bản của cây tìm kiếm trạng thái, node
cha, hành động , giá đường đi g(x), độ sâu
•
Toán tử Expand tạo ra nodes mới, sủ dụng hàm
SuccessorFn...
... fitness.
•
Toán tử gene: Crossover and Mutation
(Crossover là chủ yếu).
Minh Hoạ
NHẬP MÔN TRÍTUỆNHÂN TẠO
@copyrights by Dr Nguyễn Xuân Hoài
Tìm đường đi với giá tính theo km
Mấu chốt của chiến ... ràng buộc của bài toán
•
Bài toán có thể nới lỏng bằng cách bớt các ràng
buộc trên toán tử
•
Chi phí cho lời giải tối ưu của bài toán nới lỏng
là một Heuristic chập nhận được đối với bài toán
gốc.
•
Ví ... đối với bài toán
gốc.
•
Ví dụ nếu bài toán 8-puzzle được nới lỏng sao
cho có thể dịch chuyển mỗi ô đến nơi tuỳ ý, ta
có h
1
(n) cho lời giải tối ưu.
•
Nếu bài toán được nới lỏng sao cho mỗi...
... Toán Minimax
Các bài toán CSPs trong thực tế
•
Bài toán gán
–
e.g., Ai dạy lớp nào?
•
Bài toán thời khoá biểu
–
Lớp nào học lúc nào ở đâu.
•
Bài toán lập lịch xe (giao thông)
•
Bài toán lập lịch ...
hai biến
•
Đồ thì ràng buộc: đỉnh là các biến, cung biểu
diễn các ràng buộc
NHẬP MÔN TRÍTUỆNHÂN TẠO
@copyrights by Dr Nguyễn Xuân Hoài
Thuật toán Minimax với tỉa α-β
Kiểm Tra Trước
•
Ý ... không tìm được giá trị nào như vậy
•
Goal test: Tập giá trị gán là đầy đủ.
1. Đối với mỗi bài toán CSPs:
2. Lời giải tồn tại ở độ sâu tìm kiếm n nếu bài toán có n
biến
3. dùng DFS
4. Lời giải...
... huyền
Bài tập 2. Cho các biểu thức logic mệnh đề đúng sau
1. n+c+d → p
2. qp → c
3. qc → f +¬h
4. ¬n+¬p+h
5. nq
Hãy dùng phương pháp Robinson và Vương Hạo để chứng minh hoặc bác bỏ f
≡1
Bài tập ... đề.
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 tập 5. Ta có ... này là quá lớn, O(2
n
) với n là số biến mệnh đề.
Sau đây chúng ta sẽ nghiên cứu hai phương pháp chứng minh mệnh đề (ở
mục 2.1 v à 2.2) với độ phức tạp chỉ có O(n ).
Bài toán Cho tập các giả...
... của bài toán.
4 Kkhông gian trạng thái là tập tất cả các trạng thái có thể có và tập các toán tử
của bài toán.
Không gian trạng thái là một bộ bốn, Ký hiệu: K= (T, S, G, F). Trong đó,
T: tập ... phố 3.
. . .
6.5. Bài toán phân tích cú pháp.
Văn phạm G là bộ bốn G = (N, T, P, S), N là tập ký hiệu không kết thúc,
T là tập ký hiệu kết thúc, S ∈ N là ký hiệu đầu và P là tập sản xuất có dạng ... trạng thái
Giải bài toán trong không gian trạng thái, trước hết phải xác định dạng mô tả
trạng thái bài toán sao cho bài toán trở nên đơn giản hơn, phù hợp bản chất vật
lý của bài toán (Có thể...
... trình Trítuệnhântạo – KS Nguyễn Đức Cường
–
Trí tuệnhậntạo – Nguyễn Quang Tuấn – Hà nội
Đại Học Bách Khoa Tp.HCM – 2001
Bản quyền
Khoa Công Nghệ Thông Tin
Bài giảng Trítuệnhântạo ... tìm kiếm
–
CLISP : Biểu diển tri thức
–
Bài tập lớn
Tài
Tài
liệu
liệu
tham
tham
khảo
khảo
–
Bài giảng Trítuệnhântạo – ThS Nguyễn Cao Trí – KS Lê Thành Sách
–
Artificial Inteligent ... Thông Tin Tháng 6/2001
ThS Nguyễn Cao Trí – caotri@dit.hcmut.edu.vn
KS Lê Thành Sách – ltsach@dit.hcmut.edu.vn
TRÍ
TRÍ
TUỆ
TUỆ
NHÂN
NHÂN
TẠO
TẠO
Artificial
Artificial
Intelligent
Intelligent
Khoa...