Trí Tuệ Nhân Tạo (IT4040) Nguyễn Nhật Quang quangnn-fit@mail.hut.edu.vn Trường Đại học Bách Khoa Hà Nội Viện Công nghệ thông tin truyền thông Năm học 2012-2013 Nội dung môn học: Giới thiệu Trí tuệ nhân tạo Định nghĩa Các ề tả Cá tảng Lịch sử tóm tắt Các thành tựu quan trọng Tác tử Giải vấn đề: Tìm kiếm, Thỏa mãn ràng buộc Logic suy diễn Biểu diễn tri thức Biểu diễn tri thức không chắn ể ễ ắ ắ Học máy Trí Tuệ Nhân Tạo Định nghĩa TTNT (1) ị g ( ) Các định nghĩa (quan điểm) TTNT chia thành nhóm: (1) Các hệ thống suy nghĩ (thông minh) người "The exciting new effort to make computers think machines with minds, i th f ll and lit l sense." (H i d in the full d literal " (Haugeland, 1985) l d "[The automation of] activities that we associate with human thinking, activities such as decision-making, problem solving, learning " (Bellman, (Bellman 1978) (2) Các hệ thống suy nghĩ cách hợp lý "The study of mental faculties through the use of computational models." (Charniak and McDermott, 1985) "The study of the computations that make it possible to perceive, reason, and act." (Winston, 1992) Trí Tuệ Nhân Tạo Định nghĩa TTNT (2) ị g ( ) (3) Các hệ thống hành động (thông minh) người "The art of creating machines that perform functions that require intelligence when performed by people." (Kurzweil, 1990) "The study of how to make computers things at which, at the moment, people are better." (Rich and Knight, 1991) better (4) Các hệ thống hành động cách hợp lý "Computational Intelligence is the study of the design of intelligent agents." (Poole et al., 1998) "AI is concerned with intelligent behavior in artifacts." (Nilsson, 1998) Trí Tuệ Nhân Tạo Định nghĩa TTNT (3) ị g ( ) Các định nghĩa (1) (2) liên quan đến trình suy nghĩ suy diễn Các định nghĩa (3) (4) liên quan đến cách hành động Các định nghĩa (1) (3) đánh giá mức độ thành công (sự thông minh) theo tiêu chuẩn người Các định nghĩa (2) (4) đánh giá mức độ thành công (sự thông minh) theo tiêu chuẩn hợp lý Một hệ thống hành động hợp lý, làm việc phù hợp ( ệ thống) biết ố ì ó (hệ ố ) ế Trí Tuệ Nhân Tạo Hành động người: Turing Test Turing (1950) “Máy tính tốn thơng minh": “Máy tính suy nghĩ khơng?" “Máy tính hành động cách thông minh không?" đ ợc Thí nghiệm kiểm chứng hành động thơng minh: Imitation Game Dự đốn đến năm 2000, máy tính có 30% khả vượt qua người khơng có chuyên môn kiểm tra (Turing test) phút Turing (vào năm 1950) dự đoán trước vấn đề tranh luận quan trọng TTNT vòng 50 năm sau Turing đề xuất thành phần quan trọng TTNT: tri thức, suy diễn, hiể diễ hiểu ngơn ngữ, học ữ h Trí Tuệ Nhân Tạo Suy nghĩ người: Khoa học nhận thức Cuộc “cách mạng nhận thức” năm1960: Xem não người cấu trúc xử lý thông tin g ý g Nghiên cứu tâm lý nhận thức thay cho nghiên cứu trước hành vi ứng xử Cần lý thuyết khoa học hoạt động bên não người Làm để xác nhận (kiểm chứng)? Yêu cầu: ậ ( g) 1) Dự đoán kiểm chứng hoạt động (hành vi) chủ thể người (hướng tiếp cận top-down), 2) Nhận dạng ( ) ậ g (xác định) trực tiếp từ liệu hệ thần kinh ị ) ự p ệ ệ (hướng tiếp cận bottom-up) Hiện nay, hướng tiếp cận (Cognitive Science Cognitive Neuroscience) tách rời với lĩnh vực TTNT Trí Tuệ Nhân Tạo Suy nghĩ hợp lý: Các luật suy nghĩ Chuẩn hóa (hoặc quy tắc hóa), mơ tả Aristotle: Thế trình suy nghĩ / tranh luận đắn? Một số trường học Hy Lạp phát triển dạng logic: g y p p g g g ký hiệu luật dẫn xuất trình suy nghĩ Mối liên hệ trực tiếp, thơng qua tốn học triết học, khoa học TTNT đại Các vấn đề: Không p g phải tất hành vi (hành động) thông minh ( ộ g) g xuất phát từ cân nhắc (suy nghĩ) logic Mục đích suy nghĩ gì? Những suy nghĩ mà tơi nên thực hiện, số suy nghĩ mà có? ự ệ , g y g Trí Tuệ Nhân Tạo Hành động cách hợp lý Hành động cách hợp lý: thực việc cần làm Đúng việc cần làm: việc (hành động) giúp cực đại hóa việc đạt mục tiêu, thơng tin có ệ ợ ụ , g ệ Không thiết liên quan đến suy nghĩ – ví dụ, phản xạ chớp mắt Tuy nhiên, suy nghĩ nên xem thuộc vào hệ thống (nhóm) hành động hợp lý Sự hợp lý cần phải tính đến độ phức tạp tính tốn Nếu chi phí tài ngun tính tốn thời gian q cao, khơng có tính thực tế (khơng áp dụng thực tế) Trí Tuệ Nhân Tạo Các tác tử hợp lý (1) ợp ý ( ) Một tác tử (agent) thực thể có khả nhận thức hành động Một cách khái quát, tác tử biểu diễn ộ q , ộ ợ g hàm ánh xạ: từ trình (lịch sử) nhận thức đến hành động: f: P → A P* Trí Tuệ Nhân Tạo 10 Các tác tử hợp lý (2) ợp ý ( ) Đối với tập ( p) môi trường nhiệm vụ, cần ộ ập (lớp) g ệ ụ, g tìm tác tử (hoặc lớp tác tử) có hiệu suất tốt Lưu ý: Các giới hạn tính tốn (của máy tính) khơng cho phép đạt hợp lý hoàn hảo (tối ưu) ố Mục tiêu: Thiết kế chương trình máy tính tối ưu tài ngun máy tính có g y y ệ Trí Tuệ Nhân Tạo 11 Các tảng TTNT ( ) g (1) Triết học Logic Các phương pháp suy diễn Các sở (nền tảng) việc học Ngôn ngữ Sự hợp lý Tốn học ọ Biểu diễn hình thức giải thuật chứng minh Tính tốn Bài tốn (vấn đề) giải không giải Bài tốn (vấn đề) áp dụng khơng áp dụng (độ phức tạp tính tốn - thời gian để giải toán - hàm mũ) Xác suất Trí Tuệ Nhân Tạo 12 Các tảng TTNT ( ) g (2) Kinh tế học Hàm lợi ích (tiện ích) Lý thuyết định Khoa học thần kinh ọ Nền tảng (cơ sở) tự nhiên hoạt động trí óc Tâm lý học Sự thích nghi Các dấu hiệu nhận thức điều khiển vận động Các kỹ thuật thực nghiệm (vd: tâm sinh lý học,…) Trí Tuệ Nhân Tạo 13 Các tảng TTNT ( ) g (3) Cơng nghệ máy tính Xây dựng máy tính có tốc độ tính tốn nhanh Lý thuyết điều khiển Thiết kế hệ thống nhằm cực đại hóa hàm mục tiêu ệ g ự ộ ụ Ngôn ngữ học Biểu diễn tri thức Ngữ pháp (của ngơn ngữ) Trí Tuệ Nhân Tạo 14 Lịch sử tóm tắt TTNT ( ) ị (1) 1943: McCulloch & Pitts trình bày cơng trình nghiên cứu AI, đề xuất mơ hình nơ-ron nhân tạo trạng thái (on/off) 1950: Khái niệm TTNT lần Turing đề cập báo "Computing Machinery and Intelligence" 1956: Workshop (diễn tháng) Dartmouth (Mỹ) bàn lĩnh vực TTNT, khái niệm TTNT thừa nhận 1952-1969: Các thành tựu ban đầu TTNT ầ 1950s: Các chương trình TTNT Chương trình chơi cờ Samuel Chương trình lý luận logic Newell & Simon Chương trình chứng minh định lý hình học Gelernter Trí Tuệ Nhân Tạo 15 Lịch sử tóm tắt TTNT ( ) ị (2) 1965: Robinson đề cử giải thuật hoàn chỉnh cho việc suy diễn logic 1966-1973: 1966 1973: Các nhà nghiên cứu TTNT nhận khó khăn độ phức tạp tính tốn Gần khơng cịn nghiên cứu mạng nơ-ron nhân tạo 1969-1979: Sự hình thành phát triển ban đầu hệ thống ể ầ ố dựa tri thức 1980: TTNT trở thành ngành cơng nghiệp (các hệ thống, chương trình TTNT dùng thương mại) 1980-1988: Sự xuất bùng nổ hệ chuyên gia 1986: Các mạng nơ-ron nhân tạo xuất trở lại, trở nên phổ biến 1987: TTNT trở thành lĩnh vực khoa học 1995: S xuất hiệ tác tử thông minh 199 Sự ấ ủ á hơ i h Trí Tuệ Nhân Tạo 16 Các thành tựu quan trọng TTNT (1) Lập kế hoạch lập lịch tự động NASA t ết kế chương t S thiết ế c ươ g trình lập kế hoạch tự động (gọi ập ế oạc độ g (gọ Remote Agent) để điều khiển việc xếp lịch hoạt động tàu vũ trụ Chơi cờ Deep Blue (hệ thống máy tính IBM) đánh bại kiện tướng cờ vua Thế giới Garry Kasparov vào năm 1997 Điều khiển tự động Một xe tải nhỏ điều khiển tự động hệ thống ALVINN (của CMU) suốt 98% khoảng thơi gian từ Pittsburgh đến San Diego (~2850 miles) Người máy Ngày nay, nhiều phẫu thuật y tế sử dụng trợ giúp người máy thao tác vi phẫu (microsurgery) Trí Tuệ Nhân Tạo 17 Các thành tựu quan trọng TTNT (2) Chuẩn đốn Các c ươ g t chương trình chuẩn y tế dựa t ê p â t c xác suất c uẩ đốn phân tích ác thực mức tương đương bác sỹ chuyên môn số lĩnh vực y tê Lập kế hoạch hậu cần cho quân đội Trong chiến tranh Vùng Vịnh năm 1991, lực lượng quân đội Mỹ triển khai sử dụng chương trình lập kế hoạch xếp lịch cho cơng tác hậu cần để di chuyển 50.000 xe cộ, hàng hóa, hóa qn lính Hiểu ngơn ngữ giải vấn đề Chương trình máy tính PROVERB giải toán đố chữ (crossword puzzles) tốt khả nhiều người hữ ( d l ) h ă ủ hiề ời Trí Tuệ Nhân Tạo 18 Các tranh luận TTNT (1) Khả TTNT? Chơi (hợp lệ) ván bóng bàn? Lái xe tự động theo đường núi quanh co? Mua trực tuyến hàng hóa tuần cho hiệu tạp phẩm? Phát hiệ chứng minh lý thuyết toán học mới? i h ột th ết t h ới? Hội thoại với người đồng hồ? Thực tự động ca phẫu thuật mổ phức tạp? Dịch trực tiếp (tức thời) hai thứ tiếng cho hội thoại? … Máy tính ó Má tí h suy nghĩ (như người) khô ? hĩ ( h ời) đ khơng? Trí Tuệ Nhân Tạo 19 Các tranh luận TTNT (2) Nếu máy tính làm thay việc làm người, người việc (thất nghiệp) Con người có nhiều thời gian rảnh rỗi (so với ít, nay) Con người cảm thấy cảm giác thông minh thống trị (cao nhất) họ Vì máy tính làm thay (và can thiệp) vào nhiều việc hàng ngày người họ cảm thấy quyền riêng tư bị xâm người, phạm Việc sử dụng nhiều hệ thống TTNT làm giảm (mất đi) trách nhiệm giải trình cơng việc Sự thành cơng (hồn hảo) TTNT có ý nghĩa kết thúc lồi người? Trí Tuệ Nhân Tạo 20 Tài liệu tham khảo ệ • R E Bellman An Introduction to Artificial Intelligence: Can Computers Think? Boyd & Fraser Publishing Company, San Francisco, 1978 • E Charniak and D M D E Ch i k d D McDermott I Introduction to A ifi i l I lli d i Artificial Intelligence Addi Addison-Wesley, W l Reading, Massachusetts, 1985 • J Haugeland Artificial Intelligence: The Very Idea MIT Press, Cambridge, Massachusetts, 1985 , • R Kurzweil The Age of Intelligent Machines MIT Press, Cambridge, Massachusetts, 1990 • N J Nilsson Artificial Intelligence: A New Synthesis Morgan Kaufmann, San Mateo, California, 1998 C lif i 1998 • D Poole, A K Mackworth, and R Goebel Computational Intelligence: A Logical Approach Oxford University Press, Oxford, UK, 1998 • E Rich and K Knight Artificial Intelligence (Second Edition) McGraw Hill, New York E K Knight Edition) McGraw-Hill York, 1991 • P H Winston Artificial Intelligence (Third Edition) Addison-Wesley, Reading, Massachusetts, 1992 Trí Tuệ Nhân Tạo 21 ... chuyên gia 19 86: Các mạng nơ-ron nhân tạo xuất trở lại, trở nên phổ biến 19 87: TTNT trở thành lĩnh vực khoa học 19 95: S xuất hiệ tác tử thông minh 19 9 Sự ấ ủ á hô i h Trí Tuệ Nhân Tạo 16 Các thành... ban đầu TTNT ầ 19 50s: Các chương trình TTNT Chương trình chơi cờ Samuel Chương trình lý luận logic Newell & Simon Chương trình chứng minh định lý hình học Gelernter Trí Tuệ Nhân Tạo 15 Lịch sử tóm... ngữ học Biểu diễn tri thức Ngữ pháp (của ngơn ngữ) Trí Tuệ Nhân Tạo 14 Lịch sử tóm tắt TTNT ( ) ị (1) 19 43: McCulloch & Pitts trình bày cơng trình nghiên cứu AI, đề xuất mơ hình nơ-ron nhân tạo