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ương đương S ∨ ¬ Q
5. (T ⇔ X) ∧ Y) tương đương (T ⇒ X) ∧ (X ⇒ T) ∧ Y
Bài 2.
Phép thử của Turing cho phép kiểm tra xem:
1. Máy tính có hành động suy nghĩ như con người không.
2. Máy tính có thể nhận biết được con người không.
3. Máy tính có thể đoán được con người muốn gì không.
4. Máy tính có thể xử lý thông tin nhanh hơn con người không.
5. Máy tính có phát triển hơn con người không.
Giải thích ngắn gọn cho lựa chọn của bạn cho từng câu.
Bài 3.
a. Lập bảng giá trị chân lý của biểu thức logic mệnh đề sau:
¬ a ( b ( b ( c
b. Cho các biểu thức logic mệnh đề sau:
1. (a ( b) ( c , 2. c ( d, 3. d ( (f ( h), 4. a ( h, 5. h ( b, 6. a
Xem các biểu thức này là giả thiết ban đầu và đúng. Hãy dùng phương pháp hợp giải Robinson1 để chứng minh rằng f đúng.
Bài 4. Cho một vấn đề được phát biểu như sau:
a. Ngón tay là bộ phận của bàn tay, bo_phan(ngon_tay,ban_tay). (a)
b. Bàn tay là bộ phận của cánh tay, bo_phan(ban_tay,canh_tay). (b)
c. Cánh tay là bộ phận của cơ thể. Bophan(canh_tay,co_the). (c)
Hãy biểu diễn vấn đề trên theo logic vị từ bậc nhất. Dùng giải thuật đối sánh mẫu và các luật suy diễn để chứng minh rằng ngón tay là bộ phận của cơ 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 ra duoc: bophan(ngontay,canhtay). (4)
Tu (d) va (c) ta suy ra duoc: bophan(ngontay,cothe).
Bài 5. Cho một vấn đề được phát biểu như sau:
Nếu xem người nào đó đi lừa dối người khác là kẻ bịp bợm và bất kỳ ai đồng tình với kẻ bịp bợm cũng là kẻ bịp bợm, hơn nữa biết rằng trong 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 đề trên theo logic vị từ bậc nhất. Dùng giải thuật đối sánh mẫu và các luật suy diễn để chứng minh rằng trong tập thể đó chắc chắn có một tên bịp bợm tính tình nhút nhát.
Bài 6. Cho một vấn đề được phát biểu như sau:
1. Ông Ba có nuôi một con chó. nuoi(ongba,cho). (1)
2. Hoặc ông Ba hoặc ông Am đã giết con mèo Bibi. giet(ongba,meobii)(giet(ongam,cho). (2)
3. Mọi người nuôi chó đều yêu quí động vật.
(X, nuoi(nguoi(X),cho)(yeu(X,dongvat). (3)
4. Ai yêu quí động vật cũng không giết động vật.
(X, yeu(nguoi(X),dongvat)((giet(X,dongvat). (4)
5. Chó và mèo là động vật.
dongvat(cho(meo). (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 đề trên theo logic vị từ bậc nhất. Dùng giải thuật đối sánh mẫu và các luật suy diễn để chứng minh rằng Ông Ba không giết con mèo Bibi
 Bài 7.
Hãy trình bày thuật toán tìm kiếm sâu trên cây biểu diễn không gian trạng thái.
Open
Close

a
(

b, c