Đang tải... (xem toàn văn)
mô hình biểu diễn tri thức. Phương pháp biểu diễn tri thức bằng luật sinh được phát minh bởi Newell và Simon trong lúc hai ông đang cố gắng xây dựng một hệ giải bài toán tổng quát. Đây là một kiểu biểu diễn tri thức có cấu trúc. Ý tưởng cơ bản là tri thức có thể được cấu trúc bằng một cặp điều kiện hành động : NẾU điều kiện xảy ra THÌ hành động sẽ được thi hành. Chẳng hạn : NẾU đèn giao thông là đỏ THÌ bạn không được đi thẳng, NẾU máy tính đã mở mà không khởi động được THÌ kiểm tra nguồn điện
/ cAc nno HiNH srnu ornN TRr rHrlc Bi6u diё n trithic bふ ng luat din(luat sinh) Khii nienl: PhlFOng ph“ bi6u dian trithic bang lu∼ sinh dlFoC phtt minh b6i Ncwcll va Simon lic hai Ong dang c6 ging Xaげ dttg mOt he giai baitoan t6ng qu乱 D∼ la mot ki6u biё u dien tri thic c6 cau tric.Y情 6ng co ban la tri thic c6 the dtFoC Cau tttc bttng in9t cap diё u kien&hm dong:"NЁ U沸ど2″ θ4x∼ h嬰 :NЁ U TI― II力 aη みグθ ″g Se dlrgc thi h油 dё n giaO thOng la d6 THi btt khong duoc dithing,Mう um∼ ".Chttg tinh da m6 ma khOng kh6i dong dlloC THI ki(シ n tra nguOn dien,v.v.… Ngay nay,cac luat sinh da tr6 nen ph6 bi6n va duoc ap dung r9ng rai nhiさ u he thOng lFitue nhan tao khac nhau.Luat sinh c6 the la mOt cong cu m6 ta de giai quyet cac vAn dё thlrc t6 thay chO cac ki6u phan tich vtt dё truyё n th6ngo TrOng twmg h"na乃 cac luat dlFoC ding nhtFla nhing Chi dan(tuy C6 thё kh6ng hoan chinh)nhtrllg rat htu ich de trg gi6p Cho cic quyet dinh trOng qua trinh tim kiem,n d6 1am giam khong gian tim ki6mo Ⅳ[Ot vf dり khic la lutt sinh C6 th6 dlFoC d前 g d6 btt chlF6C h漱 血 vi cta J■ thg chuyen gia.Thco cach nゝ、luat sinh khOng chi don thuan la mOt kieu bieu dien tri thic m∼ tinh ma la mOt kiё u biё u dien cac ha山 宙cia ngubi。 MOt CiCh tOng quatluat Sinh c6 dang nhlF Sau: Pl∧ P2∧ …∧Pn→ Q Tty vao cac van de dang quan ttt maluatsinh c6 nhttg ntt nghra hay cau t.。 nhau: ― Trong logic vi金 :Pl,P2,・ ¨ ,Pn,Q la nhing bieu thic logic ― Trong ng6n ngi ltt trinh,moi motlutt Sinh la m6t cau lenh IF(PlAND P2AND。 AND Pn)THEN Q khic ヽ ＼ ‐Trongけ thuy&hiё u ng6n ngi“ nhi“ ,m5ilutt sinh la m∝ phф diCh: ONE→ mo TWO‐)hai JANUARY→ thmg m∝ D6biau di5n mot ap lutt sinh,n〔 要m ta■ ばhg phai tt r6 hai仕 山血ptt chidLSau: (1)T"C“ Sv kiい F(Facts) F=(1,f2,… h} (2)Tゎ cお quy tお R(Rules)● dttg仕伍 C“ Sv kien dttg nhu sau: 島∧ち∧…∧1→ q Trong d6,c“ 1,q dё u thuoc F du"xれ dinh Vi du:Ch0 Co s6 tri血 `℃ _ cac sv kien:A,B,C,D,E,■ ‐T"Cれ nhu sau: QH,K quy tお hay lutt sinh(mle): A→ E R2 B→ D R3 H→ A Rl R4 EAG→ C R5 EAK→ B R6 DAEAK→ C R7 GAKAF→ A cc ch6 suy luon trtt CiC lutt sinh ●Suy diё n ti6n:la qua trinh suy luね xutt phtt i motS6 sv kien ban dau,xお cac sv kien c6 th6 du""sinh"ra n sv ki“ シ ″ ″b“ 蒻 rH,K R3:H→“A(A,Ho K} Rl:A→ E{A,E,H,K} nじ dⅢ R5:E∧ K→ B{A,B,E,H,K} R2:B→ D{A,B,D,E,H,K} 'R6:D∧ E∧ K→ C{A,B,C,D,E,H,K} ●Suy diё n l■ i:la qui trinh suy lutt nglFoC Xutt ph壼 tim ki6m cac su kien da"sinh"ra su ki“ 1a xutt ph奮 籠 h6c6dau c tinh廿 興g cta m∼ tinh,chtt dom xem m∼ tinh da bi h6ng “ Vi du: T"Cお Sv nayo MOt 籠 m∝ s6sv kien ban d猜 ,ta Ⅵф thuOng g"trOng ivc t6 , kien: C)cing la"h6ng"hay"hoat dong b血 thttg'' ● H6ng inan hinh ● L6ng cap inan h血 ● Tinh trang den O cmg la"t激 "hOttc''Sttlg" ● C6施 doc O c散 嘔 ●Tinh tr`狙 g dan mm hinh"xanh"hoュ c"Chくわd6" ● KhOng si dung du∝ m∼ tinh ●Dien vao m∼ tinh"C♂ 'hay"khOn」 74ρ ε ′ ′ π 「 ′ `σ Rl.Neu((6c`ng"h6ng")hOう C(Ctt mm hinh"16ng"))thl khOng si dung dlroc m∼ tinh R2.N6u(dien vaO m∼ la"c6")va((an doc cing la"kh6ng")hoュ c tinh trttg“ n6c血lg la"t乱 "))thi(6C血 lg"h6ng")。 R3。 Neu(dial vaO m∼ la"c6")va(tinh trang dё n man hinh la"ch¨ d6")thi(C“ mtt hlttL"16ng")。 De xac dinh duoC Cttc nguyen nhtt gay sv kien''khong Si dung du"lllll`り phai xけ dlmg mOtC施 加魔c dδ thi g9ila dδ thiAND/OR nhu sau: tftth'',ta K■ 3n言 護 轟r dur_言 dwoc may tinh cキ man hinh“ 16ng'フ DL● n Va〕 mむ ``c DP' Tinh tr.ang dcn rndn hirh "chfp di" Am ianh 66山 豊 “LEng Hinh 2-:Co che suy dien cta suy dien lti。 Nhu v∼ la d6 Xic dinh dlFoC nguyen nh`流 g∼ h6ng h6c la c血 ℃ h6ng hay c如 ■ 10m hinh 16ng,he thong phai lan llr∝ di vao cac nhinh de kiem tra cac dieu kien nhtF dien vao may''c6",加 O cing''khOng".Tai lnOt blr6c,neu gia tri ctt xic dinh khOng th6 dlFoC Suy tき bat k,InOt luat naO,he th6ng Se yeu cau ngubi ding tuc ti6p nh"va。 。chttg htt nhu de biet m″ tinh C6 dien khong,he thOng Se hien mm hb山 Jど ctt h6i′ Bα ′ル “ ″αχθ σ びグJθ ″憾ο ″ ′ 蒻あ腸∂ηg ttJど rra成 4″gク δ〃2の “ “ “ l D6 thlFC hien dlroc co che suy luan lti,nglFOi ta thuOng si dung ngan xep(de ghi nhan loi 血mg nh激 i chua kiem tra) vttn da t6ilFu luat T"cac lutt trOng mot co s6 trithic rtt c6 kha nttg thき nhien la he th6ng c6 the dり 】 a,mnglュ p hOtt mm thu舗 。 ′ ∂ ′cho nguci ding ve v19c dua vao he th6ng nhing trithic nhu V4け 。 Tuy VieC toilru mot co S6 tri■ ic ve mュ tong qutt la motthao tac kh6(vi gita cac tri thic thlrむ ng c6 quan he khOng tlFさ ng ininh),nhung gi6i han co s6 tri tttc du6i dttg lua,ta vtt c6 mots6thua tom dm gitt d610。 ib6“ cv猛 機 nり 。 R`t gon ben phai Lutt sau hiё n nhien ding: A∧ B→ A(1) Do d6 1uat: A∧ B→ A∧ C La hom toan tlFOng duong v6i A∧ B→ C θzッ 疹cr所 ′即 ″:C6th6 1ooi b6 nhtng sv kien ben vё phai n6u nhing sv kien d6 da xutt hien ben ve trai.Neu sau khi“ t gon ma ve phaitr6 th汁 血 rOng thl lutt d6 1a lua hi6n nhieno Ta c6 th6 1oai b6 cac luat hi6n nhien kh6itrithic。 Rit 20n ben trai x6t cac lu俎 : (Ll)A,B→ C(L2)A→ X(L3)X→ C Rё rttg la luれ A,B→ C c6 thё dlFCC thay th6 bttg luttA→ C ma khonglam tt hu6ng den cac ket lua.trOng moittuぬ g hqp.Ta n6i rttg sv kien B lua(1)la du thta va c6the dlFCC 10ai b6 kh6ilutt dan tr伍 。 Phan va ket hOp luat: Lu針 :A∧ Tu∝lg B→ C dlF∝ lg v6i hai b針 A→ C B→ C V6i quy tお nay,ta c6 th6 1ooi b6 hom tom cac lutt c6 phф nけ thuttng lam cho thao Mc xi l′ tr6 nen phiC t叩 Lutt thta n6i HOAC.Cac lua c6 ph6p n6i MOtlutt dttA→ B duOc goilathta n6u c6 th6 suy lutt nけ 籠血ing lutt cё n l11 m{A→ B,B→ C,A→ Vidり :trong t"c`c lutt gさ vi n6 c6 the ducc suy n 1utt cδ n lグ C}thi lu針 ぬi31a lu針 ぬta Thuat toan toi lru ta,luat dan Thutt tOm nけ se t6i lru h6a t"htt da chO bふ 喝 c“ h10。 iac`c lu"c6ph6p n& HOAC,cac lutt hi6n nhien hOic c`艶 lu"thta Thutt tO力 n bao gOm cac blr6c chinh: ￨1騨 lgO■ 10,Vi '■ ■￨ _._._‐ ■ ‐￨■ ‐ ■■ ■ ‐ ￨￨￨￨￨￨￨■ ■ ‐ ￨■ ■￨■ ■ V“ Ⅲ011轟 11'011AII‐ IVII14,011■ ￨‐ ■‐ IV“ ￨二 011u"itrllJI=￨￨￨￨￨￨￨■ ヽ A■ VI11■ tll籠 ￨=￨￨IA■ lkhll:■ 1藻 ￨“ IR■ ￨￨■ ■ ￨￨￨‐ ■￨￨￨ 01統 IⅢ 11■1111ral:kh“ 1韓111嬌 1難 ￨=■ {:￨￨■ ■￨■ ■￨ ヽ￨,Vケ “ 韓 ― =ヽ B21rl`れ 輩￨“ 11,総 ■ ￨■ ￨■ ￨■ ￨￨￨￨■ ￨￨￨￨￨ ￨■ ■ ￨￨■ ￨■ ￨■ ￨￨￨￨￨■ ￨■ ■ ￨‐ ,alふ ol轟 ″￨1来 :￨1来 ,,￨::● え￨→ IYI“ 竜IR■ ￨‐ ■■■■■￨■ ■■■■ VOF轟 0111● 1● 鉢 ￨￨■ ■■ ●ヽ111=￨■ Xil→ IVIII■ ￨■ ￨￨￨■ ■￨￨￨■ ■ ￨￨■ ■ ￨■ ￨■ ■ ■ ‐ ￨■ ■ ■■■ ヽ 1言 11)11}￨￨￨￨￨￨￨￨￨￨￨￨￨￨￨￨￨￨￨￨￨￨￨￨■ ■ ￨■ ￨■ ■ ■ ■■ ￨■ ■ ￨￨■ ￨■ ￨■ ￨‐ ■￨ ￨￨ ■■￨■ ■‐ `￨1011CII録 ￨￨￨￨￨￨￨￨￨￨￨￨￨■ ■■ ■‐ ■ ￨￨‐ ￨￨￨■ ￨￨■ ■￨■ ￨ V11■ 011u"=ⅢOIRIIIII■ ‐ Bll恥 ■ ■■■ ￨■ ￨￨￨■￨■ ￨■ ■■￨■ ￨■ ■‐ ￨‐ ￨‐ ￨‐ 隷競V"轟i← ,￨‐ laoD`ngKVa■ tう11■ ￨),lth:=￨￨IRヽ 11卜 ■■￨￨￨‐ ■￨￨■ ￨￨ ― 11=11111■￨￨￨￨￨￨ 1お :ぶ写 ￨IⅢ 摯 1守 ￨￨￨￨■ ■￨￨￨■ ■■￨■ ■ ■■■■■ 「11111111111111111111 ::濯 11litl倉 責 轟ヽ おも lt文 `亀 」u ・ 」u di6m8 IA:11,￨￨お わ `ngt彙 1151薇 ￨￨お こ轟 轟￨=￨1轟 “ ￨￨￨■ `:=■ di61m va nh口 cc di6nl cia bi6u diё n tn thic bふ ng luat Bi6u diё n trithic bttg lutt dttC bi∝ hm hieu trongコ血mg tinh huOng he thOng ctt dlFa nhing h油 dong dva vao nhing Sv kien c6 th6 quan sttt dllgco N6 c6 nhing lFu diem chinh yeu sau day: ・ cac lutt rtt da hi6u nen c6 thё dё dttg ding d6 traO dOi v6i ngubi ding(Vi n6 1a mOttrOng nhmg dttg tv nhien cta ngOn n鱗 ● C6th6 dё )。 dang xay dllng duoc co ch6 suy luan va giaithich t)cac luat ・ viec hiou chinh va bao tri he thong la tlFOng dOi ● C6the caitien de dang de tich hop cac luatrno ・ de dang cac lutt thlFё ng it phu thuOC VaO ● ● Nhrcc diem: cac trithic phic tap dOiliC dё i h6i qua nhiё u(httg ng泣 )lutt Sinh Diё u nけ se lanl Sinh nhieu van de lien quan den tOc d0 1an quan tri he thong。 ThOng ke cho thけ ,nglroi xaア dmg he thong trftue nhan t.0 1hich si dung lu針 sinh hon ttt ca phlFmg phtt khac(de hieu,de cai dュ )nen ho thtFё ng tim m9i cach de bieu dien tri thic bttng lutt Sinh cho di c6 phlFCllg phtt khaC thich h9p hon! D∼ la nhuoc diem mang tinh chi quan cia nglFbi。 Co s6 tri thic lutt Sinh 16m sё l激 n gi6i han kha nttg tirn kielll cta chumg trinh dieu khien.Nhieu he thong gう p kh6 khユ n vieC dinh gia cac he dva trOn luat sinh cing nhlF gap kh6 khう n suy luan tren luat sinh Mlng suy diё n tinh toin Khii niOn18 Mang tinh tom [la mOt dang bieu dien trithic c6 the d面 g bieu dien cac tri thic ve cac vtt de tinh tom va dlFoC tt dung mOt CiCh c6 hieu qua de giai mOt so dang baitom。 ル6J g′ シあわd4厖 g 7zα 4カ θσ g η gあ 力σ 乃″αあθbJ∂ 4ソa″力″ η び厖ιCaJ“ ′ν a η θ′″ση σ ダ″ “ “ ttο ν s′ グ c σ Jθ σ ′ 2あ わd4.Ching ta xё t mot mang tinh toin gOm motta)hqp CiC 4g dソσ ″ bi6n cing v6i inot ttt Cac quan he(Chttg htt cac cong thic)tinh tOm gita cac bi6n Trong ing dung cu thё m5i bi6n va gia tri cia n6 thuthg gtt liё n v6i mOt khai niem cu thё vさ sり vれ ,m5i quan he thё hien mOt sv trithic vさ sv v無 Cic quan he Cho M={xl,x2"¨ ,Xm}n mOtt"h"“ 憶 cmgぜ hg Dl,D2,・・ ・,Dm・ Dl,D2,・ C bi6n c6 th6 1行 gia tti trong“ C miё n遜 c D6i v6i m6i quan he R⊆ ・ ・ ,Dm ta n6i r激 lg quan he n∼ R(xl,x2,¨ 。 ,Xm)hay DlxD2X・ ・ ・XDm tren cぉ ttt h" lien ket cac bien xl,x2,・ ・ ・ ,Xm'Va lけ hieu la Van ttt la R(x)(け hieu x ding d6 chi bO bi6n).Ta C6 the thay通ng quan he R(x)c6the dlFoC bieu dien b6i mOt漁 Vi6t:fR,Lv:u→ anh t hay v猛 畿 la f:u→ 血 Xa fR,u,v V6i u∪ V=x,va ta v D6i v6i cac quan he ding Cho vieC tinh toan,cach k′ hieu tren bao harl′ nghia nhlF la rnOt hanl:ta c6 th6 tinh dlFoC gia tri cia Cac bi6n thuoc v bi(光 duoc gia tri cta caC bi6n thu6c u Trong phan sau ta xё t cac quan he xac dinh b6i CiC hanl c6 dang f:u― )v,trong d6 u ∩V=0(t“ rong)・ 2ル g Dュc bietla cac 92α ″力 θ″夕χ C6 hang(rank)b2hg motsO nguyen dlFullg k.D61a cttc quan he ma ta c6 the tinh dlroc k bien btt kシ la bO gδ m m biё n)° cho u, v(1り nm_k bien kia(6 day x Ngoai ra,trong蜘 ぬg hqp cal n6ir5 ta宙 6t u(っ thay thay Cho v.D6i v6i cic quan he khong phaila d6i xing c6 hang k,khOng lm mtt tinh t6ng qu壼 ,ta c6 th6 gia st quan he xac dinh nhtt mot ham fv6it"bi6n va0 1a u(O vat"bien la v(0;ta goilooi quan he la quan he khOng d6i xing xac dinh mOt h温 ,hay θ腸∂ goi vtt ttt la 92α ″ヵ 昭 あJχ ルg Vf du:quan he fgitra g6cA,B,C tam giacABC cho b6i he thic: A+B+C=180 (dm vi:dO) C f:A+B+C=180 Hh血 2-:Quan he g6ctrongtam gMcABC Mang tinh tOin va cic H hiou ■bao NhlF da n6i tren,ta se xem x6t cic mttg tinh to力 gう m mott負 )hqp cac bi6n M va mottap hqp Cac quan he(tinh t。 漁1)F tren cac bi6n.Trong truぬ gh"t6ng qutt c6 th6 宙&: M={Xl,X2"¨ ,Xn}, F={1,f2,… ,塩 }。 DOi v6i mOi f∈ R taけ hieu M(o lat負 )cac bien c6 1ien he quan he f Di nhien M(0 1a mOtttt COn cia M:M(o⊆ Mo N6u宙 &fdu6i dttg: f:u(0-→ V(0 thita c6:M(o=u(0∪ V(0。 BaitOin tren ln,ng Suy diё n tinh tOin ChO mOt mang tinh tom(M,F),M lattt c“ bi6n va F la t“ c quan heo Gia tt c6 mot ttt bi∞ A⊆ M da dlFoC通 C dinh va B la mOtt"bi∞ b針 け 廿“ Ong cic vttn dさ dttt lう : M =C6thё xac dinh duoc ttt B n tゎ A nhO cac quan he F hay khOng?N6i J■ iet cich khac,ta c6 the tinh dlFoC gla tri cia Cac bien thuoc B v6i gl五 da biet gM tri Cta cic bien thuOcAhay kh6ng? =Neu c6 the xttc dinh dlFOC B tt A thi qutt trinh tinh toan gla tri cta caC bien thuOc B nhlFthe nお ? lg hq)khOng th6 xic dinh dlFoC B,thi ch chO them diё u kien gi d6 =Trong trLF挽 c6the xic dinh duoc B BaitOm xac dinh B ttAtten mttg tinh tottn(M,F)dl10C宙 et dlr6i dttg: A→ B, d6 A dlFoC g。 la gia thiet,IB dlFoC goila lnuc tieu tfnh toan cta bai toin Uu di6m&khuy6t di6m cia mlng suy di5n tinh toin ・ 」u di6m: ● Giai ducc htt h6t cic baitOm GT→ KL n6u nhu d“ mgd∼ 前 C gia th6t “ can thiet ・ Thutt tO`h dm gitt dё cai dtt chO nen viec bao tri he th6ng tlFCmg d6i dm glan。 ●C6th6 x∼ dl口 g he th6ng suy luれ va giaithich mOt Cach r6 rmg va dё hi6u O Khuy6tdi6m ●Do he th6ng Chi baO gさ mlcぃ (M,F)d6bi6u diё n tri thic ntt g“ phai nhmg baitOm pttct"thi c6 the x∼ ra宙 ec llFu tt kh6 khtt va nhtt nhttg Dё ng thbi viec x∼ qu狙 け。 kh遇 血→ phai d、 口g laithutt tOm la m∝ viec tlF∝lg d6i kh6 bao tri laitott bO he thOng ●D6i v6i cac baitom ma si dung nhiё u cac d6itlFttg tinh tom baitom tr6 nen phic tOp,viec giai quy6t bai toin bュ ng mang tinh toin tr6 nen kh6 khttn cho ngubi lap trinh。 働 血 “HIERARC肛 ぽ 血 魏 begin hierarchy itung cap caO>,く 舗1■ i情 四g Ca2p cao>,く 範1■ [く en lの [く en lの “ “ end_hierarchy c狙 廿 ituぃg cap thわ >] “i館 ぃg “ cap thあ >] tゎ tin“ OPERATORS.txt" “ begin_opentors IKtom■ 1>,く k腱 旭腱 tqu>,I,く kiё i tOtt httg 2>,… 1] [■ o“ 籠 2>,Kk踵瓶腱tqu>,[くkiё utOm hang l>,く kiё u tom httg 2>,… ]] [Kto猛 ■ 3>,Kk腱 瓶腱tqu>,[く kiё u tOm httg l>,く kiё u tom httg 2>,… ]] end_operators ch廿 tin“ OPERATORS DER枚 t" `ctね begin operators def begin deinO_operatorくo缶 ■ loフ hieu)>(CtOtt httg l>,Kto缶 嫌ng2>,… ) くc“ ntom httg>:く kiё u tOm han, :く kiё u tom httg> retumく kitt doituongtravさ > begin proc くc“ qui enむ Ю ttL tinh tO如 レ hayく 血i ttc thh toか C end operators def ,tin“ FttCTIONS.枚 t" c狙 廿 `c総 begiⅢ nctiOns くk遷油tivё cぬ httm l>く 総nhm l>(く 10・ i cttL《嬌is6 1>,… 。 ){tinh く 使 h httm 2>←4oOi Cia 66i s6 2>,¨ end_functions begin=inctions begiLinction l:く 簑狐 httm>(く く 艶iS6 1>,… 。 ) : :く i61cれ “ ittg>:kiれ resultく begin=proc “ i6 “ a“ i情 “ ■掟 "g■ end ttproc properties end_properties end hnction begin=function 酬． hnction 月 “ 日 ． ｍ． hnctions 。 Chtt cだL ham} ){ti」l Chtttta hml} ヽ begin rules begiり le l kind rllle=“ Kkiё u th“ c tinh> くcお 綸n thuoc tinh> くk踵 旭thu9c tf」 h> itumg nan 2>,… “ ] end varlables begin_constraints end constralnts begin_oonsmct relatiOns くsv kitt quan he thi&“ p> end consmct relations begin_prOperties end relation begin relation end_relation end_computation_re lations begin_rules begin rule l kind nlle=``く loai luaじ >'' くcお n dOitucng>:; “ doituo■lg>:; ￨く d6i tucnlg>。 Vf du:GOC[A,B,C]=GOC(dl,d2),Hl=I‐ S″ くthuoC tinh>=く ham> IMCⅢ EU体 ,d) ル″4′ οαJ fθ r Sv kien ve sv bttg cta mOt httm v6i mOt harn khic cau tmc slF kien: くham>=く ham> Vi du:KHOANGCACH(d,dl)=KHOANGCACH(dl,d2) S″ 々′θ4′ οαJ′ fr Sv kien ve sy phu thuoC Cia in9t hm theO cac ha[L hay c“ dOi tuong khic thOng qua rnot COng thic tinh toin cau ttic slr kien: くhう m>=く bi6u thic theo cic hanl hay Cic d6itucnlg> Vi du:GOC(d,dl)=GOC(d,d2)十 GOC(d,d3)。 S″ た 4′ οαJノ 2r Sv kien vё sv phu thuOC gita cac h油 hay Cac d6itlrOng thOng qua rnot 'θ dttg thic theo“c hatt hay“ c d6i tlF01g ch tmcsv kie■ くdttng thic theo cic hanl hay Cic dOitlrcng> Vi du:GOC(d,dl)+GOC(d,d3)=GOC[A,B,C].a+GOC(d,d2) Dinh nghh CiC blr“ giiicho mO hinh COKB: Deduce_from3s:suy cac sv kien looi tき cac sv kien looi Deduce_from43s:suy cac sv kien in61 looi 3慣 i cac sv kien loai va bttg cach thay the cac bien Sv kien loai vao stF kien loai DeducO_froln53s:suy cic sv kien in6i looi 3,4,5 di cac sv kien looi va bttg cぉ h thay th6“ c bi6n trOng sv kien loai vao su kien loai DeducO_from45s:suy cac sv kien in6i looi tき cac sv kien looi va bttg cach glai he phlFmg trinh。 5。 DeducO_from8s:suy cic sv kien loai tき cac slF kien loai 6.Deductfrom983st suy ra“ c sv`ien b■ 3,8金 c sv kien looi 3,8,9 bttg cach thay the cac sv kien lo。 18(hay sv kien looi 3)vao“ cac sv kien l。 i9 。 Deduce_ bjectsi thvc hien suy dien va tfl」 h toan ben Cau lric cta ttg dOi tlFOng.Cac dOi ttFOng thanl gia vao bu6c giai c6 kha nユ ng thanl gia vao cac bu6c giai c6 kha nttng thvc hien cic h油 vi nhat dinh de phat sinh sv kien m6i,thlFC hien suy dien tinh toan tren cic thuoc tinh cta d6i tlFOng,ban than doitucng hay cac d6i(v∝ lg lien quan dlFoC thi&1(ゎ tren nan cta d6itucmg 8。 DeducO_froll19s:suy cac sv kien looi 2,3,6,7,8籠 cic sv kien looi bふ ng cach thtrc hiOn tinh toan h油 9.DeducO Rules:dё 10。 tim lutt c6 the tt dung dlFoC Deduce Funcs:dδ tim htt c6th6 4)(“ ng dlroc 11.Deduce EqsGoal:giai he phlFOng trinh don gi力n g6nl n phuong trinh n触 」u diem cia m6 hinh COKB Th6ng qua nhttg khtti n1911rl ve cac in6 hinh bieu dien tri thic tieu bieu da ducc biet ta da th∼ duoC mOt SO IFu diem cing nhu nhimg khuyet diem cta ching.De lam r6 h∝ lta c6 bang liet ke lFu khuy6t cta cac phlFOng phゎ bi6u diё n tri thic: RPhip Nhrgc di 」u di ― ― ― ― Luat sinh C`phtt dOn glan,de hieu,dien dich dOn Rtt kh6 theo d6i sv ph`流 gi加 ,tinh dα l thё caO,linh dong(d5diё u cap,khOng hieu qua nhing he thOng 16n,khOng chinh)。 the biou dien ducc mol dang mO ta.c6cau t五 c theO“c m6i ｎ ｎ dδ ｎ 一 α M4ng ngfr De theo d5isy phan cゎ ,se lien he,linh dong nghia 前晦 騰， 雌 脚′ ︶ ∞ 山血 叩品 looi tri thic,rat y6u trOng viec bieu dien cac tri thic nhttLg,kh6 xuけ cac ngOol lo,kh6 1節 廿inh。 〉 M4ng tinh cliai ducc hau het cた bai toan GT→ KL KhOng giai duoc cac tri to6n neu nhu dtt thg dtt di Cac gia thia c加 thic pttc tap,llFu tt kh6 thiet。 khtt va nh"nhttg Thutt tO力n dαn gl`n de cai dtt chO nen v19c bao tri he thong tuσ ng d6i don gian quan l′ DOng thOi viec x∼ dl口 g C6the xay dlFllg he thong suy luan va giai 10i thuat tOan la mOt viec thich mot cach r6 rあ ng va dё hi6u tlFOng d6i kh6 khttn→ bao trlloitott bo he th6ng・ Frame C6sic manh dien d“ tot,de cai dtt cic thuOC tinh cho cac slot c■ lg nhu cac m6i lien he, de dang tlo cac■ i ttc chuyen bi(光 h6a,de dlFa VaO Cac thong tin lnュ c dinh va de thvc hien cac thao tac phtt hien cic Kh6 1如 廿inh,kh6 suy dien, thieu phan mem ho tro gitt tri bi thieu s6t Bttg 2-:Bttg liet ke cac lru khuyet cia cac phumg ph“ m6hinh Ta nhね th∼ “ Ы6u diё n bieu dien tri thic tritttc bttg Frame"la m6 hinh bi6u dian tti■ ic tucllg d6i d6i hOttithien nhtt trOng ttt ca cac phlF∝ lg ph:ゎ Nhumg khuy6t diё m cta m6 hinh d6 1a kh6 1如 trinh Va thi6u phan mam h5 tr。 TrOng khilFu di6m cta mo hinh COKB la: _ ¨ ctt t託 c tu挽 lg minh gi“ dё dttg thi6t k6 cac m6dun truy ctt CO S6 trithic Thich hcP cho viec thi6t k6 mOt cO s6 trithic v6i cac khai niem c6 th6 dlFOC biё u dien b6i cac d6itlFOng tinh toan ― Tien 19i cho vieC thiet ke cac in6dun giai baitOan tv dOng ― Thich hop cho viec dinh dang rnot ng6n ngサ khai b6o baitoan va dぅ c ta baitoan m6t cach tt nhien ― ヨ躍T甲 籠■ ヨ 躊 銅降 ― = 畢硬 「 va ttttt lFll ttmt血 面 皿 cho c“ mO hm bitt ditt triぬ :電 「 COKB n tthmけ ば 聰 F響 ・ ― ― 1島 血 饉 面 cttg cv 価 ng thuhgo N80ai二 “va sv tt trg oれ`thay轟 品 轟 1ぬ Ma2pleⅢ mё m tt s6劇L“漁 “盟理 On理 世1毎 日曲 硼 饉 磁 酪 饉 se laコ 嶺 饉ng“ cho面 抽 山 COKB.Va dva vぁ =Ю 柚血 COKB dugc mtt bけ o櫛"motが 均 dwng ChO機 磁se dlr9c tt bけ vお chuCngtttmeot 、 ヽ ヽ [...]... giiicho mO hinh COKB: 1 Deduce_from3s:suy ra cac sv kien looi 2 tき cac sv kien looi 2 Deduce_from43s:suy ra cac sv kien in61 looi 3 i cac sv kien loai 3 va 4 bttg cach thay the cac bien trong Sv kien loai 3 vao stF kien loai 4 3 DeducO_froln53s:suy ra cic sv kien in6i looi 3, 4,5 di cac sv kien looi 3 va 5 bttg cぉ h thay th6“ c bi6n trOng sv kien loai 3 vao su kien loai 5 4 DeducO_from45s:suy ra cac sv... m6 hinh COKB the hien tri thic ve cic httn hay n6i cach khic la the hien tri thic ve cac khai n19m va cac qui ac tinh tOm tren cic bien thuc cullg nhu tren cac 10。 ic_o可 eCt,dlroc xay dmg thOng qua cac quan he tinh to`m dang h油 。M6i hanl duoc xac dinh b6iく ten ham>,danh sach cac doi so va mOt quitttC dinh nghia ham ve phlFOng dien toan hoc Tいヽ∞ Rules cic lu針 M51lutt chO ta mot quitic suy luれ d6n cac. .. cac sv kien in6i looi 3 tき cac sv kien looi 4 va 5 bttg cach glai he phlFmg trinh。 5。 DeducO_from8s:suy ra cic sv kien loai 7 tき cac slF kien loai 8 6.Deductfrom983st suy ra“ c sv`ien b■ 3, 8金 c sv kien looi 3, 8,9 bttg cach thay the cac sv kien lo。 18(hay sv kien looi 3) vao“ cac sv kien l。 i9 。 7 Deduce_ bjectsi thvc hien suy dien va tfl」 h toan ben trong Cau lric cta ttg dOi tlFOng .Cac dOi ttFOng thanl... c dinh va de thvc hien cac thao tac phtt hien cic Kh6 1如 廿inh,kh6 suy dien, thieu phan mem ho tro gitt tri bi thieu s6t Bttg 2-:Bttg liet ke cac lru khuyet cia cac phumg ph“ m 6hinh Ta nhね th∼ “ Ы6u diё n bieu dien tri thic tritttc bttg Frame"la m6 hinh bi6u dian tti■ ic tucllg d6i d6i hOttithien nhtt trOng ttt ca cac phlF∝ lg ph:ゎ Nhumg khuy6t diё m cta m6 hinh d6 1a kh6 1如 trinh Va thi6u phan mam... theo lnO hinh CC)KB Ngon nglr dlc ti theo n16 hinh COKB: Ng6n ngO dic ta theo m6 hinh COKB duOc x∼ dtt dё dang COKB.NgOn ngl nけ baO gOm cicth汁 血 ph`流 bi6u diё n chO cac tri thic c6 : ― T“ h"“ C ‐ Tき vttg:n kh6a vaten _ cac kieu dirlieu i cac ki(ゝ ld,li(読 Ico ban va cacl。 。ic6 cau ttc … cac bieu thic va cau _ cac cau lenh。 ‐ Ci ph`ゎ kftv:cht,s6va cac d“ biet “ quy dinh chO Cttc th漱 血 ph′ h cta m6 hinh. .. EqsGoal:giai he phlFOng trinh don gi力n g6nl n phuong trinh n触 」u diem cia m6 hinh COKB Th6ng qua nhttg khtti n1911rl ve cac in6 hinh bieu dien tri thic tieu bieu da ducc biet ta da th∼ duoC mOt SO IFu diem cing nhu nhimg khuyet diem cta ching.De lam r6 h∝ lta c6 bang liet ke lFu khuy6t cta cac phlFOng phゎ bi6u diё n tri thic: RPhip Nhrgc di 」u di ― ― ― ― Luat sinh C`phtt dOn glan,de hieu ,dien dich dOn Rtt... nhing he thOng 16n,khOng chinh)。 the biou dien ducc mol dang mO ta.c6cau t五 c theO“c m6i ｎ ｎ dδ ｎ 一 α M4ng ngfr De theo d5isy phan cゎ ,se lien he,linh dong nghia 前晦 騰， 雌 脚′ ︶ ∞ 山血 叩品 looi tri thic,rat y6u trOng viec bieu dien cac tri thic nhttLg,kh6 xuけ cac ngOol lo,kh6 1節 廿inh。 〉 M4ng tinh cliai ducc hau het cた bai toan GT→ KL KhOng giai duoc cac tri to6n neu nhu dtt thg dtt di Cac gia thia c加 thic pttc... ,′ tlF6ng chinh cta framc(hay Cia phlFOng ph“ "。 14ぃ trinh hlF6ng dOi tlFttg)la khi bieu ditt mOt tri thic,ta se"gtt kem"nhing thao Mc thumg g“ tren tri ttic nほ Ch2mg han nhu khi m6 ta khai niem ve hinh chl nh針 ,ta Se gtt kё ′ ′ η 力chu m σ グ σ カ vl ,dien tich Frame thlFё ng duoc ding de bieu dien nhing trithic"chu舗 "hoュ c nhing tri thic dlFoC xay dvng dva tren nhing kinh nghiellll hoュ C Cac dttc di6111... d6n cac 。 M5i lutt suy di5n c6 dttg: {cac thuOC tinh cta d6i憶 "g hay btt thtt d6itlF叫 sv kien gia thi6t}⇒ {cic Sv kien k6tlu如 } M 6hinh cho mOt dOitlFm2 tinh tom (c_obiect) MOt C-0可 ectC6 th6 duoc mo hinh h6a b6i mot bo 6 th漱 血ph′h chinh: (BaSiCO,Attrs,CRela,Rules,Prop,Cons) Trong d6: ― BasicO:la t“ h "caC d6itlF"g nan cia mOt d6ituttg。 ‐ Attrs:la ttt h"cic thuoc tinh cta d6itlF"g。 ‐CRela lattt h "Cac. .. TrOng khilFu di6m cta mo hinh COKB la: _ ¨ ctt t託 c tu挽 lg minh gi“ dё dttg thi6t k6 cac m6dun truy ctt CO S6 trithic Thich hcP cho viec thi6t k6 mOt cO s6 trithic v6i cac khai niem c6 th6 dlFOC biё u dien b6i cac d6itlFOng tinh toan ― Tien 19i cho vieC thiet ke cac in6dun giai baitOan tv dOng ― Thich hop cho viec dinh dang ra rnot ng6n ngサ khai b6o baitoan va dぅ c ta baitoan m6t cach tt nhien ― ヨ躍T甲