Suy diễn với Logic vị từ

Phạm Việt Hưng - TTNT NHậP MƠN TRÍ TUệ NHÂN TạO 04/02/23 Chương 3: Suy diễn với logic vị từ Suy diễn với Logic vị từ Suy diễn logic bậc Phạm Việt Hưng - TTNT 04/02/23 Quy tắc suy diễn   Suy diễn với logic vị từ khó logic mệnh đề biến nhận vô số giá trị => dùng bảng chân lý Các quy tắc suy diễn cho lô gic mệnh đề với lô gic vị từ   Modus ponens, modus tollens, phủ định phủ định, nhập đề và/hoặc, loại trừ và/hoặc, phép giải Ngoài ra:  Có thêm số quy tắc suy diễn dùng cho lượng tử Phạm Việt Hưng - TTNT 04/02/23 Phép (substitution)   Để trình bày quy tắc suy diễn cho lượng tử, cần làm quen khái niệm phép Phép thế:    Ký hiệu SUBST( θ, a ) Ý nghĩa: giá trị θ vào câu a Ví dụ: SUBST ({x/Nam, y/An}, Thích(x,y)) = Thích(Nam, An) Phạm Việt Hưng - TTNT 04/02/23 Các quy tắc suy diễn Phạm Việt Hưng - TTNT 04/02/23 (tiếp theo) Phạm Việt Hưng - TTNT 04/02/23 Ví dụ Phạm Việt Hưng - TTNT 04/02/23 Phạm Việt Hưng - TTNT 04/02/23 (tiếp theo)  1.6 Phép hợp (Unification)        Hợp thủ tục xác định phép cần thiết để làm cho câu sở giống UNIFY (p,q) = (θ) SUBST(θ,p) = SUBST (θ,q) θ gọi hợp tử (phần tử hợp nhất) Trong trường hợp có nhiều hợp tử ta sử dụng hợp tử tổng quát tức hợp tử sử dụng phép cho biến MGU: most general unifier Phép hợp thực tự động thuật tốn có độ phức tạp tỉ lệ tuyến tính với số lượng biến Phạm Việt Hưng - TTNT 04/02/23 Ví dụ hợp Phạm Việt Hưng - TTNT 04/02/23 Suy diễn tiến  Khi câu p thêm vào KB:  với quy tắc q mà p hợp với phần vế trái:  Nếu phần lại vế trái có thêm vế phải vào KB suy diễn tiếp Phạm Việt Hưng - TTNT 04/02/23 Ví dụ suy diễn tiến  KB gồm     Mèo thích cá Mèo ăn thích Có mèo tên Tom Tom có ăn cá không? Phạm Việt Hưng - TTNT 04/02/23     mèo(x) => thích(x, cá) mèo(x)  thích (x,y) => ăn(x,y) mèo (Tom) Q: ăn (Tom, cá) ? Phạm Việt Hưng - TTNT 04/02/23       mèo(x) => thích(x, ca) mèo(x)  thích (x,y) => ăn(x,y) mèo (Tom) Q: ăn (Tom, cá) ? GMP (1) (3) => thích (Tom, cá) GMP (4) (3) (2) => ăn(Tom, cá) Phạm Việt Hưng - TTNT 04/02/23 Suy diễn lùi   Với câu hỏi q, tồn q’ hợp với q trả hợp tử Với quy tắc có vế phải q’ hợp với q cố gắng chứng minh phần tử vế trái suy diễn lùi Phạm Việt Hưng - TTNT 04/02/23 Suy diễn sử dụng phép giải Phạm Việt Hưng - TTNT 04/02/23 Phép giải cho logic vị từ Phạm Việt Hưng - TTNT 04/02/23