Bài giảng Trí tuệ nhân tạo: Các phương pháp biểu diễn tri thức trên máy tính - TS. Đào Anh Nam

Bài giảng "Trí tuệ nhân tạo: Các phương pháp biểu diễn tri thức trên máy tính" cung cấp cho người học các kiến thức: Logic mệnh đề, logic vị từ, một số thuật giải liên quan đến logic mệnh đề, biểu diễn tri thức sử dụng luật dẫn xuất, biễu diễn tri thức sử dụng mạng ngữ nghĩa,... Mời các bạn cùng tham khảo.
Nội dung trích xuất từ tài liệu:
Bài giảng Trí tuệ nhân tạo: Các phương pháp biểu diễn tri thức trên máy tính - TS. Đào Anh Nam Artificial Intelligence Trí Tu Nhân t o TS. ào Nam Anh CÁC PHƯƠNG PHÁP BI U DI N TRI TH C TRÊN MÁY TÍNH 1 Tài li u Stuart Russell and Peter Norvig, Artificial Intelligence A Modern Approach R. E. Bellman. An Introduction to Artificial Intelligence: Can Computers Think? Boyd & Fraser Publishing Company, San Francisco, 1978. E. Charniak and D. McDermott. Introduction to Artificial Intelligence. AddisonWesley,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. 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). McGrawHill, New York, 1991. P. H. Winston. Artificial Intelligence (Third Edition). AddisonWesley, Reading, Massachusetts, 1992. N.Q.Hoan, Nh p môn trí tu nhân t o inh M nh Tư ng, Giáo trình Trí tu Nhân t o 2 Hoàng Ki m, inh Nguy n Anh Dũng, Giáo trình Nh p môn Trí tu Nhân t o N I DUNG I. LOGIC M NH II. LOGIC V T III. M T S THU T GI I LIÊN QUAN N LOGIC M NH IV. BI U DI N TRI TH C S D NG LU T D N XU T (LU T SINH) V. BI U DI N TRI TH C S D NG M NG NG NGHĨA VI. BI U DI N TRI TH C B NG FRAME VII. BI U DI N TRI TH C B NG SCRIPT VIII. PH I H P NHI U CÁCH BI U DI N TRI TH C 3 LOGIC M NH ây có l là ki u bi u di n tri th c ơn gi n nh t và g n gũi nh t i v i chúng ta. M nh là m t kh ng nh, m t phát bi u mà giá tr c a nó ch có th ho c là úng ho c là sai. Ví d : phát bi u 1+1=2 có giá tr úng. phát bi u M i lo i cá có th s ng trên b có giá tr sai. Giá tr c a m nh không ch ph thu c vào b n thân m nh ó. Có nh ng m nh mà giá tr c a nó luôn úng ho c sai b t ch p th i gian nhưng cũng có nh ng m nh mà giá tr c a nó l i ph thu c vào th i gian, không gian và nhi u y u t khác quan khác. Ch ng h n như m nh : Con ngư i không th nh y cao hơn 5m v i chân tr n là úng khi trái t , còn nh4 ng hành tinh có l c h p d n y u thì có th sai. LOGIC M NH Ta ký hi u m nh b ng nh ng ch cái la tinh như a, b, c, Có 3 phép n i cơ b n t o ra nh ng m nh m i t nh ng m nh cơ s là h i (∨), giao(∧) và ph nh (¬) Bên c nh các thao tác tính ra giá tr các m nh ph c t giá tr nh ng m nh con, chúng ta có ư c m t cơ ch suy di n như sau : – Modus Ponens : N u m nh A là úng và m nh A→B là úng thì giá tr c a B s là úng. – Modus Tollens : N u m nh A → B là úng và m nh B là sai thì giá tr c a A s là sai. Các phép toán và suy lu n trên m nh ã ư c c p nhi u n trong các tài li u v toán. 5