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

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.
Nội dung trích xuất từ tài liệu:
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 ñöô ...