Lô gích trong các hệ tri thức

ĐẠI HỌC QUỐC GIA HÀ NỘI KHOA CÔNG NGHỆ c a PH A N Đ ÌN H DIỆU LƠ CH TRONG CIÍC Hễ TRI THỨC ĐẠI HỌC QUÔC GIA HN TRUNG TÀM THÕNG TIN -T H Ư V IẸ N 001/1 V-GO HÀ NỘI -1999 ĐẠI H Ọ C Q U Ố C GIA H À N Ộ I TRƯỜNG ĐẠI HỌ C KHOA HỌC T ự N H IÊ N m PHAN Đ ÌN H DIỆU LÕ GlCH TRONG CÁC Hị TRI THỨC Hà N ội - 1999 l Ô GÍ CH '1’R O N G C Á C HỆ r i l Ố N G TRI ' H l ú c ị D ẻ C ỉíư ỉỉiị í í/c h i ỊỊÌả ỉií^ ) C li i ĩo n^ I M d â n : T r i t h ứ c »Y/ cỏtiị; ỉigliẹ ỉri t h ứ c - V n d ề iri l li ức v “ x ã lìội Iri t l ì ứ c ” - C c v ấ n clổ k l ì o a l i ọ c c ó n g n g h ệ v ẻ iri i h ứ c - lliròiig tới niộl kinl) tế xã hội tri llurc Clìirơng II l ị gí cl ỉ íìiệĩiìi dỏ - N g ị n n g ữ c u a lỏ g íc h n ìệ n h dẻ C c luại n g ữ n g lũ a - Giá irị chân lý CIUI c ô n g ihức mệ nh đẻ Căy ng ữ nghĩa Lý llìuì cliứng iniiih lơgícli lìiệnh dể Đo n cau (cliuises) D ạn i ’ chuẩn lac Thiiậl toán David-Piilnain N g u y ê n lý giiìi Robi nsoi ì ứng clụng G ì c c lau se Horn ChiĩOỉiịỊ 1 L ỏ g í c l i t n í c p lììột - Ngịi i ng ữ lơgícli lâii lừ cấp Iiiọl N g ữ nghĩa lơgicli lâtì lờ - l ý l l i ii yê ì c l i i r n g n i i i i h c ủ a l ỏ g í c h l â n l c ấ p m ộ t - Các dạng cliuẩỉi c ò n g ihức lịgícli lán lù' cấp mộ! Dại ìg Skolcni - T h ể lleibraiìcl Địnlì lý ĩlerbraiid - Phương phấp giải R ob i n s o n dối vói l ơậiclì (an lừ ChirüTi|> IV T r i t h ứ c k h ô n g đ â y ííiỉ vã h ệ l õgí cl ì k h ô n g d n d i ệ u - Lỏgi ch tân lừ lìệ Iri thiíc “ Các hệ Iri lliức k hơ n g dầy c!ủ Giá lliiêì llìế giói d óng - M ỏ liình lối (ỉiiểii liaii c h ế (circumscriplion) - Cấc lý llìLiyết niặc clịiìh (défailli tlieories) (.'Iiương V T r i t h ứ c k ỉ ì ì i g c h c cliắỉỉ l ậ p l u ậ n x c siiấi - IVi i h ứ c k l i ỏ n g c h ắ c c l ìái i v b i ể u ci iễn x c s u ấ t - Liiại Baỵes vể xác suất c ỏ điều kiện lìiạng Bayes - l ị gí ch xác suất Ng uyẽi ì lý eiilr Ị:)y cực dại C h o n g VI T r i t h ứ c m h , L ò g i c ỉ i n i vá lý t h u y ế t k h ả n ă n g - Tri Ihức !1ÌƠ hổ lý tliLiì tập mờ - l ỏgicli mị' -l.ốgiclì kha nãiig C u hỏi ôn tâp durons I T R Ì IIỨC VẢ CỎNC NCHÊ 1RI r n ứ c I v ế ỉ i (ỉé í ì i t ì ĩ c yả “ ay7 l ỉội íri ỉ l ĩ c ' \ 'l’ír vài lli;Ị|) niơíi gÀii clAy với Iiliiìnu ỉ:íc (lộng inọiili 1I1C cìi;i liổii l)ộ Icỉioa học v c ỏ c c ỏ n g I ipliộ, (lỌc h i ỗ i c i c n e Iigliỗ l l i ổi i p t i n v t m y ổ n tl ì Ai m, t l i ế g i i ( l ; u m b i e n c l i i i y ế n lới mi i m ộ í nồii kinh l ế vh xđ hội Iiini Iiià lliổng lin (li lliúc (Itrợc xcni ngiiòii lực clin yếu Troiiínniií; x u i h ế (ồỉi CÀII lìoấ Iiny, cỉiéu dó cđ nc tác dOiiu ĩìiạnh n iẽ đến c ác nirớc (laiig ph:'u líííil íricii, nlnr la lh\rờng Iiói, Iiioiie clốn c h o tn Ịihrrne c liổi n hữ n g lliĩìcỉi ihức Cơ iiõi ll i lliì llìirờng clc Luộl (Ịiia neu kliAiig (lù bàn lĩiiii \ liicu biếl clc (Ạn d ụ n g , c ị n Ihách lliức Ihì ch'i (ỉ(!ay ngliicin kliắc nghi ệt ngfi Nén kiiiỉì (ố lii llurc, xã liỌi li i tlurc, nỏ ni, c h o N' ĩ N ó c ỏ cùa ín, c h o la liny kliổnp'.^ Đ i cu dó phụ lliuộc vào liảiì lĩnli ý ch í phái huy iiioi |-)i i liổni iri lliúc l i o n u clAÌ nirớc la, phụ lliuộc VÌHI kliả IIIỜ rộng inộl mơ i ti'ng í ự cIímIíU) v ì \ l n h Ii i ạnl i c h o c c l i on l (lỌiìg g i a o l u ih Oĩ i g till v h h i i l u r c I r o i ì g Xỉí h ộ i In I V o n g Iiìộl lộl [ b o c ấ o uÀn tlAy củn u ỷ ban -iỗn liiệp q u ố c VC Klion họ c c ỏ i ì g ngliệ s ự Phấl (riổii I i J V(Ị \ v ’i c h u (lổ “ C c x ã l iội u i ỉ li ức: C ổ i i g n u l i ẹ ' l l ì ỏ i m liii y) s ự ị ìhấ l li iổiì b c n v i i n o ” c ú c l c (’ in d ì cclà (li (lốn kố ì lu Ạn: C' ác n c ( lai ig ph;í( I i i c n l l ì l i r ni a d i ổ m x i i ấ l p h n i kliMc n h n u ỏ ề \ \ cfìn m xAy dựng niộl kết cTúì Ifing lliỏnp tiiì qurtc gia (1¿ phuc vu c ác m ụ c liCMi plint iíiểii, l ì t rớ n crirnu ì(Vi Ịiiộl “ x ã ỉ iộ i Iri lliiic'" (loi n u r i ; (lù Cíii g i n Ịilini Irả c h o v i ệ c x A v d ự n g k ế í c ấ i i liạ ( À i i g í i g i I l i ó i i g ( i n c l ó l k\]f\ c a o , n l i ĩ ũ ì ^ ( i ^ i p ì ì n i í r ả c h o v i c ĩ ' klìơiìSị l n ì ( l i ể ì i (I n c l ĩ c s ẽ ( ỵ ) ĩ ì ÍY /P h o I h n f'ơỉ n lìic Ị{ \ Clìiìng In dổu hiốl l ằng í ìi ỊÌìửc c ó vni Irị lìốl s ú c qu:ui trọng g ỏ p phịiì tạo lìẽtĩ i n ọ i I)i I h n n l i lirii v t i ế n b ọ i r o n g l ị c h s ù phíìl t r i ể n c ù n vnii i n i n h iiliAn l o i M ặ c clù n h ữ n g cTui hỏi ci cc ó lín lì Iric ì h o c vé bnn c liíìì cù:i tri ỉliú c (Ịiiá liìiih h ìn lì ih n li Iri llìứ c , q u o ii liệ q u i ước (a"' llic cliAp nliẠii (lirợc!) ( l ì mc l i o ii g vẠy cũtig lliổ lÁl c h o Iiồn niỌl v,Vi cliồ \ ' ẽ c ( i ù n g c c k h i iiiÇ'iii (16 c ó n l i i c u lÃii l ộ n l l o l (lOng iiliỌn ihirc cù;i COII ncười b;ui g ổ n i viCc l ì m k i n n Iri tìiức clổ (ăiig cirờiig h c u hịcì tự Iihicn xã liơi c u ộ c s ố n g , clono ihời x filing c c tri lìiửc c ó d u ợ c clổ lạo Ii:n c.'íc kỹ llniộl, c ô n g i mh ệ giAi pháp Iihfiiii kliAiig ngirng cải lliiện c u ộ c s ố n g cùn mìnỉi T ài C]un nhiéu liiế kỷ lícli luỹ, n g y Iiny c ó Irợ «iúp dắc lực c ủ a c ỏ n g n ghệ llỏii!; lin, cliiìiig l:i clã c ó kh;’i n ă ng sừ (lụim rỌiiu rãi tri lliức (l onụ iinại ( l ụn ỗ kinh t, xó liji vo thi fiai inh hàn tliAii tliAnp lin vị lii lliúr CŨIIÍỈ d an g Irờ Ihành y l ố c h í nh cùa CIC loại hoại d ộ n g cló Và clĩ nhi ên, c o n ncười kliỏiig cliỉ lliụ d ộ n g sừ diinu n hữ n g lii lliức clã p.n ki ếm clirơc, ini') càn:; ncri)' c ài m chù (.lónc lìm k i ế m , lliu lliẠp tiicm nliicii Iri lliức c h o li)al dơiit: mì nh N ế n iihiT Irong nliiéu lliố kỷ (]un, khoa liọc luồn h ướ n g lới v i ệc pliál li ệ i i I i h rr n g Iri t h ir c c ó c i Irị p h ổ h i ế n (l ưới ( ỉ n g c c n g u y ê n l ý , q u i l i i ậl , (lỊiili l ý , , i h ì n;riy nay, chúiiíí ta cilim c n u Iicà)' C.ÌI10 llifíy rõ rnnn Irnng ciiỌc s ố n g l li ườ nc n!iộ(, (ronc v ệ c CỊìn l ý , k i n h ( l o n n h , l i n ă n h n i i u I i g v c l u i n g In CŨIIS v cÃn c ó I h è n i n ỉ ũ n i g iri i h ứ c , cí llic c ó ý nụhla phổ biến liẹp Imii, c ó m ú c (lọ clúnli x c lliAp hơn, c ó t1ị’i s ố n g ngắn Iiơn, vv, , Iiluriio lọi clííp irnu Irực l iếp liơn yêu CÀU gi:’>i qiiyêì c ổ n g việc cùa c o n ngưị'i Mà, VÇC tìm k iế m Iri ihức Iiày cfing khOng hổ (lơii giàn! Mộl Iroiig nhũì ig nguổi i ngviyên liỊu cỊuan Irọng (!c lừ d ó khni phá, linii liiyéii lliànli (ri lliức chínli c ác liệ l liốiic i h ô n g lin, CIC c sờ clữ !iỏu pliong pliií :iiđ cftng cuỌc Ún liọc luiá dã d:tiig liơ’p lục lícli luỹ hhiii ¡)liá d ữ l iệu ¡ỉliái ¡tiện tì i rliửc niộl luró'iig níỊliiơn CỨII clnng pliííl (riểii niạiili liệii nny, líi dể lìm c c giài Ị.h, , LÌin c n e v i ệ c tỊua.i Irọníĩ Tron g bối cnnli cló, cỊiinii n iệ m VC tri lluìc c ũ n g c ó nliicu biến d ổi, m rôiin lian Vn cmỉỊ với v i ệ c niừ rộng q ua n niỗ'ni, cfiiiỗ c ú nliicu n i rng di vi c ỏ c pliiraim liầ'ii nớỡii rỗỷ (lựng đổ bicu cỉicn Iri Ihúc, c:\c pliifong pháp llni (liíìp !ri lliúc, cá c c c h x lý lẠp liiộn l é n c ác Iri ihức, v.v 'IVong c c phÀii (ỉưói clAy, ta s ẽ giói tliiệu i nộl s ố nội clving cliúih lO iiỉ’ c c h i r n g I ig liitu c ứ u d ó / / C c c c h tic.}} c ậ n k ỉ i o a h ọ c CÕÌÌỊỊ l ì ^ l i ệ vê (ri íììữc Ciio clến gÀn clA}', lĩiọi lioạt d ộ n g liên qiian dếii vi ệc lùnh llùuih li i íliức CÍÌC q lìnli s uy luạn (rên tri (hức (lén lliiiộc chức nñng dặc hiộl cìia b ộ tião COJ1 người Sự dị'i cia niáy línli diện từ cĩã n i ò rn Iriổn v ọ n g mội Kố d u r e Iiíìng Irí ó c dỏ c ố lliổ clíin dÀn đirợc liực liiện (v,'i ilurc liiơn với nâng suA'l cno liơn!) hời niny línlì N g a y li'r b uổi (lÀu, c c Iilià Wio.'i liọc (hrợc cni clin d ẻ cùn i náy líiili diọ-n lừ nliu A Turing | | , I.von N c u m n n n | ] dã ịliAn tícii, s o sánlt n ă n g iực hcKil (lổim cù:i liộ ó c vh cùn m y tínli, (lira nliiểu nhận >ét lạc qunn vổ kiin nănu lư cluy cùa m y línii Iroiig l ương lai Nliữiig lliìiiili tựii b ước (lÀn Gin v i ộ c d ù n g m y l í n l i d c ( Ợ d ộ n g h o ; í c l n ' r l l ^ I i i i i i h c : \ c c l ị n l i l ý c ù a l ổ g í c h ( o n , d ể c ỉ i i c , dồ phiên (lịch, n g a y từ tliẠp niơn 50, !ny c on klìn i h ổ s n hu n g c ũ n g clủ d ể kích thích phái (riển klìi b ù n g n ổ klii íim lliđni nliiéti ngànli khon h ọ c V?1 c ổ n g ngliệ tri llurc Irong nỉiững iliập niổn l iếp tlico V Iroiig (Ịiiá Irìiih phíìl Iriổn (ló, niộl niậl c on nyirừi c ó dị[> lìni h c u sAu ihAn lioạl (lỌng nhộn tliức cùn m ì n h , liệ Ihống íii lliức tnà mì nl ì clã lícỉi luỹ d rợc, nlũnig l liuộc tính cùa ỉii tlurc Iiliững (lịi hịi clrti với íri tliức IroniỊ lioạl (lộng lìiực liỉn cỉia COII n g u i l r o n g mộ i m ồi (nrờng n g ày c n g nhiồii biến d ộng; inặl kliấc thiìc (iđy v ù c n g ỉ i i ê n c ứ u clể XUÁI I i l i i ổ u Ị i l i ơí ^ i i g p l i n p k h o a h ọ c v g i ả i [lỉi íi p c ổ i i g n g l i ệ clổ h i c n ( l i ỗ n tii íhức, [hu tliAi-) (ìm kiếin tri llurc, xừ lý Iri llìức, qunn IrỊ (ri tliức nliằni ứim clụncĩ có h ộu cỊuả cồ iì g Iigliậ i hỏi ig lin Ironp hoạt d ộ n g cùn COII ngiiừi Dưới clAy lổi SC l iình bày vắn lắl u ì n h pliál Iriển cló, ĩạin chin llieo bn huớc cú n li snn (lOy: - 1’ri lliức c h n c cliắii CÍ1C j^hiro’np pliíìp s u y luAii l ổgíclì tA! dịỉili - T\'\ tluVc k h ổ n g cliắc cliắn \'ĩ\ viộc lìm ‘\] liiẠt" clio kliiisiness W W W ■^iitunl library on k n o w l e d g e mnnngcmcnt, 1998, l itl p; // www bri i it, coni / k m / vlinli,s/lilni | | I I íGi ỉi, P.C.Rao Clicnh'sc’i vcr coni pi ili in’ íỊiiidc' lo ( I d U n v n r c l i o u s i i n Ị Q u e Co, 996 ■ ’ | 1 K.Nchrolra, C K Mo hn n, S.Rnnka FJei nenl s o f (iriificiti! n c u r a ! l i e t w o r k s , M I T ]re,ss, 1997 [ 2 | M il ch el l A n ¡ni rodii cli on to ¡’e ne ii c aliỊorillìi/hs MIT Press, 96 123] N ịịiỊ cỊuyốt c ù a C h í n h p h ù K ế h n c h râniỊ t h ể \ ' ề p h t í i i â n C ô n ị Ị n g h ệ Tliôn ' m Ban Clii đạo C r Ọ G vẻ C N r r , Mà nội, 19 Dû liÇii rìiili bày, l;i giới liạn clii dé cập clín "lioọt (lộng Irí liiổ" Irniìg I11()I số VÍÍII (!ẻ clniiig c ùa (]iiá Irìdli thii nliạn, bic cliỄn vh suy liiạn trCn tĩi ihức Ta clãqiicn với cđc phép r;uy luẠii (Ịiii luip, urơiig !ự Cíic phép phỏMg cliii, lự Iigliiộni có pliÀn "plióiig klio;íng” iơn Thí dụ, VỂ dến cổ ng xcm liòm Ihư ihn'y trống mh kcì luẠii vợ (!fi vổ nhìi lìi mộ t s u v luạii phịng đín; lơkhằiig dịnli ổn g bạn X chưn lìim Bộ lnrịng chi nến ỏng lìim Bộ tiườiig Ihì bá o c hí dii tlưa (in, líi mộl siiy bạn lự nglúộm ỉ Cliú ý tri lliức liiực niới vè tliốpiới v.'i srtiig khfiiig II,i y sliih lĩr cííc S U ) ' l u n cliõn dịch  ... HỌ C KHOA HỌC T ự N H IÊ N m PHAN Đ ÌN H DIỆU LÕ GlCH TRONG CÁC Hị TRI THỨC Hà N ội - 1999 l Ô GÍ CH '1’R O N G C Á C HỆ r i l Ố N G TRI ' H l ú c ị D ẻ C ỉíư ỉỉiị í í/c h i ỊỊÌả ỉií^ ) C li... nli ững tri tììức m i, c ỏ giá trị m ộ i c c h bnì OV.Ờ' M y línli kliổiig (láiih giá dược ch l ượng líiih hữu ích cùa nli ũn g tri thức nlur vfly, clc clánli giá cl i úng k l i n c c ó cácli kii;ìc... nfing Irc cíĩĩi ihiếl c h o clất nước di tới Iiển kinh t ế tri tliức xã hội tri thức Irong t ươn g lai T u y i nộl nước nglico, chạm pliál trien, Inrớc inđt c ị n VƯ vàn n h ữ n g vA'n dề cấp bích