Chuong 1 Tiep nhan va bieu dien tri thuc

Bài giảng: Công nghệ tri thức ứng dụng Phần I: Quản lý tri thức Tham khảo thêm: [1] GS.TSKH Hoàng Kiếm, TS Đỗ Văn Nhơn, Th.sĩ Đỗ Phúc Giáo trình Các hệ sở tri thức Đại Học Quốc Gia TPHCM – 2002 [2] GS.TSKH Hoàng Kiếm, Th.sĩ Đinh Nguyễn Anh Dũng Giáo trình Trí tuệ nhân tạo Đại Học Quốc Gia TPHCM – 2002 [3] John F.Sowa Knowledge representation: Logical, Philosophical, and Computational Foundations Copyright @ 2000 by Brooks/Cole A division of Thomson Learning Phần I: Quản lý tri thức Chương 1: Tiếp nhận biểu diễn tri thức I Tri thức & Các loại tri thức Tri thức (knowledge) ? Knowledge: the psychological result of perception and learning and reasoning (English – English Dictionary) Tri thức kết trình nhận thức, học tập lập luận Phân loại tri thức Tri thức thủ tục: mô tả cách thức giải vấn đề Loại tri thức đưa giải pháp để thực cơng việc Tri thức khai báo: cho biết vấn đề thấy Loại tri thức bao gồm phát biểu đơn giản, dạng khẳng định logic sai I Tri thức & Các loại tri thức (tt) Siêu tri thức: mô tả tri thức tri thức Loại tri thức giúp lựa chọn tri thức thích hợp số tri thức giải vấn đề Tri thức heuristic: mô tả "mẹo" để dẫn dắt tiến trình lập luận Tri thức heuristic gọi tri thức nơng cạn khơng bảm đảm hồn tồn xác kết giải vấn đề Tri thức có cấu trúc: mơ tả tri thức theo cấu trúc Loại tri thức mô tả mơ hình tổng quan hệ thống theo quan điểm chuyên gia, bao gồm khái niệm, khái niệm con, đối tượng; diễn tả chức mối liên hệ tri thức dựa theo cấu trúc xác định II Phương pháp tiếp nhận tri thức Có thể chia thành cách để tiếp nhận tri thức sau:  Thụ động - Gián tiếp: tri thức kinh điển - Trực tiếp: tri thức kinh nghiệm (không kinh điển) “chuyên gia lĩnh vực” đưa  Chủ động - Đối với tri thức tiềm ẩn, không rõ ràng hệ thống phải tự phân tích, suy diễn, khám phá để có thêm tri thức III Phương pháp biểu diễn tri thức Logic mệnh đề & logic vị từ: Dạng biểu diễn tri thức cổ điển máy tính logic, với dạng phổ biến logic mệnh đề logic vị từ Cả dạng dùng kí hiệu để biễu diễn tri thức toán tử áp lên ký hiệu để suy luận logic Logic cung ấp cho nhà nghiên cứu công cụ hình thức để biểu diễn suy luận tri thức Các phép toán logic ký hiệu sử dụng Phép tốn AND OR NOT Kéo theo Tương đương Kí hiệu ∧, & , ∩ ∨, ∪ , + ¬,∼ ⊃ ,→ ≡ III Phương pháp biểu diễn tri thức (tt) 1.1 Logic mệnh đề Ví dụ 1: IF Xe không khởi động → A AND Khoảng cách từ nhà đến chỗ làm xa → B THEN Sẽ trễ làm → C Các phép quen đềC.trong Luật trêntốn biểu thuộc diễn lạitrên sau:mệnh AΛB→ bảng sau: A B ¬A A∧ B A∨ B A→ B A≡ B T T F T T T T F T T F T T F T F F F T F F F F T F F T T III Phương pháp biểu diễn tri thức (tt) 1.2 Logic vị từ Mệnh đề: khơng có cấu trúc → hạn chế nhiều thao tác suy luận → đưa vào khái niệm vị từ lượng từ (∀ - với , ∃ - tồn tại) để tăng cường tính cấu trúc mệnh đề Trong logic vị từ, mệnh đề cấu tạo thành phần đối tượng tri thức mối liên hệ chúng (gọi vị từ) Biểu diễn: Vịtừ(,, …,) Ví dụ 1: Cam có vị ⇒ Vị (cam, ngọt) Cam có màu xanh … ⇒ Màu(cam, xanh) III Phương pháp biểu diễn tri thức (tt) Ví dụ 2: Tri thức “A bố B B anh em người A” biểu diễn dạng vò từ sau :  Bố (A, B) = Tồn Z cho : Bố (A, Z) (Anh(Z, B) Anh(B,Z)) Trong trường hợp này, mệnh đề Bố(A,B) mệnh đề tổng quát  Như ta có mệnh đề sở : a) Bố (“An”, “Bình”) có giá trò (An bố Bình) b) Anh(“Tú”, “Bình”) có giá trò (Tú anh Bình) mệnh đề c) Bố (“An”, “Tú”) có giá trò III Phương pháp biểu diễn tri thức (tt) Ví dụ 3: Câu cách ngôn “Không có vật lớn vật bé nhất!” biểu diễn dạng vò từ sau :   LớnHơn(x,y) = x>y NhỏHơn(x,y) = x