Professional Documents
Culture Documents
c1 Tongquan
c1 Tongquan
1
9/18/2017
Trí tuệ nhân tạo là khoa học liên quan đến việc làm cho
CÁC KHÁI NIỆM CƠ BẢN
máy tính có những khả năng của trí tuệ con người, tiêu
CÁC TIỀN ĐỀ CƠ BẢN CỦA TTNT biểu như các khả năng“suy nghĩ”, “hiểu ngôn ngữ”, và biết
LỊCH SỬ PHÁT TRIỂN CỦA KHOA HỌC TTNT “học tập”.
5 6
CÁC KHÁI NIỆM CƠ BẢN: TTNT là gì? CÁC KHÁI NIỆM CƠ BẢN: TTNT là gì?
7 8
2
9/18/2017
CÁC KHÁI NIỆM CƠ BẢN: CÁC KHÁI NIỆM CƠ BẢN: Các yêu cầu của TTNT
TTNT và lập trình truyền thống
9 10
Phép thử Turing là một bài kiểm tra khả năng trí tuệ của máy
Alan Turing (1912-1954)
“Computing Machinery and Intelligence” (1950)
tính.
Phép thử Phép thử như sau: một người chơi thực hiện một cuộc thảo
luận bằng ngôn ngữ tự nhiên với một con người và một máy
Người
tính, cả hai đều cố gắng chứng tỏ mình là con người. Ba bên
tham gia phép thử được cách ly với nhau.
Nếu người chơi không thể nhận ra máy tính không phải là con
Người kiểm tra
Hệ thống TTNT
người, máy tính đó vượt qua phép thử
11
3
9/18/2017
Suy diễn tự động: để sử dụng các thông tin đã được lưu Chương trình chẳng những giải đúng
trữ trả lời các câu hỏi và đưa ra các kết luận mới
Còn so sánh từng bước giải với sự giải của
Học máy: thích nghi với các tình huống mới, phát hiện
và suy ra các mẫu
1 người.
VD: General Problem Solver (GPS),
Newell & Simon.
13 14
Aristole: ~420 BC. Hành động có lý ~ hành động để đạt được mục tiêu.
Tiến trình suy nghĩ đúng là gì? Ưu thế:
Mở ra nhánh: quá trình suy luận. Tổng quát hơn luật suy nghĩ: Xử lý thông tin không chắc chắn
VD: “Socrates is a man, all men are mortal; therefore Socrates is mortal”
Theo sau Aristole -> 20th:
Logic hình thức (formal logic) ra đời.
Hình thức hoá về mặt ký hiệu và quá trình suy diễn với các đối tượng trong thế giới
tự nhiên.
15 16
4
9/18/2017
17 18
19
Làm cho TTNT trở 20
thành hiện thực
5
9/18/2017
21 22
“birth day”: Hội nghị ở Dartmouth College mùa hè 1956, do Minsky và Trông mong nhất (1952 - 1969):
McCarthy tổ chức, và ở đây McCarthy đề xuất tên gọi “artificial intelligence”. Một số chương trình TTNT thành công:
Có Simon và Newell trong những người tham dự.
Samuel’s checkers
Newell & Simon’s Logic Theorist
Gelernter’s Geometry Theorem Prover.
Thuật giải của Robinson cho lập luận logic.
Marvin Minsky
23 24
John McCarthy
6
9/18/2017
25 26
27 28
7
9/18/2017
29 30
31 32
SONY AIBO
8
9/18/2017
Đi bộ
Quay
35 36
9
9/18/2017
CÁC XU HƯỚNG MỚI TRONG TTNT CÁC XU HƯỚNG MỚI TRONG TTNT
37 38
CÁC XU HƯỚNG MỚI TRONG TTNT CÁC XU HƯỚNG MỚI TRONG TTNT
39 40
10
9/18/2017
CÁC XU HƯỚNG MỚI TRONG TTNT CÁC XU HƯỚNG MỚI TRONG TTNT
41 42
CÁC XU HƯỚNG MỚI TRONG TTNT CÁC XU HƯỚNG MỚI TRONG TTNT
43 44
11
9/18/2017
CÁC XU HƯỚNG MỚI TRONG TTNT CÁC XU HƯỚNG MỚI TRONG TTNT
45 46
12