TAILIEUCHUNG - Bài giảng Tầng tri thức dựa luật và logic - Lê Thanh Hương

Bài giảng "Tầng tri thức dựa luật và logic" do Lê Thanh Hương biên soạn cung cấp cho người học các kiến thức: Biểu diễn tri thức, luật Horn, các biểu thức đơn, lập trình logic – logic programming, các đặc tính của DLP, lập trình logic, các biểu thức đơn,. . | TẦNG TRI THỨC DựA LUẬT VÀ LOGIC Biểu diễn tri thức BDTT là cơ sở của các hệ thống thông minh Vai trò của ontology trong BDTT Đê 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ò . 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 XML______I Namespaces UR I Unlcode Luật Horn 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 V Bx V B- ó . Bn H Tương đương với BX Bx . Bn H 1 Các biểu thức đơn Các hằng số với các giá trị xác định a b john . Các biến X Các hàm trả về giá trị với các tham số nhất định f x fatherOf johrT . 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 tlz t2 . là biểu thức đơn Nếu tlz t2 là thuật ngữ khi đó tx t2 là biểu thức đơn f x a marc fatherOPjohn Lập trình logic 2 Một Sự kiện là 1 biểu thức nguyên tử luật không có thân 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 - - person x LP không có phủ định tương đương với tập con của FOL Horn Logic Programs Datalog là tập con của LP Không có ký hiệu hàm Không có phủ định Lập trình logic - logic programming 1 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 Biến dương là biểu thức nguyên tử p x ợ x . Biến âm là phủ định của biểu thức nguyên tử not p x not not negation-as-failure Biến cơ sở là biến không có tham số Luật Horn 7 Bỵ . or 7 A- B1A. A Bn H là biến dương là các biến Các đặc tính của DLP Tập con của DL cho phép các phát biểu sau 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 pham 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 Q A là một giá tri của lởp c. a b là một giá tri của thuôc tính p. DLP có thể biểu diễn Sử dụng kết nối Intersection trong mô tả lớp Khai báo thuộc tính p là .

• Kỹ thuật lập trình
• Tầng tri thức dựa luật và logic
• Bài giảng Tầng tri thức dựa luật và logic
• Biểu diễn tri thức
• Biểu thức đơn
• Lập trình logic
• Đặc tính của DLP