Bài tập môn Trí tuệ nhân tạo 1- Cho đồ thị sau: 12 A B C H I E J D F G K M a) Tìm đường có từ A đến J thuật toán leo đồi b) Tìm đường có từ A đến J thuật toán Best-First-Search 2- Cho đồ thị biểu diễn không gian trạng thái sau: B 2 C S G A D Tìm đường từ S đến G giải thuật A* (mô tả tiến trình tìm đường) Cho đồ thị biểu diễn không gian trạng thái sau: B C S G A 3 D Tìm đường từ S đến G thuật toán tìm kiếm Best-Fisrt-Search Tìm đường từ S đến G giải thuật A* 4- Chuyển câu sau dạng chuẩn: (( A ∧ B ) → C ) ∨ ( D ∧ E ) (( A → B ) ∨ C ) ∨ ( D ∧ E ) (( A → B ) ∧ C ) → D ( A ∧ B ) ∨ ((C ∧ D) → E ( A → B) ∨ ((C → D) → E ) 5- Chứng minh rằng: a) ( A ∨ B ) → (C ∨ D ) C→E ¬D ¬F ¬( A ∨ B ) 6- Chứng minh rằng: a) P ( x, y , z ) ∨ Q ( y , z ) ¬Q(a, b) ∨ R (b, c) ¬R ( z , x ) b) c) A F b) c) A∨ B B → (C ∨ D) C→E ¬E ¬D P ( x ) ∨ Q ( x, y ) ∨ R ( y ) ¬P ( a ) ∨ H ( a , b ) ¬H ( x, y ) ¬R(b) P (c, a, b ) A→ B (C ∧ D ) → A (B ∧ E) → F D C ¬ P ( x ) ∨ Q ( x, y ) ¬P ( x ) ∨ R ( x ) ¬A(a, b) R (a ) Q ( a, b ) 7- Cho sở tri thức Nếu động vật có hai chân động vật gia cầm Nếu động vật có bốn chân động vật gia súc Nếu động vật gia súc động vật có móng guốc động vật loài móng guốc Nếu động vật loài móng guốc động vật có móng động vật ngựa Nếu động vật loài móng guốc động vật có hai móng động vật giống trâu bò Nếu động vật giống trâu bò động vật thích ăn cỏ khô động vật bò Nếu động vật giống trâu bò động vật thích ăn cỏ ướt động vật trâu a có bốn chân, có móng guốc a có móng Giả thuyết: a ngựa a) Xây dựng vị từ thành lập công thức thích hợp biểu diễn CSTT b) Chuyển câu dạng Horn Dùng suy diễn tiến chứng minh giả thuyết c) Chứng minh giả thuyết suy diễn lùi d) Chuyển câu dạng chuẩn tắc Dùng phương pháp phân giải chứng minh giả thuyết 8- Cho sở tri thức Nếu động vật có mỏ động vật có lông vũ động vật gia cầm Nếu động vật gia cầm động vật biết bơi lội động vật thủy cầm Nếu động vật gia cầm động vật có màng chân động vật vịt Nếu động vật vịt động vật thủy cầm động vật vịt trời Nếu động vật thủy cầm động vật biết bay động vật vịt trời Nếu động vật thủy cầm động vật bay động vật chim cánh cụt C có mỏ, có lông vũ, bay biết bơi lội Giả thuyết: C chim cánh cụt a) Xây dựng vị từ thành lập công thức thích hợp biểu diễn CSTT b) Chuyển câu dạng Horn Dùng suy diễn lùi để chứng minh bác bỏ giả thuyết c) Chuyển câu dạng chuẩn tắc Dùng phương pháp phân giải để chứng minh bác bỏ giả thuyết 9- Viết chương trình Prolog để giải: b) Tính S = + + + 2! a) Tính S = + + + N N! c) In dãy số fibonacci N số hạng 10 – Viết chương trình Prolog giải