Bài 4 Bài 1 Trong các mệnh sau, mệnh đề nào không đúng 1 A ∧ ¬ (C ∨ ¬ B) tương đương A ∧ ¬ C ∧ B 2 ¬ D ⇔ E tương đương (D ∨ E) ∧ (¬ E ∨ ¬ D) 3 ¬ ((F ∧ ¬ G) ∨ K) tương đương (¬ F ∨ G) ∧ ¬ K 4 S ⇒ Q tươ[.]
Bài Trong mệnh sau, mệnh đề không : A ∧ ¬ (C ∨ ¬ B) tương đương A ∧ ¬ C ∧ B ¬ D ⇔ E tương đương (D ∨ E) ∧ (¬ E ∨ ¬ D) ¬ ((F ∧ ¬ G) ∨ K) tương đương (¬ F ∨ G) ∧ ¬ K S ⇒ Q tương đương S ∨ ¬ Q (T ⇔ X) ∧ Y) tương đương (T ⇒ X) ∧ (X ⇒ T) ∧ Y Bài Phép thử Turing cho phép kiểm tra xem: Máy tính có hành động suy nghĩ người khơng Máy tính nhận biết người khơng Máy tính đốn người muốn khơng Máy tính xử lý thông tin nhanh người không Máy tính có phát triển người khơng Giải thích ngắn gọn cho lựa chọn bạn cho câu Bài a Lập bảng giá trị chân lý biểu thức logic mệnh đề sau: ¬ab bc b Cho biểu thức logic mệnh đề sau: (a b) c , c d, d (f h), a h, h b, a Xem biểu thức giả thiết ban đầu Hãy dùng phương pháp hợp giải Robinson1 để chứng minh f Bài Cho vấn đề phát biểu sau: a Ngón tay phận bàn tay, bo_phan(ngon_tay,ban_tay) (a) b Bàn tay phận cánh tay, bo_phan(ban_tay,canh_tay) (b) c Cánh tay phận thể Bophan(canh_tay,co_the) (c) Hãy biểu diễn vấn đề theo logic vị từ bậc Dùng giải thuật đối sánh mẫu luật suy diễn để chứng minh ngón tay phận thể X,Yngontay(X)bantay(Y)bophan(X,Y) (1) Y,Z, bantay(Y)canhtay(Z)bophan(Y,Z) (2) Z,T canhtay(Z)cothe(T)bophan(Z,T) (3) Tu (a) va (b) ta suy duoc: bophan(ngontay,canhtay) (4) Tu (d) va (c) ta suy duoc: bophan(ngontay,cothe) Bài Cho vấn đề phát biểu sau: Nếu xem người lừa dối người khác kẻ bịp bợm đồng tình với kẻ bịp bợm kẻ bịp bợm, biết tập thể có người nhút nhát đồng tình với kẻ lừa dối Hãy biểu diễn vấn đề theo logic vị từ bậc Dùng giải thuật đối sánh mẫu luật suy diễn để chứng minh tập thể chắn có tên bịp bợm tính tình nhút nhát Bài Cho vấn đề phát biểu sau: Ơng Ba có ni chó nuoi(ongba,cho) (1) Hoặc ơng Ba ông Am giết mèo Bibi giet(ongba,meobii)giet(ongam,cho) (2) Mọi người ni chó u q động vật X, nuoi(nguoi(X),cho)yeu(X,dongvat) (3) Ai u q động vật khơng giết động vật X, yeu(nguoi(X),dongvat)giet(X,dongvat) (4) Chó mèo động vật dongvat(chomeo) (5) tu (1) va (3) yeu(ongba,dongvat) (6) voi phep the ongba/X tu (4) va (6) giet(ongba,dongvat) (7) tu (5)dongvat(meobii)(8) tu (7) va (8) giet(ongba,meobii) Hãy biểu diễn vấn đề theo logic vị từ bậc Dùng giải thuật đối sánh mẫu luật suy diễn để chứng minh Ơng Ba khơng giết mèo Bibi Bài a Hãy trình bày thuật tốn tìm kiếm sâu biểu diễn khơng gian trạng thái Open Close a b, c a de c ba Hkec Dba Nokec Hdba Ruokec NHdba uoke c RNHdba Oke c URNHdba kec OURNHdba e c KOURNHdba c EKOURNHdba Fg CEKOURNHdba Lmg FCEKOURNHdba mg LFCEKOURNHdba Pqg MLFCEKOURNHdba Stqg pMLFCEKOURNHdba Vtqg SpMLFCEKOURNHdba tqg VSpMLFCEKOURNHdba qg TVSpMLFCEKOURNHdba g QTVSpMLFCEKOURNHdb a GQTVSpMLFCEKOURNH dba Danh sach duyet theo chieu sau la: a b d h n r u o k e c f l m p s v t q g b Cho sau với đỉnh gốc a tập ĐICH = {u, v} Mơ tả q trình duyệt (tình trạng danh sách Open, Chose bước) theo thuật tốn tìm kiếm sâu dần với k = Bài a Để biểu diễn toán phương pháp không gian trạng thái cần phải xác định yếu tố nào? b Cho sau với đỉnh gốc a tập ĐICH = {s} Mô tả trình duyệt (tình trạng danh sách Open, Close bước) theo thuật tốn tìm kiếm sâu dần với k = c Quy toán Tháp Hà nội với n = toán biểu diễn đồ thị Và/Hoặc Từ lời giải toán nhận cho biết lời giải toán ban đầu Bài a Cho minh hoạ biểu diễn không gian trạng thái sau với đỉnh gốc a tập ĐICH = {s, t} Mơ tả q trình duyệt (tình trạng danh sách Open, Close bước) theo thuật toán DFS BFS Bài 10 a Hãy vẽ không gian trạng thái tốn "Trị chơi 8" số với trạng thái đầu trạng thái đích cho sau: b Mơ tả q trình duyệt (tình trạng danh sách Open, Close bước) theo thuật tốn tìm kiếm theo chiều rộng Bài 11 Xét tốn “Rót nước“ sau: Cho can loại lít loại lít đựng đầy nước Khơng sử dụng thêm dụng cụ cân, đo, làm để nhận lít nước can lít a Phân tích đặc trưng tốn để xác định xem tốn có phải tốn phát biểu chỉnh hay không? b Xác định yếu tố: - Dạng mơ tả trạng thái - Tập tốn tử tác động toán tử lên trạng thái - Trạng thái đầu tập trạng thái đích để biểu diễn tốn phương pháp không gian trạng thái c Vẽ không gian trạng thái toán xuất trạng thái đạt dấu hiệu đích d Cho kết nhận duyệt không gian trạng thái theo DFS BFS Bài 12 Xét toán “Người đưa hàng“ với trường hợp cụ thể số thành phố n = 5, thành phố xuất phát người đưa hàng thành phố A sau: a Hãy xác định yếu tố: Dạng mơ tả trạng thái; Tập tốn tử tác động toán tử lên trạng thái; Trạng thái đầu tập trạng thái đích để biểu diễn tốn phương pháp không gian trạng thái b Vẽ không gian trạng thái toán xuất trạng thái đạt đích c Cho biết đỉnh thuộc tập Close đường nhận duyệt không gian trạng thái nhận theo phương pháp tìm kiếm tốt Bài 13 a Hãy trình bày thuật tốn tìm kiếm cực tiểu hố giá thành biểu diễn không gian trạng thái b Cho sau với đỉnh gốc a tập ĐICH = {s,o, t} Mơ tả q trình duyệt (tình trạng danh sách Open, Close bước) theo thuật tốn tìm kiếm tốt Bài 14 a Cho minh hoạ biểu diễn không gian trạng thái sau với đỉnh gốc a tập ĐICH = {s, p} Mơ tả q trình duyệt (tình trạng danh sách Open, Close bước) theo thuật tốn tìm kiếm theo chiều rộng b Cho biết danh sách đỉnh thuộc tập Close đường nhận duyệt khơng gian trạng thái câu a thuật tốn tìm kiếm theo chiều sâu Cho nhận xét hai đường nhận câu a câu b Bài 15 a Hãy xác định yếu tố sau để biểu diễn toán “Tháp Hà Nội“ phương pháp không gian trạng thái: - Dạng mô tả trạng thái - Các toán tử tác động tốn tử lên dạng mơ tả trạng thái biểu diễn luật suy diễn - Trạng thái đầu trạng thái đích b Vẽ biểu diễn khơng gian trạng thái toán nhận trạng thái đích, (trên cung có ghi rõ luật sử dụng) c Cho biết số đỉnh thuộc tập Close kết nhận duyệt không gian trạng thái hai phương pháp DFS BFS Bài 16 a Hãy trình bày thuật tốn tìm kiếm cực tiểu hố giá thành biểu diễn khơng gian trạng thái b Cho sau với đỉnh gốc a tập ĐICH = {s,o, t} Mô tả trình duyệt (tình trạng danh sách Open, Close bước) theo thuật tốn tìm kiếm tốt ... toán ban đầu Bài a Cho minh hoạ biểu diễn không gian trạng thái sau với đỉnh gốc a tập ĐICH = {s, t} Mơ tả q trình duyệt (tình trạng danh sách Open, Close bước) theo thuật toán DFS BFS Bài 10 a... p s v t q g b Cho sau với đỉnh gốc a tập ĐICH = {u, v} Mô tả trình duyệt (tình trạng danh sách Open, Chose bước) theo thuật tốn tìm kiếm sâu dần với k = Bài a Để biểu diễn tốn phương pháp khơng... biểu chỉnh hay khơng? b Xác định yếu tố: - Dạng mô tả trạng thái - Tập toán tử tác động toán tử lên trạng thái - Trạng thái đầu tập trạng thái đích để biểu diễn tốn phương pháp khơng gian trạng