Description

TẦNG TRI THỨC DỰA LUẬT VÀ LOGIC Hanoi University of Technology – Master 2006 2 Biểu diễn tri thức Luật Horn † BDTT là cơ sở của các hệ thống thông minh † Vai trò của ontology trong BDTT † Là tập con của First Order Logic „ Biểu thức Horn là phép hợp của các biểu thức đơn với 1 giá trị khẳng định „ Để khai báo các tri thức về thế giới „ Ontology đưa khai báo vào các loại (khái niệm, vai trò, …) † (∀) ¬B1 ∨ ¬B2 ∨ … ∨ ¬Bn ∨ H „ Tương đương với † (∀) B1 ∧ B2 ∧ … ∧ Bn → H † Luật và suy diễn „ Luật suy diễn cho phép suy ra các tri thức ẩn (procedural knowledge) từ các tri thức rõ (declarative knowledge) „ Luật cho phép diễn tả các ràng buộc giữa các đối tượng 3 4 fb.com/groups/ 1 Lập trình logic – logic programming (1) Các biểu thức đơn † Là mở rộng của logic Horn logic † Luật là kết hợp của các các biến với † Các hằng số với các giá trị xác định „ a, b, john,… † Các biến „ x, y,… † Các hàm trả về giá trị với các tham số nhất định „ f(x), fatherOf(john),… † Các hằng, biến, hàm (gọi là các thuật ngữ) † Các vị từ liên kết các thuật ngữ „ p(x, a), marriage(mary, john),… † Nếu p là vị từ, t là thuật ngữ, khi đó p(t1, t2,…) là biểu thức đơn † Nếu t1, t2 là thuật ngữ, khi đó t1 = t2 là biểu thức đơn „ f(x) = a, marc = fatherOf(john) „ Biến dương là biểu thức nguyên tử: p(x), q(x),... „ Biến âm là phủ định của biểu thức nguyên tử: not p(x), not q(x),... † not (negation-as-failure) ≠ ¬ „ Biến cơ sở là biến không có tham số † Luật Horn (H :- B1,...,Bn) or (H ← B1 ∧... ∧ Bn) „ H là biến dương „ B1,...,Bn là các biến 5 6 Lập trình logic (2) Các đặc tính của DLP † Một sự kiện là 1 biểu thức nguyên tử (luật không có thân) † Tập con RDFS của DL cho phép các phát biểu sau: „ „ „ „ „ „ „ person(john) † ĐÍch hoặc câu truy vấn là luật không có phần đầu, biểu diễn bởi (?- B1,...,Bn) „ ?- person(x) Lớp C là lớp con của lớp D. Miền của thuộc tính P là lớp C Giới hạn phạm vi của thuộc tính P là lớp D. Thuộc tính P là thuộc tính con của thuộc tính

AI summary