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,. . | 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. , 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
