Bài giảng Biểu diễn tri thức và giải toán tự động: Phần 3 - Hoàng Kiếm & Đỗ văn Nhơn

Bài giảng "Biểu diễn tri thức và giải toán tự động: Phần 3 Mô hình tri thức về các đối tượng tính toán" có nội dung trình bày về khái niệm về đối tượng tính toán; Mô hình tri thức về các đối tượng tính toán; Tổ chức cơ sở tri thức; Giải toán trên một đối tượng tính toán. Mời các bạn cùng tham khảo!
Nội dung trích xuất từ tài liệu:
Bài giảng Biểu diễn tri thức và giải toán tự động: Phần 3 - Hoàng Kiếm & Đỗ văn Nhơn MOÂ HÌNH TRI THÖÙC VEÀ CAÙC ÑOÁI TÖÔÏNG TÍNH TOAÙN Hoaøng Kieám Ñoã Vaên NhônKhoa Coâng Ngheä Thoâng Tin - 2001 CuuDuongThanCong.com https://fb.com/tailieudientucnttNoäi duïng:I. Khaùi nieäm veà ñoái töôïng tính toaùn.II. Moâ hình tri thöùc veà caùc ñoái töôïng tính toaùn.III. Toå chöùc cô sôû tri thöùc.IV. Giaûi toaùn treân moät ñoái töôïng tính toaùn. Khoa Coâng Ngheä Thoâng Tin - 2001 CuuDuongThanCong.com https://fb.com/tailieudientucnttI. Khaùi nieäm veà ñoái töôïng tính toaùn1.1 Giôùi thieäu1.2 Ñònh nghóa1.3 moâ hình Khoa Coâng Ngheä Thoâng Tin - 2001 CuuDuongThanCong.com https://fb.com/tailieudientucntt1.1 Giôùi thieäu° 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ø 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 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 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. Caùch bieåu dieãn naày coù theå ñöôïc aùp duïng moät caùch coù hieäu quaû trong caùc heä giaûi toaùn, chaúng haïn nhö caùc heä giaûi caùc baøi toaùn hình hoïc. Khoa Coâng Ngheä Thoâng Tin - 2001 CuuDuongThanCong.com https://fb.com/tailieudientucntt1.2 Ñònh nghóaMoät ñoái töôïng tính toaùn laø ñoái töôïng O coù caáu truùc goàm:° 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ò trong moät mieàn xaùc ñònh nhaát ñònh, vaø giöõa caùc thuoäc tính ta coù caùc quan heä theå hieän qua caùc söï kieän, caùc luaät suy dieãn hay caùc coâng thöùc tính toaùn.° Caùc haønh vi lieân quan ñeán söï suy dieãn vaø tính toaùn treân caùc thuoäc tính cuûa ñoái töôïng hay treân caùc söï kieän nhö: Khoa Coâng Ngheä Thoâng Tin - 2001 CuuDuongThanCong.com https://fb.com/tailieudientucntt„ Xaùc ñònh bao ñoùng cuûa moät taäp hôïp thuoäc tính A Attr(O).„ Xaùc ñònh tính giaûi ñöôïc cuûa baøi toaùn suy dieãn tính toaùn coù daïng A B vôùi A Attr(O) vaø B Attr(O).„ Thöïc hieän caùc tính toaùn.„ Xem xeùt tính xaùc ñònh cuûa ñoái töôïng, hay cuûa moät söï kieän. Khoa Coâng Ngheä Thoâng Tin - 2001 CuuDuongThanCong.com https://fb.com/tailieudientucnttVí duï:„ Caáu truùc tam giaùc goàm caùc yeáu toá nhö : 3 caïnh a, b, c; 3 goùc töông öùng vôùi 3 caïnh : , , ; 3 ñöôøng cao töông öùng : ha, hb, hc; dieän tích S cuûa tam giaùc, v.v … cuøng vôùi caùc coâng thöùc lieân heä giöõa chuùng seõ trôû thaønh moät ñoái töôïng tính toaùn khi ta tích hôïp caáu truùc naày vôùi caùc haønh vi xöû lyù lieân quan ñeán vieäc giaûi baøi toaùn tam giaùc cuõng nhö caùc haønh vi xem xeùt moät söï kieän naøo ñoù lieân quan ñeán caùc thuoäc tính hay chính baûn thaân ñoái töôïng. Khoa Coâng Ngheä Thoâng Tin - 2001 CuuDuongThanCong.com https://fb.com/tailieudientucntt1.3 Moâ hình cho moät ñoái töôïng tính toaùn„ Moät ñoái töôïng tính toaùn coù theå ñöôïc moâ hình bôûi boä: „ (Attrs, F, Facts, Rules)„ Attrs laø taäp hôïp caùc thuoäc tính cuûa ñoái töôïng, F laø taäp hôïp caùc quan heä suy dieãn tính toaùn, Facts laø taäp hôïp caùc tính chaát hay caùc söï kieän voán coù cuûa ñoái töôïng, vaø Rules laø taäp hôïp caùc luaät suy dieãn treân caùc söï kieän lieân quan ñeán caùc thuoäc tính cuõng nhö lieân quan ñeán baûn thaân ñoái töôïng. Khoa Coâng Ngheä Thoâng Tin - 2001 CuuDuongThanCong.com https://fb.com/tailieudientucnttVí duï: Ñoái töôïng “TAM_GIAC” ñöôïc bieåu dieãn theo moâhình treân goàm coù:° Attrs = GocA, GocB, GocC, a, b, c, ha, hb, hc, ma, mb, mc, pa, pb, pc, S, p, R, r, ra, rb, rc° F = GocA + GocB + GocC = Pi, a*sin(GocB) = b*sin(GocA), a^2 = b^2 + c^2 - 2*b*c*cos(GocA), ...° Facts =° Rules = {GocA = GocB} {a = b}, {a = b} {GocA = GocB}, {GocA=pi/2} {a^2 = b^2+c^2, b c}, ... Khoa Coâng Ngheä Thoâng Tin - 2001 CuuDuongThanCong.com https://fb.com/tailieudientucnttII. Moâ hình tri thöùc veà caùc ñoái töôïng tính toaùn2.1 Giôùi thieäu2.2 Moâ hình2.3 Ví duï aùp duïng Khoa Coâng Ngheä Thoâng Tin - 2001 CuuDuongThanCong.com https://fb.com/tailieudientucntt2.1 Giôùi thieäu„ Moãi loaïi ñoái töôïng tính toaùn khi xeùt rieâng bieät chæ theå hieän ñöôïc moät phaàn tri thöùc coù tính chaát cuïc ...