Bài giảng Mô hình tri thức các đối tượng tính toán

Chia sẻ: Sdfcdxgvf Sdfcdxgvf | Ngày: | Loại File: PDF | Số trang:15

Thêm vào BST

Báo xấu

82
lượt xem 15
download

Download Vui lòng tải xuống để xem tài liệu đầy đủ

Bài giảng Mô hình tri thức các đối tượng tính toán nhằm trình bày các nội dung chính: trong nhiều vấn đề giải toán dựa trên tri thức ta thường đề cập đến các đối tượng khác nhau và mỗi đối tượng có cấu trúc bào gồm một số thuộc tính và những quan hệ nhất định giúp chúng ta thực hiện được sự suy diễn và tính toán.

Chủ đề:

Bình luận(0) Đăng nhập để gửi bình luận!

Lưu

Nội dung Text: Bài giảng Mô hình tri thức các đối tượng tính toán

• Trong nhieàu vaán ñeà giaûi toaùn döïa treân tri thöùc ta thöôøng ñeà caääp ñeán caùc ñoái töông khaùc nhau vaø ï g moãi ñoái töôïng coù caáu truùc bao goàm moät soá thuoäc tính vôùi nhöõng quan heä nhaát ñònh giuùp ta thöïc q g hieän söï suy dieãn, tính toaùn • Caáu truùc ñoái töôïïng treân moäät soá haønh vi giaûi toaùn g nhaát ñònh ñeå taïo ra moät ñoái töôïng ï • Nhieàu baøi toaùn khaùc nhau coù theå ñöôc bieåu dieãn döôùi daïng maïng caùc ñoái töôïng 1 2 • Moät danh saùch caùc thuoäc tính Attr(O) = {x1, x2,..., xn} trong ñoù moãi thuoäc tính laáy giaù trò – Xaùc ñònh bao ñoùng cuûa moät taäp hôïp thuoäc tính A ⊂ Attr(O) trong moät mieààn xaùc ñònh nhaáát ñònh, vaø giöõa – Xaùc ñònh tính giaûi ñöôïc cuûa baøi toaùn suy dieãn tính caùc thuoäc tính ta coù caùc quan heä theå hieän qua toan coù daïng toaùn co dang A → B vôi A ⊂ Attr(O) vaø B ⊂ vôùi va caùc söï kieän, caùc luaät suy dieããn hay caùc coâng Attr(O) thöùc tính toaùn – Thöc hieän cac tính toaùn Thöïc caùc toan • Caùc haønh vi lieân quan ñeán söï suy dieãn vaø tính – Xem xeùt tính xaùc ñònh cuûa ñoái töôïng, hay cuûa toaùn treân caùc thuoäc tính cuûa ñoái töôïng hay moäät söïï kieään treân caùc söï kieän nhö : 3 4
• Caáu truùc tam giaùc goàm caùc yeáu toá nhö : 3 caïnh • baøi toaùn {a,B,C} ⇒ S a, b, c; 3 goùc töông öùng vôùi 3 canh : α, β, γ; 3 , , ; g g ï , ñöôøng cao töông öùng : ha, hb, hc; dieän tích S • cung caááp moät lôøi giaûûi goààm 3 böôùc sau : cuûa tam giaùc, v.v … cuøng vôùi caùc coâng thöùc lieân – Böôùc 1: Xaùc ñònh A bôûi coâng thöùc A = π -B-C; heä giöõa chuùng seõ trôû thaønh moät ñoáái töôïng tính – Böôùc 2: Xaùc ñònh b bôûi coâng thöùc b = a.sin(B)/sin(A); toaùn khi ta tích hôïp caáu truùc naày vôùi caùc haønh vi – Böôùc 3: Xaùc ñònh S bôûi coâng thöùc S = a.b.sin(C)/2; xö ly lien xöû lyù lieân quan ñeán vieäc giaûi baøi toaùn tam giaùc ñen giai bai toan giac cuõng nhö caùc haønh vi xem xeùt moät söï kieän naøo ño lien ñoù lieân quan ñeán caùc thuoäc tính hay chính baûn ñen cac ban thaân ñoái töôïng. Ñoái töôïng tam giaùc g 5 6 (Attrs, F, Facts, Rules) • Attrs = { GocA, GocB, GocC, a, b, c, ha, hb, hc, ma, mb, mc, pa, pb, pc, S, p, R, r, ra, rb, rc } • Attrs laø taäp hôïp caùc thuoäc tính cuûûa ñoáái töôïng • F = { GocA + GocB + GocC = Pi, a*sin(GocB) = b*sin(GocA), • F laø taäp hôïp caùc quan heä suy dieãn tính toaùn • a^2 = b^2 + c^2 - 2*b*c*cos(GocA) . . . } 2*b*c*cos(GocA), • Facts laø taäp hôïp caùc tính chaát hay caùc söï kieän • Facts = {} vo co cua ño töôï g voán coù cuûa ñoái töông • Rules = { {GocA = GocB}⇒ {a = b}, • vaø Rules laø taäp hôïp caùc luaät suy dieãn treân caùc {a = b} ⇒ {GocA = GocB}, {a^2 = b^2+c^2}⇒{GocA=pi/2}, söï sö kieän lieân quan ñeán caùc thuoäc tính cung lien ñen cac cuõng {GocA=pi/2} ⇒ {a^2 = b^2+c^2, b ⊥ c}, nhö lieân quan ñeán baûn thaân ñoái töôïng ...} 7 8
MOÂ HÌNH TRI THÖÙC CAÙC ÑOÁI TÖÔÏNG TÍNH TOAÙN • Attrs = { a, b, c, d, c1, c2, GA, GB, GC, GD, . . .} • Moãi loaïi ñoái töôïng tính toaùn khi xeùt rieâng bieät • F = { GA + GB + GC + GD = 2*Pi, a+b+c+d = p, 2*Pi +b+ +d chæ the hieän ñöôïc moät phan tri thöc co tính chat theå ñöôc phaàn thöùc coù chaát 2*S = a*d*sin(GA)+ b*c*sin(GC), cuïc boä trong öùng duïng trong khi kieán thöùc cuûa 2 S a*b*sin(GB)+ c*d*sin(GD) 2*S = a b sin(GB)+ c d sin(GD), . . . } con ngöôøi veà moät lónh vöïc hay moät phaïm vi kieán thöùc naøo ñoù thöôøng bao goààm caùc khaùi nieäm vaø • Facts = {} caùc loaïi ñoái töôïng khaùc nhau vôùi nhöõng moái • Rules = { {a // c} ⇒ {GD=Pi-GA GB=Pi-GC {GD=Pi-GA, GB=Pi-GC, quan heä höõu cô höu GOC[A,B,D]=GOC[C,D,B], • Ví duï: caïnh a cuûa moät tam giaùc laø moät thuoäc tính GOC[C,A,B]=GOC[A,C,D]}, [ , , ] [ , , ]}, cua ñoi töôïng cuûa ñoái töông tam giaùc khi xeùt nhö moät ñoái giac, xet ñoi {GOC[C,A,B]=GOC[A,C,D]} ⇒ {a // c}, töôïng ñoäc laäp thì noù laø moät “ñoaïn thaúng”, laø moät {a=c, b=d} ⇒ {a // c, b // d}, ...} loaïi ñoái töôïng coù nhöõng luaät rieâng cuûa noù. 9 10 MOÂ HÌNH TRI THÖÙC CAÙC ÑOÁI TÖÔÏNG TÍNH TOAÙN • Moâ hình tri thöùc veà caùc ñoái töôïng tính toaùn laø mo moâ hình cho moät dang cô sôû tri thöùc bao goàm daïng sô thöc gom (C, H R Ops (C H, R, Ops, Rules) caùc khaùi nieäm veà caùc ñoái töôïng coù caáu truùc cuøng • Moät taäp hôp C caùc khaùi nieäm veà caùc C-Object vôi cac loaïi vôùi caùc loai quan heä vaø caùc coâng thöùc tính toaùn va cac cong thöc toan • M ät taääp hôp H caùùc quan heää phaâân caááp giöõõa caùùc loaïi Moä h h h i l lieân quan. ñoái töôïng • M ät t äp hôp R caùùc kh ùi nieääm veàà caùùc loaïi quan heää Moä taä hô khaù i l h treân caùc C-Object • Moät taäp hôp Ops cac toan töû caùc toaùn tö • Moät taäp hôp Rules goàm caùc luaät ñöôïc phaân lôùp 11 12
• Moãi khaùi nieäm laø moät lôùp C-Object coù caáu • Caáu truùc beân trong cuûa moãi lôùp ñoái töôïng goàm truc t ù vaø ñöô c phan cap th söï thiet l äp cua ñöôï h â á theo ö thi át laä û – Kieu ñoái töông Kieåu ñoi töôïng caáu truùc ñoái töôïng: – Danh saùch caùc thuoäc tính – Quan heä tren caáu truc thieát laäp treân cau truùc thiet [1] Caùùc bieáán thöïc, nguyeâân C bi h – Taäp hôïp caùc ñieàu kieän raøng buoäc treân caùc thuoäc tính [2] Caùc ñoái töôïng cô baûn coù caáu truùc roãng hoaëc – Taäp hôïp caùc tính chaát noäi taïi lieân quan ñeán caùc thuoäc tính coùù caááu t ùc goààm moäät soáá thuoääc tính thuoääc kieååu truù th tí h th ki cuûa ñoái töôïng thöïc – Taäp hôïp caùc quan heä suy dieãn - tính toaùn [3] Cac ñoi töông C Object cap 1 Caùc ñoái töôïng C-Object caáp – T äp hô p caùùc l ät suy dieããn treâân caùùc loaïi söï kieään khaùùc nhau Taä hôï luaä di t l ö ki kh h [4] Caùc ñoái töôïng C-Object caáp 2 lieân quan ñeán caùc thuoäc tính cuûa ñoái töôïng hay baûn thaân ñoái töôïng 13 14 • Treân taäp hôïp C ta coù moät quan heä phaân • Moãi quan heä ñöôïc xaùc ñònh bôûi vaøø caùùc l i ñ ái töôïng cuûûa quan h ä. loaï ñoá heä laø söï ñaëc bieät hoùa cuûa caùc khaùi nieäm khac, chang haïn khaùc chaúng han nhö moät tam giac cangiaùc caân • Quan heää coù theå coù moäät soá tính chaát trong Q g cuõng laø moät tam giaùc, moät hình bình haønh caùc tính chaát sau ñaây: tính chaát phaûn xaï, cung la cuõng laø moät töù giaùc tö giac. tính chaát ñoái xöng, tính chaát phaûn xöùng chat ñoi xöùng, chat phan xöng • Coù theå noùi raèng H laø moät bieåu ñoà Hasse vaø tính chaát baéc caàu. khi xem quan heää phaâân caááp treâân laøø moäät h h t l quan heä thöù töï treân C. 15 16
Taäp hôp Rules goàm caùc luaät ñöôïc phaân lôùp • Caùc toaùn töû cho ta moät soá pheùp toaùn treân • Moãi luaät cho ta moät qui taéc suy luaän ñeå ñi caùùc bieáán thöïc cuõõng nhö treâân caùùc ñoáái bi h h ñ ñeá ñ án caùùc söï ki än môùùi töøø caùùc söï kieään naøøo kieä ki töôïng, chaúng haïn caùc pheùp toaùn soá hoïc ño. vaø tính toaùn treân caùc ñoái töôïng ñoaïn vaø • Phaàn giaû thieát vaø phaàn keát luaän ñeàu laø g goùc töông töïï nhö ñoái vôùi caùc bieán thöïïc g cac caùc taäp hôïp söï kieän tren caùc ñoi töôïng hôp sö treân cac ñoái töông nhaát ñònh. • r : {sk1 sk2 ..., skn} ⇒ { sk1 sk2 ..., skm } {sk1, sk2, sk1, sk2, 17 18 • Moãi söï kieän laø moät phaùt bieåu khaúng ñònh moät – Phaùt bieåu veà söï xaùc ñònh cuûa moät thuoäc tính hay moät ñoái töôïng thoâng qua moät bieåu thöùc haèng. tính chaát veà moät hay moät so ñoái töôïng tính chat ve soá ñoi töông • Ví duï: ñoaïn AB = 2*m^2 + 1, goùc B = π / 3. toaùn. ÔÛ ñaây chuùng ta xem xeùt 6 loaïi söï kieän – Söï kieän veà söï baèng nhau giöõa moät ñoái töôïng hay moät khac khaùc nhau : thuoäc tính vôùi moät ñoi töông hay moät thuoäc tính khac. vôi ñoái töôïng khaùc. • Ví duï: Ví duï: thuoäc tính a cuûa ñoái töôïng Ob thuoäc loaïi – Phaùt bieåu veà loaïi (hay tính chaát) cuûa moät ñoái tam giaùc = ñoaïn CD, ñoái töôïng Ob1 = ñoái töôïng Ob2. töôïng. töông – Sö kieän veà sö phuï thuoäc cua moät ñoi töôïng hay cuûa Söï ve söï phu cuûa ñoái töông cua • Ví duï: Ob laø moät tam giaùc moät thuoäc tính theo nhöõng ñoái töôïng hay caùc thuoäc tính khaùc thoâng qua moät coâng thöùc tính toaùn – Phaùt bieåu veà tính xac ñònh cua moät ñoái töông (caùc Phat bieu ve xaùc cuûa ñoi töôïng (cac • Ví duï: O1.a = O2.a + 2*O2 b du: O1 a O2 a 2*O2.b thuoäc tính coi nhö ñaõ bieát) hay cuûa moät thuoäc tính – Söï kieän veà moät quan heä treân caùc ñoái töôïng hay treân caùc thuoäc tính cuûa caùc ñoái töôïng • Ví du: Giaû söû ñoan AB trong tam giaùc ABC duï: Gia sö ñoaïn giac • Ví duï: ñoaïn AB song song vôùùi ñ n CD d ñ ñoaï CD, ñöôïc cho tröôùc 19 ñieåm M thuoäc ñoaïn AB. 20
• Phaàn kieán thöùc veà caùc tam giaùc vaø caùc töù • Caùc khaùi nieäm veà caùc ñoái töôïng goàm: giaùùc trong hì h h c phaúúng coùù theåå ñ c i hình hoï h h ñöôï – Ñieåm, ñöôøng thaúng bieåu dieãn theo moâ hình tri thöùc veà caùc ñoái – Ñoan thaúng Goc. Ñoaïn thang, Goùc töôïng tính toaùn. – Caùc loaïi tam giaùc vaø caùc loaïi töù giaùc. 21 22 • Caùc quan heä phaân caáp giöõa caùc loaïi ñoái töôïng: • Caùc quan heä giöõa caùc loaïi ñoái töôïng –QQuan h ä thuoääc veàà cuûûa 1 ñieååm ñ ái vôùùi moäät heä h ñi ñoá ñoaïn thaúng. – Quan heä trung ñieååm cuûûa moät ñieååm ñoáái vôùi moät ñoaïn thaúng. – Quan heä song song giöõa 2 ñoaïn thaúúng. – Quan heä vuoâng goùc giöõa 2 ñoaïn thaúng. – Quan heä baèng nhau giöõa 2 tam giaùc. 23 24
• Caùc toaùn töû • Taäp tin “Objects.txt” – C ùc t ùn töû soáá h c vaøø caùùc h øm sô caááp cuõõng aùùp d ng Caù toaù hoï haø ô duï • Taäp tin “RELATIONS.txt” ñoái vôùi caùc ñoái töïng loaïi “ñoaïn thaúng” vaø caùc ñoái töôïng loai goc . töông loaïi “goùc”. • Taäp tin “Hierarchy.txt” • Caùc luaät • Caùc taäp tin vôùi teân taäp tin coù daïng “.t t ñeå löu tröõ caáu truùc cuûa eä C-Object>.txt” ñe öu t ö cau t uc cua treân caùc loaïi söï kieän khaùc nhau loaïi ñoái töôïng • Ví duï: Moät tam giaùc ABC coù 2 caïnh AB vaø AC baèng nhau thì tam giac laø tam giaùc caân taïi A. • Taäp tin “Operators txt” Operators.txt Vôùi 3 ñoaïn thaúng a, b vaø c, neáu a // b vaø a ⊥ c thì ta coù b • Taäp tin “RULES.txt” ⊥ c. 25 26 27 28
begin_Objects begin_Relations [, , , ... ], {, , ...} ... [, , , ... ], {, , ...} ... end_Relations end Relations 29 30 Caáu truùc taäp tin “.txt” begin_object: [caùc ñoái töôïng neàn] begin_Hierarchy : ; [, ] end_variables begin_constraints [, ] begin_properties end_properties d i ... begin_computation_relations end_computation_relations end_Hierarchy end Hierarchy begin_rules begin rules end_rules end_object 31 32
begin_variables : ; h í h ki : ; begin_computation_relations ... begin_relation begin relation end_variables flag= begin_constraints g _ Mf={caùc thuoäc tính} ... rf=1 end_constraints vf={ghi thuoäc tính keát quaû neáu flag = 0} begin_properties expf= `bi å thöù tí h t ù ` f bieu thöc tính toan cost =
begin_Objects begin Objects DIEM begin_rules DOAN begin_rule g _ TIA DUONG_THANG DUONG THANG kind_rule = ""; GOC : ; TAM_GIAC TAM_GIAC_CAN : ; ñoá ki ñoá TAM_GIAC_DEU ... TAM_GIAC_VUONG TAM_GIAC_VUONG_CAN hypothesis_part: hypothesis part: TU_GIAC TU GIAC {caùc söï kieän giaû thieát cuûa luaät} HINH_THANG HINH_THANG_CAN goal_part: HINH_THANG_VUONG { caùc söï kieän keát luaän cuûa luaät hoaëc laø "Object"} HINH_BINH_HANH HINH_CHU_NHAT end_rule HINH_THOI end_rules end rules HINH_VUONG HINH VUONG end_Objects 37 38 begin_Hierarchy begin_Relations TAM_GIAC_CAN, TAM_GIAC TAM GIAC CAN TAM GIAC [THANG, DIEM DIEM DIEM], {"doi_xung"} [THANG DIEM, DIEM, DIEM] {"d i "} TAM_GIAC_DEU, TAM_GIAC_CAN [THUOC,DIEM,DOAN], {} [NTHUOC,DIEM,DOAN], [NTHUOC DIEM DOAN] {} TAM_GIAC_VUONG, TAM_GIAC [TRUNGDIEM,DIEM,DOAN], {} HINH_BINH_HANH, TU_GIAC [ [TRONG,DIEM,TAM_GIAC],{} , , _ ],{} HINH_VUONG, HINH_BINH_HANH [SSONG,DOAN,DOAN], {"doi_xung", "truyen"} end_Hierarchy y ……………….. end_Relations 39 40
begin_object: TAM_GIAC[A,B,C]; begin_constraints A, B, C : DIEM; begin_variables S > 0; GocA : GOC[C,A,B]; p > 0; GocB : GOC[A,B,C]; GOC[A B C]; GocC : GOC[B,C,A]; R > 0; a : DOAN[B,C]; b : DOAN[A,C]; r > 0; c : DOAN[A,B]; end_constraints ha,hb,hc,ma,mb,mc,pa,pb,pc : DOAN; S,p,R,r,ra,rb,rc : real; begin_properties end_variables end_properties 41 42 begin_computation_relations begin_relation 0 begin_rules begin_rule 1 flag = 0 kind_rule = ""; Mf ={GocA,GocB,GocC} hypothesis_part: rf =1 {GocA = GocB} vf ={} f {} end_hypothesis_part end hypothesis part expf =` GocA + GocB + GocC = Pi ` goal_part: {a = b} cost=2 end_goal_part end goal part end_relation end_rule begin_relation begin relation 1 begin_rule 2 g _ flag = 0 kind_rule = ""; hypothesis_part: Mf ={a, b, c, GocA} {a = b} rf =1 1 end_hypothesis_part vf ={a} goal_part: expf =` a^2 = b^2 + c^2 - 2*b*c*cos(GocA)` {GocA = GocB } cost=19 end_goal_part d l end_rule end_relation 43 44
begin_constraints S > 0; begin_object: HINH_VUONG[A,B,C,D] p > 0; A, B, C, D : DIEM; begin_variables begin variables end_constraints end constraints a : DOAN[A,B]; # canh begin_properties b : DOAN[B,C]; # canh c : DOAN[C D]; # canh DOAN[C,D]; GA = Pi / 2; GB = Pi / 2; GC = Pi / 2; GD = Pi / 2; d : DOAN[D,A]; # canh b = a; c = a; d = a; c1 : DOAN[A,C]; # duong cheo ["VUONG", a, b]; c2 : DOAN[B,D]; # duong cheo [ , ]; g GA : GOC[D,A,B]; # goc ["VUONG", b, ] ["VUONG" b c]; GB : GOC[A,B,C]; # goc ["VUONG", c, d]; GC : GOC[B,C,D]; # goc GD : GOC[C,D,A]; # goc [ VUONG d, ["VUONG", d a]; S , p : real; ["SSONG", a, c]; end_variables ["SSONG", b, d]; ["VUONG", c1, c2]; end_properties 45 46 • V á ñ à 1 X ùt tính giai ñöô c cua b øi t ù GT ⇒ Van ñe 1: Xet tí h i ûi ñöôï û bai toan • Thích hôïp cho vieäc thieát keá moät côù sôû tri thöùc KL, trong ñoù GT vaø KL laø caùc taäp hôïp nhöõng söï kieän treân caùc thuoäc tính cuûa ñoái töôïng vôi cac khaùi vôùi caùc khai nieäm coù theå ñöôc bieåu dien bôi co the ñöôïc bieu dieãn bôûi • Vaán ñeà 2: Tìm moät lôøi giaûi cho baøi toaùn GT ⇒ KL, caùc C-Object. trong ñoù GT vaø KL laø caùc taäp hôïp nhöõng söï kieän • Caáu truc töông minh giup deã daøng thieát ke Cau truùc töôøng giuùp de dang thiet keá tren caùc treân cac thuoäc tính cuûa ñoi töông cua ñoái töôïng caùc moâñun truy caäp cô sôû tri thöùc. • Vaán ñeà 3: Thöïc hieän tính toaùn caùc thuoäc tính trong taäp hôïp KL töø caùc söï kieän trong GT trong tröôøng • Tieän lôïi cho vieäc thieát keá caùc mo ñun giaûi bai lôi thiet ke cac moâ giai baøi hôïp bai toan hôp baøi toaùn GT ⇒ KL giai ñöôïc, trong ñoù GT va giaûi ñöôc ño vaø toaùn töï ñoäng. KL laø caùc taäp hôïp nhöõng söï kieän treân caùc thuoäc tính cuûa ñoái töôïng. • Thích hôïp cho vieäc ñònh ra moät ngoân ngöõ khai hôp ngon ngö • Vaáán ñeàà 4: Xeùt tính xaùc ñònh cuûa ñoáái töôïng döïa treân baùo baøi toaùn vaø ñaëc taû baøi toaùn moät caùch töï moät taäp söï kieän cho tröôùc treân caùc thuoäc tính cuûa nhieân. ñoái töôïïng 47 48
° “söï hôïp nhaát” cuûa caùc söï kieän. • Ví duï veà caùc söï kieän hôïp nhaát vôùi nhau ° moät böôùc giaûi laø moät böôùc suy ra söï kieän môùi DOAN[A,B] DOAN[A B] vaøø DOAN[B,A]. DOAN[B A] töø moät soá söï kieän ñaõ bieát thuoäc moät trong caùc TAM_GIAC[A,B,C]. a vaø DOAN[B,C]. Ob.a Ob a = (m+1)^2 va Ob a = m^2 + 2*m + 1 vaø Ob.a 1. daïng suy luaän nhö: suy dieããn maëc nhieân, aùp Ob1 = Ob2 vaø Ob2 = Ob1. duïng luaät suy dieãn, aùp duïng quan heä tính a^2 = b^2 + c^2 vaø b^2 = a^2 – c^2. toaùn, giaûûi heä phöông trình…. “a song song b” vaø “b song song a”. 49 50 • Ví duï veà caùc böôùc giaûi: 1 GocB, GocA = π 1 2 •⇒ GocC = π − GocB 2 GocA + GocB + GocC = π ⇒ b2 = a2 − c2 if a2 = b2 + c2 then 1 GocA = π 2 1 1 ⇒ GocC = π •⇒ GocA = π 6 2 51 52
• Ví duï: Xeùt baøi toaùn GT ⇒ KL treân ñoái töôïng “TAM_GIAC”, vôùi , 1 • 4 Suy ra { GocB } 4. S töø { G B = π } GocB • GT = {a, b=5, GocA = m*(b+c), GocA = 2*GocB, 1 4 • 5. Suy ra { GocC = π } töø a^2=b^2+c^2}, KL = { GocB, GocC}. 4 • Lôøi giaûi: 1 1 { GocA = π, GocB = π } •vaø 1 2 4 • 1. Suy ra { GocB= GocA} töø { GocA = 2 GocB } 21 GocA + GocB + GocC = π • 2. Suy ra { GocA = π } töø { a 2 = b 2 + c 2 } 1 2 1 • 6. Suy ra { GocC } töø { GocC = π } • 3. Suy ra { GocB = π } töø 4 4 1 1 { GocB = GocA, GocA = π } 2 2 53 54 IV. Maïng caùc C-Object • Ñoái vôùi moät CO-Net (O, F), khi chuùng ta phaûi xem xeùt 1. Mo Moâ hình moät taäp sö kieän muc tieâu G vaø muoán khaûo saùt nhöõng söï muïc tieu va muon khao sat nhöng Giaû söû coù moät moâ hình COKB = (C, H, R, Ops, Rules). vaán ñeà suy dieãn vaø tính toaùn (hay giaûi toaùn) caùc söï kieän Moät maïng caùc C-Object trong moâ hình COKB, vieát trong G töø maïng thì ta noùi raèng ta coù moät baøi toaùn treân vaéén taéét bôûûi CO-Net, laø moät boä (O, F) vôùi: CO-Net. Baøi toaùn naàày seõ ñöôïc kyù hieäu laø: O laø moät taäp hôïp caùc C-Object (hay caùc ñoái töôïng), • (O, F) ⇒ G moi ñoi töôïng co moãi ñoái töông coù moät teân cu theå vaø thuoäc moät khaùi ten cuï the va khai nieäm ñöôïc bieát trong COKB. F laø moät taäp hôïp söï kieän, moãi söï kieän theå hieän moät tính chaáát hay moät lieân heä naøo ñoù treân caùc ñoáái töôïng hay treân caùc thuoäc tính cuûa caùc ñoái töôïng. 55 56
Ví du: Cho hình bình haønh ABCD. Giaû söû M vaø N laø duï: hanh Gia sö va la 2 ñieåm treân AC sao cho AM = CN. Chöùng minh raèng tam giaùc ABM baèng tam giaùc CDN. Baøi toaùn coù theå bieåu dieãn döôùi daïng (O, F) ⇒ G nhö sau: O = { O1, O2, O3} Trong ñoù O1 laø hình bình haønh ABCD, O2 laø tam giaùc ABM vaø O3 laø tam giaùc CDN (ñöôïc xaây döïng treân caùc ñieåm A, B, C, D, M vaø N). F = { O2.b = O3.b (caïnh AM = caïnh CN), M ∈ AC, N ∈ AC, O2.c = O1.a (canh AB = canh AB) c a (caïnh caïnh AB), O3.c = O1.a (caïnh CD = caïnh CD) } G = { O2 = O3 } 57 58 Phöông phaùp giaûi baøi toaùn Thöïc hieän phöông phaùp suy dieãn tieán/luøi keát hôïp vôùi moät soá qui taéc heuristic. Ô ÔÛ moããi b ùc giaûûi ta kh âng chæ aùùp d ng caùùc l ät suy böôù i khoâ hæ duï luaä dieãn maø coøn thöïc hieän caùc tính toaùn thích hôïp vaø aùp duïng cac ñoi töôïng. dung caùc ñoái töông. Söû duïng caùc daïng suy luaän khaùc nhau coù theå phaùt sinh ñöôïc caùc söï kieän môùi töø caùc söï kieän ñaõ bieát döïa treân vieäc xem xeùt söï hôïp nhaát cuûa caùc söï kieän. 59