Bài tập vẽ đồ thị suy diễn

Cộng đồng UIT Diễn đàn cũ
1

Chào các bạn,

Mình vừa làm bài tập vẽ đồ thị suy diễn với một số luật, xin up lên để mọi người cùng xem và cho ý kiến.

Chúc cả lớp làm bài tốt,

Thân,

Trung <!–emo&:)–><img src=‘http://www.uit.edu.vn/forum/html/emoticons/smile.gif’ border=‘0’ style=‘vertical-align:middle’ alt=‘smile.gif’ /><!–endemo–>

2

<!–QuoteBegin-CH0901052+22 Jun 2010, 12:19 PM–></div><table border=‘0’ align=‘center’ width=‘95%’ cellpadding=‘3’ cellspacing=‘1’><tr><td><b>QUOTE</b> (CH0901052 @ 22 Jun 2010, 12:19 PM)</td></tr><tr><td id=‘QUOTE’><!–QuoteEBegin–> <!–QuoteBegin-CH0901018+22 Jun 2010, 07:00 PM–></div><table border=‘0’ align=‘center’ width=‘95%’ cellpadding=‘3’ cellspacing=‘1’><tr><td><b>QUOTE</b> (CH0901018 @ 22 Jun 2010, 07:00 PM)</td></tr><tr><td id=‘QUOTE’><!–QuoteEBegin–> Trong bài giảng của thầy có luật:

cousin(X,Y) :- parent(X,Xp) & parent(Y,Yp) &
sibling(Xp,Yp)

hình như lộn rồi phải không các bạn?

mình nghĩ phải là như vậy các bạn xem có đúng không?
cousin(X,Y) :- parent(Xp,X) & parent(Yp,Y) &
sibling(Xp,Yp) <!–QuoteEnd–></td></tr></table><div class=‘postcolor’><!–QuoteEEnd–>
Bạn phát hiện đúng rồi, hoặc là sửa như sau:
cousin(Xp,Yp) :- parent(X,Xp) & parent(Y,Yp) &
sibling(X,Y) <!–QuoteEnd–> </td></tr></table><div class=‘postcolor’> <!–QuoteEEnd–>
Ban Thuy da noi dung
cousin(Xp,Yp) :- parent(X,Xp) & parent(Y,Yp) &
sibling(X,Y)
Cac ban cho them cac luat de quy khac nua di?
THan
DP

3

Trong bài giảng của thầy có luật:

cousin(X,Y) :- parent(X,Xp) & parent(Y,Yp) &
sibling(Xp,Yp)

hình như lộn rồi phải không các bạn?

mình nghĩ phải là như vậy các bạn xem có đúng không?
cousin(X,Y) :- parent(Xp,X) & parent(Yp,Y) &
sibling(Xp,Yp)

Mình thì nghĩ thứ tự Xp, X hay X, Xp phụ thuộc vào định nghĩa vị từ Parent. Thày đã chú thích Xp: nghĩa là Xparent rồi đó.

4

Theo tôi , khi đưa ra một quan hệ tức là chúng ta xây dựng một bộ thứ tự nào đó nên trong một hệ suy luận ta cần nhất quán thứ tự này. Trong các ví dụ trong các slide , do đánh máy nhầm , chưa thống nhất được thì ta điều chỉnh lại. Theo thói quen ta xem father(X,Y) nghĩa là X là cha Y thôi nhưng không bắt buộc. Quan trọng là thống nhất các khái niệm trong hệ luật.
Chào

5

Trong bài giảng của thầy có luật:

cousin(X,Y) :- parent(X,Xp) & parent(Y,Yp) &
sibling(Xp,Yp)

hình như lộn rồi phải không các bạn?

mình nghĩ phải là như vậy các bạn xem có đúng không?
cousin(X,Y) :- parent(Xp,X) & parent(Yp,Y) &
sibling(Xp,Yp)

6

Thanks bạn Trung và chị Thủy nhiều nha!

7

Sửa như bạn thủy không được vì
cousin(X,Y) :- parent(X,Xp) & parent(Y,Yp) &
sibling(X,Y)

vế trái có nghĩa và X và Y là anh em họ
còn vế phải lại xuất hiện X và Y là anh em ruột hihihi

8

Thưa thầy trước đó ta đã có:
sibling(X,Y) :-parent(X,Z) & parent(Y,Z) & X ≠Y
Trong này ngầm hiểu Z là parent của X và Y.
parent (X, Xp) có nghĩa là Xp là parent của X
Vậy mình phải viết như vậy mới đúng chứ.
cousin(X,Y) :- parent(X,Xp) & parent(Y,Yp) & sibling(Xp,Yp).
Em thấy bài giảng của thầy không sai.

9

theo mình thì hiểu ngươc lại là Thầy đúng
nghĩa là hiểu giống như ban Mai và Vân
còn hiểu thuận parent(X,Y) nghĩa là: X là bố mẹ của Y thì slide 17 và 40 bị nhầm
Thầy đã nói bạn Thủy đúng thì minh phải chỉnh lại các slide đó và quan trong là ta phải thống nhất là hiểu theo chiều thuân

10

<!–QuoteBegin–></div><table border=‘0’ align=‘center’ width=‘95%’ cellpadding=‘3’ cellspacing=‘1’><tr><td><b>QUOTE</b> </td></tr><tr><td id=‘QUOTE’><!–QuoteEBegin–>Trong bài giảng của thầy có luật:? cousin(X,Y) :- parent(X,Xp) & parent(Y,Yp) & sibling(Xp,Yp)? hình như lộn rồi phải không các bạn?? mình nghĩ phải là như vậy các bạn xem có đúng không? cousin(X,Y) :- parent(Xp,X) & parent(Yp,Y) & sibling(Xp,Yp) <!–QuoteEnd–></td></tr></table><div class=‘postcolor’><!–QuoteEEnd–>

Theo mình, sửa lại như vậy là đúng rồi.

11

<!–QuoteBegin-CH0901018+22 Jun 2010, 07:00 PM–></div><table border=‘0’ align=‘center’ width=‘95%’ cellpadding=‘3’ cellspacing=‘1’><tr><td><b>QUOTE</b> (CH0901018 @ 22 Jun 2010, 07:00 PM)</td></tr><tr><td id=‘QUOTE’><!–QuoteEBegin–> Trong bài giảng của thầy có luật:

cousin(X,Y) :- parent(X,Xp) & parent(Y,Yp) &
sibling(Xp,Yp)

hình như lộn rồi phải không các bạn?

mình nghĩ phải là như vậy các bạn xem có đúng không?
cousin(X,Y) :- parent(Xp,X) & parent(Yp,Y) &
sibling(Xp,Yp) <!–QuoteEnd–></td></tr></table><div class=‘postcolor’><!–QuoteEEnd–>
Bạn phát hiện đúng rồi, hoặc là sửa như sau:
cousin(Xp,Yp) :- parent(X,Xp) & parent(Y,Yp) &
sibling(X,Y)

12

Hi all
Mình cũng vừa đưa ra 1 ví dụ đơn giản về luật đệ quy, các anh chị xem và góp ý nha.

13

Đồng ý với ý kiến của chị Tâm.

14

Cảm ơn chị Vân nha, đúng là phải sửa luật đó lại thì mới có điểm dừng.

15

<!–QuoteBegin-CH0901053+22 Jun 2010, 05:30 PM–></div><table border=‘0’ align=‘center’ width=‘95%’ cellpadding=‘3’ cellspacing=‘1’><tr><td><b>QUOTE</b> (CH0901053 @ 22 Jun 2010, 05:30 PM)</td></tr><tr><td id=‘QUOTE’><!–QuoteEBegin–> Hi all
Mình cũng vừa đưa ra 1 ví dụ đơn giản về luật đệ quy, các anh chị xem và góp ý nha. <!–QuoteEnd–> </td></tr></table><div class=‘postcolor’> <!–QuoteEEnd–>
Chi Thủy.
Em có một số ý kiến sau về ví dụ của chị:

  • Định nghĩa Vi từ NhanViên(X,Y) cũng là đệ quy thì luật này không có điểm dừng.
    theo em chỉ cần diễn giải vị từ NhanVien(X,Y) : Y là nhân viên của X là xong, xem nó là vị từ EDB.
16

<!–QuoteBegin-CH0901030+26 Jun 2010, 09:43 PM–></div><table border=‘0’ align=‘center’ width=‘95%’ cellpadding=‘3’ cellspacing=‘1’><tr><td><b>QUOTE</b> (CH0901030 @ 26 Jun 2010, 09:43 PM)</td></tr><tr><td id=‘QUOTE’><!–QuoteEBegin–> Thưa thầy trước đó ta đã có:
sibling(X,Y) :-parent(X,Z) & parent(Y,Z) & X ≠Y
Trong này ngầm hiểu Z là parent của X và Y.
parent (X, Xp) có nghĩa là Xp là parent của X
Vậy mình phải viết như vậy mới đúng chứ.
cousin(X,Y) :- parent(X,Xp) & parent(Y,Yp) & sibling(Xp,Yp).
Em thấy bài giảng của thầy không sai. <!–QuoteEnd–> </td></tr></table><div class=‘postcolor’> <!–QuoteEEnd–>
Em thay Chi Mai dung hon.
Chac Thay lon roi