Bài giảng Suy diễn với logic bậc nhất - Tô Hoài Việt nhằm trình bày những nội dung về cơ sở của hợp giải trên logic bậc nhất, hợp giải trên logic bậc nhất, các ví dụ, suy diễn tiến và suy diễn lùi, thuật giải suy diễn tiến, thuật giải suy diễn lùi. | SUY DIỄN VỚI LOGIC BẬC NHẤT Tô Hoài Việt Khoa Công nghệ Thông tin Đại học Khoa học Tự nhiên TPHCM thviet@ Tổng quát Cơ sở của hợp giải trên logic bậc nhất Hợp giải trên logic bậc nhất Các ví dụ Suy diễn tiến và suy diễn lùi Thuật giải suy diễn tiến Thuật giải suy diễn lùi Cơ sở của hợp giải FOL Hợp giải (Robinson): để chứng minh một tập KB có suy dẫn logic được một câu hay không, viết lại KB dưới dạng mệnh đề (clausal form) và cố gắng suy dẫn ra mệnh đề sai (hợp giải hai mệnh đề đối ngẫu) Phép đồng nhất: Unify(P(x),P(A)) = {x/A} Ví dụ Chứng minh rằng (P(x) Q(x)) và P(A) suy dẫn logic (z) 1. P(x) Q(x) Tiền đề 2. P(A) Tiền đề 3. Q(z) Kết luận 4. P(z) 1, 3 = {x/z} 5. False 2, 4 = {x/z, z/A} Ví dụ (tt) Cho trước (P(x) Q(x)) và P(A) và P(B), tìm z sao cho Q(z) là đúng 1. P(x) Q(x) Tiền đề 2. P(A) Tiền đề 3. P(B) Tiền đề 4. Q(z) Kết luận 5. P(z) 1, 4 = {x/z} 6. False 2, 5 = {x/z, z/A} 7. False 3, 5 = {x/z, z/B} Ví dụ Quan hệ họ hàng Art là cha của Bob và Bud. Bob là cha của Cal và Coe. Ông nội là cha của cha. F(Art, Bob) F(Art, Bud) F(Bob, Cal) F(Bob, Coe) F(x, y) F(y,z) G(x,z) Art có phải là Ông của Coe? 1. F(Art, Bob) Tiền đề 2. F(Art, Bud) Tiền đề 3. F(Bob, Cal) Tiền đề 4. F(Bob, Coe) Tiền đề 5. F(x, y) F(y,z) G(x,z) Tiền đề 6. G(Art, Coe) Kết luận 7. F(Art, y) F(y,Coe) 5, 6 ={x/Art, z/Coe} 8. F(Art, Bob) 4, 7 ={x/Art, z/Coe, y/Bob} 9. False 1, 8 ={x/Art, z/Coe, y/Bob} Ai là Ông của Coe? 1. F(Art, Bob) Tiền đề 2. F(Art, Bud) Tiền đề 3. F(Bob, Cal) Tiền đề 4. F(Bob, Coe) Tiền đề 5. F(x, y) F(y,z) G(x,z) Tiền đề 6. G(x2, Coe) Kết luận 7. F(x2, y) F(y,Coe) 5, 6 = {z/ Coe, x/x2} 8. F(Bob, Coe) 1, 7 = {z/ Coe, x/x2, x2/ Art, y/ Bob} 9. False 4, 8 = {z/ Coe, x/x2, x2/ Art, y/ Bob} Ai là Cháu của Art? 1. F(Art, Bob) Tiền đề 2. F(Art, Bud) Tiền đề 3. F(Bob, Cal) Tiền đề 4. F(Bob, Coe) Tiền đề 5. F(x, y) F(y,z) G(x,z) Tiền đề 6. G(Art, z2) Kết | SUY DIỄN VỚI LOGIC BẬC NHẤT Tô Hoài Việt Khoa Công nghệ Thông tin Đại học Khoa học Tự nhiên TPHCM thviet@ Tổng quát Cơ sở của hợp giải trên logic bậc nhất Hợp giải trên logic bậc nhất Các ví dụ Suy diễn tiến và suy diễn lùi Thuật giải suy diễn tiến Thuật giải suy diễn lùi Cơ sở của hợp giải FOL Hợp giải (Robinson): để chứng minh một tập KB có suy dẫn logic được một câu hay không, viết lại KB dưới dạng mệnh đề (clausal form) và cố gắng suy dẫn ra mệnh đề sai (hợp giải hai mệnh đề đối ngẫu) Phép đồng nhất: Unify(P(x),P(A)) = {x/A} Ví dụ Chứng minh rằng (P(x) Q(x)) và P(A) suy dẫn logic (z) 1. P(x) Q(x) Tiền đề 2. P(A) Tiền đề 3. Q(z) Kết luận 4. P(z) 1, 3 = {x/z} 5. False 2, 4 = {x/z, z/A} Ví dụ (tt) Cho trước (P(x) Q(x)) và P(A) và P(B), tìm z sao cho Q(z) là đúng 1. P(x) Q(x) Tiền đề 2. P(A) Tiền đề 3. P(B) Tiền đề 4. Q(z) Kết luận 5. P(z) 1, 4 = {x/z} 6. False 2, 5 = {x/z, z/A} 7. False 3, 5 = {x/z, z/B} Ví .
