Bài giảng trí tuệ nhân tạo logic vị từ

Logic vị từ Logic vị từ • Cú pháp ngữ nghĩa FOL • Các ví dụ câu • Tạo KB việc sử dụng FOL Cú pháp: Các yếu tố • • • • • • Các Các vị từ Các hàm Các biến Các liên kết Các lượng tử Trung, 2, DHTL,… Anh, >,… Sqrt, Anhcua,… x, y, a, b,… ٨, ٧,  ,  ,  ,  Cú pháp: Câu đơn • Câu đơn = vị từ(hạng thức1, …, hạng thứcn) hạng thức1= hạng thức2 • Hạng thức = hàm(hạng thức1, …, hạng thứcn) hoặc biến • Thí dụ, Anh(An, Mai) > (Tuoi(Anhcua(Mai)), Tuoi(Anhcua(Hoa))) Anhcua(Hoa) = Trung Cú pháp: Câu phức • Các câu phức tạo từ câu đơn việc sử dụng liên kết • Thí dụ: Anhem(Trung, Toan)  Anhem(Toan, Trung) >(1, 2) ٧ (1, 2) >(1, 2) ٨ ⌐>(1, 2) • Ghi nhớ: Khả diễn đạt logic vị từ tốt so với logic mệnh đề Tính đắn logic vị từ • Các câu mơ hình thơng dịch • Mơ hình bao chứa đối tượng quan hệ chúng • Sự thông dịch cách biểu diễn cho ký hiệu  đối tượng ký hiệu vị từ  mối quan hệ ký hiệu hàm  mối quan hệ hàm • Một câu đơn vị từ(hạng thức1, …, hạng thứcn) đối tượng biểu diễn hạng thức1, …, hạng thứcn mối quan hệ chúng biểu diễn vị từ Mơ hình FOL: Ví dụ Ngữ nghĩa: Ví dụ Ký hiệu hằng: Sự thông dịch phải đối tượng giới thực biểu diễn ký hiệu Ký hiệu vị từ: Sự thông dịch phải vị từ biểu diễn mối quan hệ đặc thù mơ hình, ví dụ, vị từ Anhem(x, y) biễu diễn mối quan hệ anh em ký hiệu vị từ nhị phân Ký hiệu hàm: Một số mối quan hệ đối tượng hàm; tức đối tượng cho trước liên quan tới đối tượng khác mối quan hệ, thí dụ, hàm Anhcua(x) biểu diễn đối tượng nằm mối quan hệ anh x Ngữ nghĩa: Lượng tử (biến) (câu) Tất sinh viên CNTT cần học môn học TTNT:  x Sinhvien(x, CNTT)  Canhoc(x, TTNT) tương đương với phép hội minh họa cụ thể P dịch P(x) với đối tượng x Thí dụ:  x Sinhvien(x, CNTT)  Thongminh(x) tương đương với lý giải sau Sinhvien(An, CNTT)  Thongminh(An)  Sinhvien(Lan, CNTT)  Thongminh(Lan)  Sinhvien(Trung, CNTT)  Thongminh(Trung)  Ngữ nghĩa: Lượng tử Một đặc trưng :  liên kết với  Lỗi thường gặp: sử dụng ٨ làm liên kết với  : x Sinhvien(x, CNTT) ٨ Thongminh(x) Có nghĩa “Tất người sinh viên CNTT tất người thông minh" 10 Ngữ nghĩa: Lượng tử tồn  (biến) (câu) Một số người học DHTL thông minh:  x Hoc(x, DHTL) ٨ Thongminh(x)  x P(x) tương đương với phép tuyển minh họa cụ thể P dịch P(x) với số đối tượng x Thí dụ:  x Hoc(x, DHTL) ٨ Thongminh(x) tương đương với lý giải sau Hoc(An, DHTL)  Thongminh(An)  Hoc(Lan, DHTL)  Thongminh(Lan)  Hoc(Trung, DHTL)  Thongminh(Trung)  11 Ngữ nghĩa: Lượng tử tồn Một đặc trưng là: ٨ liên kết với  Lỗi thường gặp: sử dụng  làm liên kết với  :  x Hoc(x, DHTL)  Thongminh(x) có khơng học DHTL! 12 Tính chất lượng tử • x y tương đương với y x (tại sao?) • x y tương đương với y x (tại sao?) • x y khơng tương đương với y x xy Yeu ( x, y) “Có người yêu tất người giới” y x Yeu ( x, y) “Mọi người giới u người” • Tính đối ngẫu lượng tử: lượng tử biểu diễn thơng qua lượng tử cịn lại (x Thich( x, Kem))  x (Thich( x, Kem)) (x Thich( x, Bongda ))  x (Thich( x, Bongda )) 13 Đẳng thức • hạng thức1 = hạng thức2 hạng thức1 hạng thức2 tham chiếu đến đối tượng • Ví dụ, định nghĩa Anhem vị từ Chame: ∀x,y Anhem(x,y) ⇔ [¬(x = y) ∧ ∃m,f ¬(m = f) ∧ Chame(m,x) ∧ Chame(f,x) ∧ Chame(m,y) ∧ Chame(f,y)] 14 Các ví dụ câu - Tất người yêu Mai - Tất người yêu - Có số người tất người yêu - Khơng u tất người - Có số người Lan khơng u - Có số người không yêu - Mọi người yêu thân - Anh em họ người có cha mẹ với cha mẹ 15 Tạo KB việc sử dụng FOL Xác định công việc (KB sử dụng cho việc gì) Thu thập tri thức thích hợp Tiếp nhận tri thức Xác định từ vựng bao gồm vị từ, hàm, Dịch tri thức mức miền thành tên mức logic Mã hóa tri thức chung miền Mã hóa mơ tả vấn đề đặc thù Đặt truy vấn cho thủ tục suy diễn nhận câu trả lời Gỡ lỗi sở tri thức 16 Ví dụ Miền gia đình  Các vị từ bản: Phainu, Chame… Các vị từ khác miền này:  Mẹ người cha mẹ thuộc phái nữ người ∀m,c (Me(c) = m) ⇔ (Phainu(m) ∧ Chame(m,c))  Nghĩa câu gì? ∀x,y Anhem(x,y) ⇔ [¬(x = y) ∧ ∃p Chame(p,x) ∧ Chame(p,y)]  Đây tiên đề miền (chúng định nghĩa chúng dụng phép nếu)  Một số câu “định lý” – chúng rút từ tiên đề: □ “Anhem” đối xứng ∀x,y Anhem(x,y) ⇔ Anhem(y,x) 17 Tổng kết • Logic vị từ: – ngôn ngữ diễn đạt đa dựa giả định tồn đối tượng mối quan hệ giới thực – có khả diễn đạt tốt so với logic mệnh đề • Tồn thủ tục suy diễn đầy đủ cho FOL 18 ... thực biểu diễn ký hiệu Ký hiệu vị từ: Sự thông dịch phải vị từ biểu diễn mối quan hệ đặc thù mơ hình, ví dụ, vị từ Anhem(x, y) biễu diễn mối quan hệ anh em ký hiệu vị từ nhị phân Ký hiệu hàm: Một... Các câu phức tạo từ câu đơn việc sử dụng liên kết • Thí dụ: Anhem(Trung, Toan)  Anhem(Toan, Trung) >(1, 2) ٧ (1, 2) >(1, 2) ٨ ⌐>(1, 2) • Ghi nhớ: Khả diễn đạt logic vị từ tốt so với logic mệnh.. .Logic vị từ • Cú pháp ngữ nghĩa FOL • Các ví dụ câu • Tạo KB việc sử dụng FOL Cú pháp: Các yếu tố • • • • • • Các Các vị từ Các hàm Các biến Các liên kết Các