Thuật toán và giải thuật - Hoàng Kiếm Part 10
Thông tin tài liệu:
Nội dung trích xuất từ tài liệu:
Thuật toán và giải thuật - Hoàng Kiếm Part 10N u A V Trái(r) thì Lo i A ra kh i v ph i c a R.N u V Ph i(r) r ng thì lo i b r ra kh i h lu t d n : R = R – {r}B2 : Phân rã các lu tV i m i lu t r : X1 X2 … Xn Y trong RV im iit 1 n n R := R + { Xi Y }R := R – {r}B3 : Lo i b lu t th aV i m i lu t r thu c RN u V Ph i(r) Bao óng(V Trái(r), R-{r}) thì R := R – {r}B4 : Rút g n v tráiV i m i lu t d n r : X : A1 A2, …, An Y thu c RV im is ki n Ai thu c rG i lu t r1 : X – Ai YS = ( R – {r} ) {r1}N u Bao óng( X – Ai , S) Bao óng(X, R) thì lo i s ki n A ra kh i XVIII.4. Ưu i m và như c i m c a bi u di n tri th c b ng lu t Ưu i mBi u di n tri th c b ng lu t c bi t h u hi u trong nh ng tình hu ng h th ng c n ưa ra nh ng hành ng d a vào nh ng s ki n có th quan sát ư c. Nó có nh ngưu i m chính y u sau ây : Các lu t r t d hi u nên có th d dàng dùng trao i v i ngư i dùng (vì nó là m t trong nh ng d ng t nhiên c a ngôn ng ). Có th d dàng xây d ng ư c cơ ch suy lu n và gi i thích t các lu t. Vi c hi u ch nh và b o trì h th ng là tương i d dàng. Có th c i ti n d dàng tích h p các lu t m . Các lu t thư ng ít ph thu c vào nhau. 64 Sưu t m b i: www.daihoc.com.vn Như c i m Các tri th c ph c t p ôi lúc òi h i quá nhi u (hàng ngàn) lu t sinh. i u này s làm n y sinh nhi u v n liên quan nt c l n qu n tr h th ng. Th ng kê cho th y, ngư i xây d ng h th ng trí tu nhân t o thích s d ng lu t sinh hơn t t c phương pháp khác (d hi u, d cài t) nên h thư ng tìm m i cách bi u di n tri th c b ng lu t sinh cho dù có phương pháp khác thích h p hơn! ây là như c i m mang tính ch quan c a con ngư i. Cơ s tri th c lu t sinh l n s làm gi i h n kh năng tìm ki m c a chương trình i u khi n. Nhi u h th ng g p khó khăn trong vi c ánh giá các h d a trên lu t sinh cũng như g p khó khăn khi suy lu n trên lu t sinh.X. BI U DI N TRI TH C S D NG M NG NG NGHĨAX.1. Khái ni mM ng ng nghĩa là m t phương pháp bi u di n tri th c u tiên và cũng là phươngpháp d hi u nh t i v i chúng ta. Phương pháp này s bi u di n tri th c dư i d ngm t th , trong ó nh là các i tư ng (khái ni m) còn các cung cho bi t m iquan h gi a các i tư ng (khái ni m) này.Ch ng h n : gi a các khái ni m chích chòe, chim, hót, cánh, t có m t s m i quanh như sau : Chích chòe là m t loài chim. Chim bi t hót Chim có cánh Chim s ng trong tCác m i quan h này s ư c bi u di n tr c quan b ng m t th như sau : 65 Sưu t m b i: www.daihoc.com.vnDo m ng ng nghĩa là m t lo i th cho nên nó th a hư ng ư c t t c nh ng m tm nh c a công c này. Nghĩa là ta có th dùng nh ng thu t toán c a th trênm ng ng nghĩa như thu t toán tìm liên thông, tìm ư ng i ng n nh t,… th chi n các cơ ch suy lu n. i m c bi t c a m ng ng nghĩa so v i th thôngthư ng chính là vi c gán m t ý nghĩa (có, làm, là, bi t, ...) cho các cung. Trongth tiêu chu n, vi c có m t cung n i gi a hai nh ch cho bi t có s liên h gi a hai nh ó và t t c các cung trong th u bi u di n cho cùng m t lo i liên h .Trong m ng ng nghĩa, cung n i gi a hai nh còn cho bi t gi a hai khái ni m tương ng có s liên h như th nào. Vi c gán ng nghĩa vào các cung c a th ã giúpgi m b t ư c s lư ng th c n ph i dùng bi u di n các m i liên h gi a cáckhái ni m. Ch ng h n như trong ví d trên, n u s d ng th thông thư ng, ta ph idùng n 4 lo i th cho 4 m i liên h : m t th bi u di n m i liên h là,m t th cho m i liên h làm, m t cho bi t và m t cho có.M t i m khá thú v c a m ng ng nghĩa là tính k th a. B i vì ngay t trong kháini m, m ng ng nghĩa ã hàm ý s phân c p (như các m i liên h là) nên có nhi u nh trong m ng m c nhiên s có nh ng thu c tính c a nh ng nh khác. Ch ng h ntheo m ng ng nghĩa trên, ta có th d dàng tr l i có cho câu h i : Chích chòecó làm t không?. Ta có th kh ng nh ư c i u này vì nh chích chòe có liênk t là v i nh chim và nh chim l i liên k t bi t v i nh làm t nên suy ra nh chích chòe cũng có liên k t lo i bi t v i nh làm t . (N u ý, b n snh n ra ư c ki u suy lu n mà ta v a th c hi n b t ngu n t thu t toán loanghay tìm liên thông trên th !). Chính c tính k th a c a m ng ng nghĩa ã chophép ta có th th c hi n ư c r t nhi u phép suy di n t nh ng thông tin ...
Tìm kiếm theo từ khóa liên quan:
Kỹ thuật lập trình giải thuật hướng dẫn giải thuật cấu trúc dữ liệu lập trìnhGợi ý tài liệu liên quan:
-
Đề cương chi tiết học phần Cấu trúc dữ liệu và giải thuật (Data structures and algorithms)
10 trang 318 0 0 -
Kỹ thuật lập trình trên Visual Basic 2005
148 trang 266 0 0 -
NGÂN HÀNG CÂU HỎI TRẮC NGHIỆM THIẾT KẾ WEB
8 trang 208 0 0 -
Giới thiệu môn học Ngôn ngữ lập trình C++
5 trang 195 0 0 -
Bài giảng Nhập môn về lập trình - Chương 1: Giới thiệu về máy tính và lập trình
30 trang 168 0 0 -
Giải thuật và cấu trúc dữ liệu
305 trang 163 0 0 -
Luận văn: Nghiên cứu kỹ thuật giấu tin trong ảnh Gif
33 trang 153 0 0 -
Bài giảng Phân tích thiết kế phần mềm: Chương 1 - Trường ĐH Ngoại ngữ - Tin học TP.HCM
64 trang 150 0 0 -
Tập bài giảng Thực hành kỹ thuật lập trình
303 trang 143 0 0 -
Giáo trình Cấu trúc dữ liệu và thuật toán (Tái bản): Phần 1
152 trang 139 0 0 -
Tài liệu tham khảo: Cấu trúc dữ liệu và giải thuật
229 trang 124 0 0 -
Báo cáo thực tập Công nghệ thông tin: Lập trình game trên Unity
27 trang 118 0 0 -
Giáo trình về phân tích thiết kế hệ thống thông tin
113 trang 114 0 0 -
LUẬN VĂN: Tìm hiểu kỹ thuật tạo bóng cứng trong đồ họa 3D
41 trang 109 0 0 -
Bài giảng Kỹ thuật lập trình - Chương 10: Tổng kết môn học (Trường Đại học Bách khoa Hà Nội)
67 trang 106 0 0 -
Giáo trình Lập trình Web với Servlet và JSP: Phần 1
56 trang 96 0 0 -
Giáo trình Nhập môn lập trình VB6: Phần 2
184 trang 93 0 0 -
Giáo trình Nhập môn lập trình VB6: Phần 1
246 trang 85 0 0 -
Giáo trình toán rời rạc - Phụ lục 2
15 trang 85 0 0 -
Nghiên cứu triển khai nội địa hóa máy tính thương hiệu Việt Nam
585 trang 83 0 0