Logic tri tue nhan tao

Trong tương đương sau A, B, C mệnh đề  Dạng phủ định kép  Dạng hội  A = A  Dạng tuyển A  TRUE = A  FALSE = A  A= A A  A = A  TRUE = TRUE A  FALSE = A A  A= A A  A = A FALSE FALSE TRUE  Dạng suy A  TRUE =  Dạng khác TRUE A B = A  FALSE = A TRUE  A =  (A  B) A A B  Phép   Phép   Phép  FALSE  A = TRUE A A = TRUE  Dạng hấp thu A  (A  B) = A A  (A  B) = A A  B = = A  B FALSE  có khả kết hợp  có khả hốn vị có khả phân phối  A  (BC) =(AB)(AC)  Phép  có khả phân phối  A  (A  B)=AB A  (BC) =(AB)(AC) A  (A  B)=AB  Dạng De Morgan  (A  B) = A  B  (A  B) = A  B Luật suy diễn & chứng minh  Luật Modus Ponens (MP)  Luật Cộng A, A B  B  Luật Modus Tollens (MT) A  AvB  Luật tam đoạn luận tuyển A B, B  Luật Hội Av B, A  B  Luật tam đoạn luận giả thiết  A,B  A^B  Luật đơn giản A^B  A  B A A A B,B C A C  Luật suy diễn & chứng minh – Ví dụ Ta có biểu thức sau: AvB, AvC,và A TRUE Chứng minh B^C có trị TRUE AvB P (tiên đề) AvC P (tiên đề) A P (tiên đề) B 1,3, Luật tam đoạn luận tuyển C 2,3, Luật tam đoạn luận tuyển B^C 4,5, Luật hội  Đã chứng minh xong  Luật suy diễn & chứng minh – Ví dụ Ta có biểu thức sau đúng: AvB, A C, B D, D Chứng minh C Ta giả thiết C dẩn đến true(false) AvB P (tiên đề) AC P (tiên đề) B D P (tiên đề) D P (tiên đề) C P (giả thiết phản chứng) B 3,4,Modus Tollens A 1,6, Tam đoạn luận tuyển A 2,5,Modus Tollens 10 A ^A False 7,8, Luật hội Mâu thuẩn với luật hội  Clause: tuyển không hay nhiều thành phần  Dạng clause:là hội hay nhiều Clause  Luật phân giải mệnh đề: PvD1, PvD2 (D1-P)v(D2-P) – D1,D2 tuyển không hay thành phần – P mệnh đề – D1-P : clause thu cách xóa bỏ P D1 – D2- P : clause thu cách xóa bỏ P D2 Luật phân giải bảo tồn tính Unsatisfiable  S unsatisfiable  Rn(S) unsatisfiable  R: luật phân giải, n số lần áp dụng R S, n>0 Ứng dụng luật phân giải : dùng để chứng minh: Có S tập clause, dùng S chứng minh biểu thức mệnh đề W Phương pháp: Thành lập phủ định W i Đưa W dạng clause ii Thêm clause bước ii vào S thành lập S1 iii Dùng luật phân giải S1 để dẫn clause rỗng Ví dụ  Cho đoạn sau: “ Nam đẹp trai, giàu có Do vậy, Nam phung phí nhân từ giúp người Thực tế, Nam khơng phung phí khơng kêu căng.” “Do vậy, nói Nam người nhân từ”  Kiểm chứng kết suy luận trên, luật phân giải Giải:  (i) Chuyển sang mệnh đề: – P1 = “Nam đẹp trai.” – P2 = “Nam giàu có.” – P3 = “Nam phung phí.” – P4 = “Nam kêu căng.” – P5 = “Nam nhân từ.” – P6 = “Nam giúp người.” Các biểu thức thành lập từ đoạn trên: – W1 = P1 ^ P2 – W2 = (P1 ^ P2) => (P3 ^ (P5 ^ P6)) v (P3 ^ (P5 ^ P6)) – W3 = P3 ^ P4  W4 = P5(Biểu thức cần chứng minh.) ……………………………………………………………………………………………………………  (ii) Đưa dạng clause:  W1, sinh hai clause: C1 = P1  C2 = P2  W2 = (P1 ^ P2) v ((P3 ^ (P5 ^ P6)) v (P3 ^ (P5 ^ P6)) )= (P1 v P2 v P3 v P3 v P6) ^ (P1 v P2 v P5 v P3 v P6)^(P1 v P2 v P3 v P3 v P5) ^ (P1 v P2 v P5 v P3 v P5) ^ (P1 v P2 v P3 v P5 v P6)^ (P1 v P2 v P5 v P5 v P6) ^(P1 v P2 v P3 v P3 v P6) ^ (P1 v P2 v P5 v P3 v P6) Sinh clause: C3 = (P1 v P2 v P6) C4 = (P1 v P2 v P5 v P3 v P6) C5 = (P1 v P2 v P3 v P5) C6 = (P1 v P2 v P3 v P5) C7 = (P1 v P2 v P3 v P5 v P6) C8 = (P1 v P2 v P5 v P6) C9 = (P1 v P2 v P3 v P6)  W3 sinh clause: C10 =(P1 v P2 v P5 v P3 v P6) C11 = P3 C12 = P4 C13 = P5 (gồm bước lấy phủ định kết luận)  iii) áp dụng luật phân giải clause: TT Clauses P1 P2 P1 v P2 v P6 P 13 P1 v P2 v P5 v P3 v P6 P1 v P2 v P3 v P5 P P 14 15 P1 v P2 v P3 v P5 P 16 P1 v P2 v P5 v P3 10,15,R P1 v P2 v P3 v P5 v P6 P 17 P2 v P5 v P3 P1 v P2 v P5 v P6 P1 v P2 v P3 v P6 P 19 P3 13, 18, R 10 P1 v P2 v P5 v P3 v P6 P 20 11, 19, R 11 P3 Luật áp dụng P P TT  Logic Vị từ: Tại sao? Luật áp dụng 12 P4 P P5 P P2 v P6 1,3, R P6 2, 14, R P 18 P Clauses P5 v P3 1,16,R 2,17, R ĐÃ CHỨNG MINH  Phép toán mệnh đề  suy diễn tự động chưa đủ cần phải truy cập vào thành phần nhỏ câu, dùng biến số câu Ví dụ: “Mọi sinh viên trường ĐHBK có tú tài Lan khơng có tú tài Do vậy, Lan không sinh viên trường ĐHBK.” “Lan” đối tượng cụ thể “SV trường ĐHBK” – đặc tả “quan hệ” mệnh đề mà là: “LAN sinh viên trường ĐHBK Lan có tú tài Lan khơng có tú tài Do vậy, Lan khơng sinh viên trường ĐHBK”  Mệnh đề phải giải cách liệt kê tất trường hợp  Khơng khả thi  Do đó, cần Logic khác phép tốn mệnh đề:PHÉP TỐN VỊ TỪ  Ví dụ: + Phát biểu: “Nam sinh viên trường ĐHBK” + Biểu diễn: sv_bk(“Nam”) Ý nghĩa: đối tượng tên “Nam” có thuộc tính “sinh viên trường ĐHBK”  Chúng ta có cách biểu diễn cú pháp cho phát biểu nói trên?  Không biết chắn nhiều  Ví dụ thay đổi tên vị từ thành tên khác : sinhvien_bk, sinhvien_bachkhoa, … Tất chúng cú pháp Một số quy ước/ ý biểu diễn:  Khơng mơ tả vị từ thừa, suy từ tập vị từ khác Hình thức thừa tương tự dư (thừa) liệu thiết kế CSDL  Tên vị từ phải có tính gợi nhớ Cụ thể, ví dụ biểu diễn q(“Nam”), rõ ràng cách khơng thân thiện dễ nhớ Bạn có biết q(“Nam”) có nghĩa ??? Dạng vị từ: tên_vị_từ(term1, term2, …, termn)  Tên vị từ: [a z](a z| A Z| 9|_)* Bắt đầu ký tự chữ thường Ví dụ: ban_than, banThan,bAN_THAN,…  Term là: Hằng,Biến, Biểu thức hàm  Hằng: chuỗi hay số Hằng chuỗi: [“](a z| A Z| 9|_)*[“] hay [a z](a z| A Z| 9|_)* Ví dụ: “Nam”, “nam”, “chuoi”, nam, chuoi, qua,… Hằng số: (0 9)* Ví dụ: 10, 32,  Biến: [A Z](a z| A Z| 9|_)* Ví dụ: Nguoi, NGUOI,  Biểu thức hàm có dạng: tên_hàm(term1, term2, …, termk)  Trong Tên hàm = [a z ](a z| A Z| 9|_)*  Biểu thức vị từ:là kết hợp vị từ phép toán vị từ  Các phép toán:  Phủ định - XVới - XTồn ^ Hội v Tuyển - - hai - hai Ưu tiên =>Suy - hai = Tương đương - hai Các biểu thức vị từ  Biểu thức vị từ ký hiệu w  Biểu thức bản: Có thể vị từ , đại diện trị TRUE (trị T - đúng), đại diện trị FALSE (trị F - sai)  Một biểu thức cú pháp định nghĩa sau: W= “Biểu thức bản” | w |w ^ w |w v w |w=>w |w = w |(w) |X w |X w Với X : Là biến  : Lượng từ với  : Lượng từ tồn Lượng từ Giả sử có: Nam học sinh Lan học sinh trung bình Mai học sinh Xét tập D = [Nam, Lan, Mai] Gọi p(X) cho biết: “X học sinh khá” ta có vị từ p(“Nam”) : trị T p(“Lan”) : trị F p(“Mai”) : trị T Lượng từ tồn tại: Xét mệnh đề p(“Nam”) v p(“Lan”) v p(“Mai”) biểu diễn vị từ D: p(X)“Tồn X thuộc tập D, mà X học sinh khá” Lượng từ với mọi: X  Xét mệnh đề p(“Nam”) ^ p(“Lan”) ^ p(“Mai”) biểu diễn vị từ X  D: p(X) “Mọi X thuộc tập D học sinh khá” Ví dụ Biểu diễn giới thực Chuyển câu sau sang biểu thức vị từ: “Mọi sinh viên trường ĐHBK có tú tài Lan khơng có tú tài Do vậy, Lan không sinh viên trường ĐHBK” Với sv_bk(X) cho biết: “X sinh viên trường DHBK” tu_tai(X) cho biết: “X có tú tài” Các câu chuyển qua vị từ là: X(sv_bk(X) => tu_tai(X)) tu_tai(“Lan”) Do vậy, sv_bk(“Lan”) “Chỉ vài sinh viên máy tính lập trình tốt.” với sv_mt(X) laptrinh_tot(X) : “X sinh viên máy tính” : “X lập trình tốt” Câu chuyển sang vị từ là: X(sv_mt(X) ^ laptrinh_tot(X)) “Không sinh viên máy tính khơng cần cù.” với: sv_mt(X) can_cu(X) : “X sinh viên máy tính : “X cần cù” Câu chuyển sang là: X (sv_mt(X) => can_cu(X)) “Khơng phải tất sinh viên máy tính thông minh” với thong_minh(X) : “X thông minh” Câu chuyển sang là: X(sv_mt(X) ^ thong_minh(X))  Ngữ nghĩa  Vấn đề: Nếu có biểu thức sau: XY p(X,Y) Chúng ta hiểu ????! -> Cần diễn dịch + Cách hiểu 1: X, Y : người p(X,Y) cho biết : “X cha Y” Do vậy: XY p(X,Y) hiểu là: “Mọi người X, tồn người Y để X cha Y” -> w = XY p(X,Y) có trị F (sai) + Cách hiểu 2: X, Y : người p(X,Y) cho biết : “Y cha X” Do vậy: XY p(X,Y) hiểu là: “Mọi người X, tồn người Y cha X” Model: I cho E có trị T -> I Model E Ngược lại: -> I CounterModel E Valid: E valid diễn dịch I Model Ngược lại : Invalid Unsatisfiable: E unsatisfiable : I đêu CounterModel Ngược lại :Satisfiable  Từ tương đương mệnh đề: Nếu thay mệnh đề biểu thức vị từ, mệnh đề tên thay biểu thức vị từ, tương đương vị từ Ví dụ: Mệnh đề: (P => Q) = (P v Q) Vị từ: P bởi: XYp(X,Y), Q bời: q(X) tương đương: (XYp(X,Y) => q(X)) = ((XYp(X,Y)) v q(X))  Lượng từ: (X W) = X(W) (X W) = X(W) Với W w  Tương đương có ràng buộc: Sau đây: Y: biến, W(X): w có chứa biến X, C w không chứa X Ràng buộc: Y không xuất W(X) Tương đương:  X W(X) = Y W(Y)  X W(X) =  Y W(Y) Tương đương: Dạng tuyển:  C v XA(X) = X(C v A(X))  C v XA(X) = X(C v A(X)) Dạng hội:  C ^ XA(X) = X(C ^ A(X))  C ^ XA(X) = X(C ^ A(X)) Dạng suy ra:  C => XA(X) = X(C => A(X))  C => XA(X) = X(C => A(X))  XA(X) => C = X(A(X) => C)  XA(X) => C = X(A(X) => C)  Dạng Chuẩn Prenex: Q1X1Q2X2…QnXnM Qi : ,  M : w khơng có lượng từ Ví dụ: - sv_bk(x) - X(sv_bk(X) ^ hoc_te(X)) - XYcha(X,Y)  Giải thuật đưa w chuẩn Prenex:  Đổi tên biến > w khơng cịn lượng từ tên biến, biến lượng từ không trùng tên biến tự  Đưa lượng từ sang trái dùng tương đương  Dạng chuẩn Tuyển Prenex: Q1X1Q2X2…QnXn(C1 v … v Ck) Ci : Thành phần hội  Dạng chuẩn Hội Prenex: Q1X1Q2X2…QnXn(D1 v … v Dk) Di : Thành phần tuyển  Giải thuật:  Đổi tên biến  Loại bỏ => : A => B = A v B  Chuyển  sang phải dùng De Morgan phủ định kép  Chuyển lượng từ sang trái dùng tương đương  Phân phối v ^ (CNF), hay ^ v (DNF) Biểu diễn tri thức sử dụng luật dẫn xuất (luật sinh)  Phương pháp biểu diễn tri thức luật sinh phát minh Newell Simon lúc hai ông cố gắng xây dựng hệ giải toán tổng quát  Đây kiểu biểu diễn tri thức có cấu trúc  Ý tưởng tri thức cấu trúc cặp điều kiện – hành động : "NẾU điều kiện xảy THÌ hành động thi hành"  Luật sinh có dạng sau: P1  P2   Pn  Q  Trong logic vị từ: P1, P2, , Pn, Q biểu thức logic  Trong ngôn ngữ lập trình, luật sinh câu lệnh  IF (P1 AND P2 AND AND Pn) THEN Q  Trong lý thuyết hiểu ngôn ngữ tự nhiên, luật sinh phép dịch: – ONE  – TWO  hai – JANUARY  tháng  Để biểu diễn tập luật sinh, người ta thường phải rõ hai thành phần sau: – (1) Tập kiện F(Facts) F = {f1, f2, Fn, q} – (2) Tập quy tắc R (Rules) áp dụng kiện dạng sau: f1 ^ f2 ^ ^ fi  q Trong đó, fi , q thuộc F  Ví dụ: Cho sở tri thức xác định sau  Các kiện : A, B, C, D, E, F, G, H, K  Tập quy tắc hay luật sinh (rule) – R1: A  E – R2: B  D – R3: H  A – R4: E  G  C – R5: E  K  B – R6: D  E  K  C – R7: G  K  F  A  Cơ chế suy luận luật sinh  Suy diễn tiến: trình suy luận xuất phát từ số kiện ban đầu, xác định kiện "sinh" từ kiện – Sự kiện ban đầu: H, K – R3: H  A {A, H K} – R1: A  E {A, E, H, K} – R5: E  K  B {A, B, E, H, K} – R2: B  D {A, B, D, E, H, K} – R6: D  E  K  C {A, B, C, D, E, H, K}  Suy diễn lùi: trình suy luận ngược xuất phát từ số kiện ban đầu, ta tìm kiếm kiện "sinh" kiện  Ví dụ: Tập kiện: – Ổ cứng "hỏng" hay "hoạt động bình thường" – Hỏng hình – Lỏng cáp hình – Tình trạng đèn ổ cứng "tắt" "sáng" – Có âm đọc ổ cứng – Tình trạng đèn hình "xanh" "chớp đỏ" – Khơng sử dụng máy tính – Điện vào máy tính "có" hay "khơng"  Tập luật: – R1 Nếu ((ổ cứng "hỏng") (cáp hình "lỏng")) khơng sử dụng máy tính – R2 Nếu (điện vào máy "có") ((âm đọc ổ cứng "khơng") tình trạng đèn ổ cứng "tắt")) (ổ cứng "hỏng") – R3 Nếu (điện vào máy "có") (tình trạng đèn hình "chớp đỏ") (cáp hình "lỏng")  Để xác định nguyên nhân gây kiện "không sử dụng máy tính", ta phải xây dựng cấu trúc đồ thị gọi đồ thị AND/OR sau: Cấu trúc đồ thị AND/OR  Vấn đề tối ưu luật  Rút gọn bên phải o Luật sau hiển nhiên đúng: A  B  A (1) o Do luật A  B  A  C o Là hoàn toàn tương đương với A  B  C Quy tắc rút gọn: Có thể loại bỏ kiện bên vế phải kiện xuất bên vế trái Nếu sau rút gọn mà vế phải trở thành rỗng luật luật hiển nhiên Ta loại bỏ luật hiển nhiên khỏi tri thức  Rút gọn bên trái Xét luật : (L1) A, B  C (L2) A  X (L3) X  C Rõ ràng luật A, B  C thay luật A  C mà không làm ảnh hưởng đến kết luận trường hợp Ta nói kiện B luật (1) dư thừa loại bỏ khỏi luật dẫn  Phân rã kết hợp luật – Luật A  B  C Tương đương với hai luật – AC – BC  Với quy tắc này, ta loại bỏ hồn tồn luật có phép nối HOẶC Các luật có phép nối thường làm cho thao tác xử lý trở nên phức tạp  Luật thừa  Một luật dẫn A  B gọi thừa suy luật từ luật cịn lại  Ví dụ: tập luật gồm {A  B, B  C, A  C} luật thứ luật thừa suy từ luật cịn lại Thuật tốn tối ưu tập luật dẫn  B1: Rút gọn vế phải – Với luật r R; Với kiện A  VếPhải(r) – Nếu A  VếTrái(r) Loại A khỏi vế phải R – Nếu VếPhải(r) rỗng loại bỏ r khỏi hệ luật dẫn: R = R – {r}  B2: Phân rã luật – Với luật r : X1  X2  …  Xn  Y R – Với i từ đến n, ta có: R := R + {Xi  Y} – R := R – {r} Thuật toán tối ưu tập luật dẫn  B3: Loại bỏ luật thừa – Với luật r thuộc R – Nếu VếPhải(r)  BaoĐóng(VếTrái(r), R-{r}) R := R – {r}  B4: Rút gọn vế trái – Với luật dẫn r: X : A1  A2, …, An  Y thuộc R – Với kiện Ai thuộc r – Gọi luật r1: X – Ai  Y – S = ( R – {r} )  {r1} – Nếu BaoĐóng(X – Ai, S)  BaoĐóng(X, R) loại kiện A khỏi X Biểu diễn tri thức nhờ mạng ngữ nghĩa  Ví dụ 1: Trong ứng dụng xử lý ngôn ngữ tự nhiên, mạng ngữ nghĩa giúp máy tính phân tích cấu trúc câu để từ phần "hiểu" ý nghĩa câu Chẳng hạn, câu "Châu đọc sách dày cười khối trá" biểu diễn mạng ngữ nghĩa sau: Mạng ngữ nghĩa xử lý ngôn ngữ tự nhiên  Ví dụ 2: Giải tốn tam giác tổng quát – "Cho cạnh tam giác, tính chiều dài đường cao", "Cho góc a, b cạnh AC Tính chiều dài trung tuyến", – Việc bạn cần làm lấy giấy bút tìm cách tính, sau xác định bước tính tốn, bạn chuyển thành chương trình – Nếu có 10 bài, bạn phải làm lại việc tính tốn lập trình 10 lần Nếu có 100 bài, bạn phải làm 100 lần – Bài toán giải mạng ngữ nghĩa  Có 22 yếu tố liên quan đến cạnh góc tam giác Để xác định tam giác hay để xây dựng tam giác ta cần có yếu tố phải có yếu tố cạnh Như có khoảng C322 -1 cách để xây dựng hay xác định tam giác Theo thống kê, có khoảng 200 cơng thức liên quan đến cạnh góc tam giác  Để giải tốn cơng cụ mạng ngữ nghĩa, ta phải sử dụng khoảng 200 đỉnh để chứa công thức khoảng 22 đỉnh để chứa yếu tố tam giác Mạng ngữ nghĩa cho tốn có cấu trúc sau:  Đỉnh đồ thị bao gồm hai loại: – Đỉnh chứa công thức (ký hiệu hình chữ nhật) – Đỉnh chứa yếu tố tam giác (ký hiệu hình trịn)  Cung: nối từ đỉnh hình trịn đến đỉnh hình chữ nhật cho biết yếu tố tam giác xuất công thức (khơng có trường hợp cung nối hai đỉnh hình trịn cung nối hai đỉnh hình chữ nhật)  Cơ chế suy diễn thực theo thuật tốn "loang" đơn giản sau:  Bước 1: Kích hoạt đỉnh hình trịn cho ban đầu (những yếu tố có giá trị)  Bước 2: Nếu đỉnh hình chữ nhật có cung nối với n đỉnh hình trịn mà n1 đỉnh hình trịn kích hoạt kích hoạt đỉnh hình trịn cịn lại (bằng cách tính giá trị đỉnh cịn lại thơng qua cơng thức đỉnh hình chữ nhật)  Bước 3: Lặp lại Bước tất đỉnh chưa kích hoạt ngược lại kết thúc (tất đỉnh kích hoạt khơng thể kích hoạt nữa)  Giả sử ta có mạng ngữ nghĩa để giải tốn tam giác hình sau Mạng ngữ nghĩa giải toán tam giác  "Cho hai góc A, B cạnh a tam giác Tính hC" – Bắt đầu: đỉnh A, B, a đồ thị kích hoạt – Cơng thức (1) kích hoạt (vì A, B, a kích hoạt) Từ (1) tính cạnh b Đỉnh b kích hoạt – Cơng thức (4) kích hoạt (vì A, B) Từ cơng thức (4) tính góc C – Cơng thức (2) kích hoạt (vì đỉnh B, C, b kích hoạt) Từ cơng thức (2) tính cạnh c Đỉnh c kích hoạt – Cơng thức (3) kích hoạt (vì đỉnh a, b, c kích hoạt) Từ cơng thức (3) tính diện tích S Đỉnh S kích hoạt – Cơng thức (5) kích hoạt (vì đỉnh S, c kích hoạt) Từ cơng thức (5) tính hC Đỉnh hC kích hoạt – Giá trị hC tính Thuật tốn kết thúc  Mạng ngữ nghĩa giải toán tam giác mảng hai chiều A: – Cột: ứng với cơng thức – Dịng: ứng với yếu tố tam giác – Phần tử A[i][ j] = -1 nghĩa công thức ứng với cột j có yếu tố tam giác ứng với dịng i Ngược lại A[i][j] = – Để thực thao tác "kích hoạt" đỉnh hình trịn, ta đặt giá trị tồn dịng ứng với yếu tố tam giác – Để kiểm tra xem công thức có đủ n-1 yếu tố ta lấy hiệu tổng số có giá trị tổng số có giá trị -1 cột ứng với công thức cần kiểm tra Nếu kết n, cơng thức có đủ n-1 yếu tố  Mảng biểu diễn mạng ngữ nghĩa ban đầu (1) (2) (3) (4) (5) A -1 0 -1 B -1 -1 -1 C -1 -1 a -1 -1 0 b -1 -1 -1 0 c -1 -1 -1 S 0 -1 -1 hC 0 0 -1 (1) (2) (3) (4) (5) A 0 B 1 C -1 -1 a 1 0 b -1 -1 -1 0 c -1 -1 -1 S 0 -1 -1 hC 0 0 -1 Trên cột (1), hiệu (1+1+1 – (-1)) = nên dịng b kích hoạt (1) (2) (3) (4) (5) A 0 B 1 C -1 -1 a 1 0 b 1 0 c -1 -1 -1 S 0 -1 -1 hC 0 0 -1 Trên cột (4), hiệu (1+1 – (-1)) = nên dịng C kích hoạt (1) (2) (3) (4) (5) A 0 B 1 C 1 a 1 0 b 1 0 c -1 -1 -1 S 0 -1 -1 hC 0 0 -1 Trên cột (2), hiệu (1+1+1 – (-1)) = nên dịng c kích hoạt (1) (2) (3) (4) (5) A 0 B 1 C 1 a 1 0 b 1 0 c 1 S 0 -1 -1 hC 0 0 -1 Trên cột (3), hiệu (1+1+1 – (-1)) = nên dịng S kích hoạt (1) (2) (3) (4) (5) A 0 B 1 C 1 a 1 0 b 1 0 c 1 S 0 1 hC 0 0 -1 Trên cột (5), hiệu (1+1 – (-1)) = nên dòng hC kích hoạt ... THÌ hành động thi hành"  Luật sinh có dạng sau: P1  P2   Pn  Q  Trong logic vị từ: P1, P2, , Pn, Q biểu thức logic  Trong ngơn ngữ lập trình, luật sinh câu lệnh  IF (P1 AND P2 AND AND... viên trường ĐHBK”  Mệnh đề phải giải cách liệt kê tất trường hợp  Không khả thi  Do đó, cần Logic khác phép tốn mệnh đề:PHÉP TỐN VỊ TỪ  Ví dụ: + Phát biểu: “Nam sinh viên trường ĐHBK” + Biểu... v P6 P 19 P3 13, 18, R 10 P1 v P2 v P5 v P3 v P6 P 20 11, 19, R 11 P3 Luật áp dụng P P TT  Logic Vị từ: Tại sao? Luật áp dụng 12 P4 P P5 P P2 v P6 1,3, R P6 2, 14, R P 18 P Clauses P5