Bài giảng Trí tuệ nhân tạo - Giới thiệu môn học

Nội dung text: Bài giảng Trí tuệ nhân tạo - Giới thiệu môn học

1. TRÍ TU NHÂN TO Gii thiu mơn hc
2. Ni dung trình bày 2
   Gii thiu trí tu nhân to
   Ni dung mơn hc
   Tài liu tham kho mơn hc
   Thơng tin mơn hc
   Hình thc đánh giá Khoa CNTT ðH KHTN TP. HCM 03/2010
3. Trí tu (Intelligence) 3
   Trí tu là gì?
   Trí tu hình thành như th nào?
   Ch cĩ con ngưi mi cĩ trí tu?
   Trí tu vi trí thơng minh? Khoa CNTT ðH KHTN TP. HCM 03/2010
4. Tri thc (Knowledge) 4
   Là phn quan trng ca trí tu TRI THC THƠNG TIN D LIU Khoa CNTT ðH KHTN TP. HCM 03/2010
5. Trí tu nhân to (Artificial Intelligence) 5
   Quan đim đnh nghĩa AI thưng chia thành 4 nhĩm Quá trình suy nghĩ và lp lun Con Suy nghĩ như ngưi Suy nghĩ hp lý S ngưi Hành đng như ngưi Hành đng hp lý hp lý Hành vi Khoa CNTT ðH KHTN TP. HCM 03/2010
6. Hành đng hp lý 6
   "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) Khoa CNTT ðH KHTN TP. HCM 03/2010
7. H thơng minh (Intelligent Agent) 7 Khoa CNTT ðH KHTN TP. HCM 03/2010
8. Nn tng ca AI 8 Khoa CNTT ðH KHTN TP. HCM 03/2010
9. Mt s lĩnh vc ca AI 9
   Natural language processing
   Knowledge representation
   Automated reasoning
   Planning and Scheduling
   Machine learning
   Computer vision
   Robotics
   Khoa CNTT ðH KHTN TP. HCM 03/2010
10. Lưc s ca AI 10
    1943 McCulloch & Pitts: Mơ hình hĩa mch bool ca b não
    1950 Bài báo "Computing Machinery and Intelligence“ ca Turing
    1956 Hi ngh Dartmouth: "Artificial Intelligence" đưc khai sinh
    195059 Nhng chươn trình AI đu tiên, bao gm trị chơi checker ca Samuel's, Logic Theorist ca Newell & Simon, Máy Hình hc ca Gelernter
    1965 Robinson's complete algorithm for logical reasoning
    196673 AI khám phá ra đ phc tp tính tốn Nghiên cu v neural network hu như bin mt
    196979 Nhng bưc phát trin ban đu ca các h da tri thc
    1980 AI tr thành ngành cơng nghip
    1986 Neural networks li tr nên thơng dng
    1987 AI tr thành mt ngành khoa hc
    1995 S ni bt ca các agent thơng minh Khoa CNTT ðH KHTN TP. HCM 03/2010
11. Mt s thành tu ca AI 11 Khoa CNTT ðH KHTN TP. HCM 03/2010
12. Ni dung mơn hc 12
    Gii quyt vn đ bng phương pháp tìm kim (5 tun):
    Các phương pháp tìm kim mù
    Tìm kim heuristic – Tìm kim A *
    Các phương pháp tìm kim cc b Thut gii Di truyn
    Mt s bài tốn và thut gii heuristic
    Trị chơi Khoa CNTT ðH KHTN TP. HCM 03/2010
13. Ni dung mơn hc (tt) 13
    Biu din tri thc và lp lun (5 tun):
    Gii thiu logic mnh đ
    Các phương pháp suy din trên logic mnh đ
    Logic bc nht
    Suy din vi logic bc nht
    Suy din khơng chc chn – Bayes, H s chc chn Khoa CNTT ðH KHTN TP. HCM 03/2010
14. Ni dung mơn hc (tt) 14
    Máy hc (4 tun):
    Gii thiu v máy hc, mơ hình Nạve Bayes
    Hc vi cây quyt đnh
    Hc da trên gii thích
    Gii thiu v mng nơron Khoa CNTT ðH KHTN TP. HCM 03/2010
15. Tài liu tham kho mơn hc 15
    Tài liu mơn hc
    S. Russel and P.Norvig , Artificial Intelligent: A Modern Approach. Second Edition. 2003
    MIT Open Courseware, Artificial Intelligence Spring 2005 , EngineeringandComputerScience/6 034Spring2005/CourseHome/index.htm Khoa CNTT ðH KHTN TP. HCM 03/2010
16. Thơng tin mơn hc 16
    Giáo viên lý thuyt:
    Vũ Quc Hồng ( vqhoang@fit.hcmus.edu.vn )
    Giáo viên thc hành:
    Vũ Quc Hồng ( vqhoang@fit.hcmus.edu.vn )
    Nguyn Quc Bình ( nqbinh@fit.hcmus.edu.vn )
    Trang web mơn hc
    ðt câu hi, trao đi
    Gii đáp thc mc
    Nhn thơng báo
    Nhn/np bài tp Khoa CNTT ðH KHTN TP. HCM 03/2010
17. Hình thc đánh giá 17
    Lý thuyt: 7/10 đim
    Thi gia kì: 2/10 đim
    Thi cui kì: 4/10 đim
    Các bài tp lý thuyt: 1/10 đim.
    Thc hành: 3/10 đim
    2 project: 2/10 đim
    Các bài tp cài đt: 1/10 đim.
    ðim cng: ≤ 2/10 đim.
    Bt kỳ trưng hp gian ln nào b phát hin trong quá trình hc, thi, bài tp, s b pht theo qui đnh sau:
    Ln 1: tr 30% trên tng s đim ca mơn hc.
    Ln 2: tr 50% trên tng s đim ca mơn hc. Khoa CNTT ðH KHTN TP. HCM 03/2010
18. Thc mc 18 Khoa CNTT ðH KHTN TP. HCM 03/2010