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

Khoa Coâng Ngheä Thoâng Tin - 2001

CuuDuongThanCong.com

https://fb.com/tailieudientucntt

Hoaøng Kieám Ñoã Vaên Nhôn

Noä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/tailieudientucntt

I. Khaùi nieäm veà ñoái töôïng tính toaùn

1.1 Giôùi thieäu

1.2 Ñònh nghóa

1.3 moâ hình

Khoa Coâng Ngheä Thoâng Tin - 2001

CuuDuongThanCong.com

https://fb.com/tailieudientucntt

1.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.

Khoa Coâng Ngheä Thoâng Tin - 2001

CuuDuongThanCong.com

https://fb.com/tailieudientucntt

° 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.

1.2 Ñònh nghóa

Moä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

Khoa Coâng Ngheä Thoâng Tin - 2001

CuuDuongThanCong.com

https://fb.com/tailieudientucntt

thuoäc tính cuûa ñoái töôïng hay treân caùc söï kieän nhö:

„ 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.

Khoa Coâng Ngheä Thoâng Tin - 2001

CuuDuongThanCong.com

https://fb.com/tailieudientucntt

„ Xem xeùt tính xaùc ñònh cuûa ñoái töôïng, hay cuûa moät söï kieän.

Ví duï:

,

Khoa Coâng Ngheä Thoâng Tin - 2001

CuuDuongThanCong.com

https://fb.com/tailieudientucntt

„ 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.

1.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ø

Khoa Coâng Ngheä Thoâng Tin - 2001

CuuDuongThanCong.com

https://fb.com/tailieudientucntt

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.

Ví duï: Ñoái töôïng “TAM_GIAC” ñöôïc bieåu dieãn theo moâ hình treân goàm coù:

mb, mc, pa, pb, pc, S, p, R, r, ra, rb, rc

° Attrs = GocA, GocB, GocC, a, b, c, ha, hb, hc, ma,

° F = GocA + GocB + GocC = Pi, a*sin(GocB) =

° Facts =

b*sin(GocA), a^2 = b^2 + c^2 - 2*b*c*cos(GocA), ...

{a = b}, ° Rules = {GocA = GocB}

{GocA = GocB},

{a^2 = b^2+c^2, b c},

{a = b} {GocA=pi/2}

Khoa Coâng Ngheä Thoâng Tin - 2001

CuuDuongThanCong.com

https://fb.com/tailieudientucntt

...

II. Moâ hình tri thöùc veà caùc ñoái töôïng

tính toaùn

2.1 Giôùi thieäu

2.2 Moâ hình

2.3 Ví duï aùp duïng

Khoa Coâng Ngheä Thoâng Tin - 2001

CuuDuongThanCong.com

https://fb.com/tailieudientucntt

2.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 boä trong öùng duïng trong khi kieán thöùc cuûa 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ø caùc loaïi ñoái töôïng khaùc nhau vôùi nhöõng moái quan heä höõu cô.

Khoa Coâng Ngheä Thoâng Tin - 2001

CuuDuongThanCong.com

https://fb.com/tailieudientucntt

„ Ví duï: caïnh a cuûa moät tam giaùc laø moät thuoäc tính cuûa ñoái töôïng tam giaùc, khi xeùt nhö moät ñoái töôïng ñoäc laäp thì noù laø moät “ñoaïn thaúng”, laø moät loaïi ñoái töôïng coù nhöõng luaät rieâng cuûa noù.

„ Ñeå coù moät moâ hình bieåu dieãn tri thöùc roäng hôn coù theå söû duïng trong vieäc xaây döïng moät heä cô sôû tri thöùc vaø giaûi toaùn veà caùc loaïi ñoái töôïng khaùc nhau ta caàn phaûi xem xeùt khaùi nieäm ñoái töôïng tính toaùn trong moät heä thoáng khaùi nieäm caùc ñoái töôïng cuøng vôùi caùc loaïi söï kieän, caùc loaïi quan heä khaùc nhau vaø caùc daïng luaät lieân quan ñeán chuùng.

Khoa Coâng Ngheä Thoâng Tin - 2001

CuuDuongThanCong.com

https://fb.com/tailieudientucntt

„ Moâ hình tri thöùc veà caùc ñoái töôïng tính toaùn laø moâ hình cho moät daïng cô sôû tri thöùc bao goàm caùc khaùi nieäm veà caùc ñoái töôïng coù caáu truùc cuøng vôùi caùc loaïi quan heä vaø caùc coâng thöùc tính toaùn lieân quan.

2.2 Moâ hình

„ Ta goïi moät moâ hình tri thöùc veà caùc ñoái töôïng tính toaùn, vieát taét laø moät moâ hình COKB (Computational Objects Knowledge Base), laø moät heä thoáng (C, H, R, Ops, Rules) goàm:

° Moät taäp hôp C caùc khaùi nieäm veà caùc ñoái töôïng tính toaùn

Khoa Coâng Ngheä Thoâng Tin - 2001

CuuDuongThanCong.com

https://fb.com/tailieudientucntt

„ Moãi khaùi nieäm laø moät loaïi ñoái töôïng tính toaùn coù caáu truùc vaø ñöôïc phaân möùc theo söï thieát laäp cuûa caáu truùc ñoái töôïng, goàm: bieán thöïc, ñoái töôïng cô baûn, ñoái töôïng möùc 1 vaø ñoái töôïng möùc 2.

„ Caùc ñoái töôïng cô baûn coù caáu truùc roãng hoaëc coù caáu truùc goàm moät soá thuoäc tính thuoäc kieåu thöïc. Caùc ñoái töôïng loaïi naày coù theå laøm neàn cho söï thieát laäp caùc ñoái töôïng ôû möùc cao hôn.

„ Caùc ñoái töôïng tính toaùn möùc 1 coù moät thuoäc tính loaïi vaø coù theå ñöôïc thieát laäp töø moät danh saùch neàn caùc ñoái töôïng cô baûn.

Khoa Coâng Ngheä Thoâng Tin - 2001

CuuDuongThanCong.com

https://fb.com/tailieudientucntt

„ Caùc ñoái töôïng tính toaùn möùc 2 coù caùc thuoäc tính loaïi real vaø caùc thuoäc tính thuoäc loaïi ñoái töôïng möùc 1, vaø ñoái töôïng coù theå ñöôïc thieát laäp treân moät danh saùch neàn caùc ñoái töôïng cô baûn.

töôïng

° Moät taäp hôp H caùc quan heä phaân caáp giöõa caùc loaïi ñoái

Khoa Coâng Ngheä Thoâng Tin - 2001

CuuDuongThanCong.com

https://fb.com/tailieudientucntt

„ Treân taäp hôïp C ta coù moät quan heä phaân caáp theo ñoù coù theå coù moät soá khaùi nieäm laø söï ñaëc bieät hoùa cuûa caùc khaùi nieäm khaùc, chaúng haïn nhö moät tam giaùc caân cuõng laø moät tam giaùc, moät hình bình haønh cuõng laø moät töù giaùc. Coù theå noùi raèng H laø moät bieåu ñoà Hasse khi xem quan heä phaân caáp treân laø moät quan heä thöù töï treân C.

° Moät taäp hôp R caùc khaùi nieäm veà caùc loaïi quan heä treân caùc

loaïi ñoái töôïng

„ Moãi quan heä ñöôïc xaùc ñònh bôûi vaø caùc loaïi ñoái töôïng cuûa quan heä, vaø quan heä coù theå coù moät soá tính chaát trong caùc tính chaát sau ñaây: tính chaát phaûn xaï, tính chaát ñoái xöùng, tính chaát phaûn xöùng vaø tính chaát baéc caàu.

° Moät taäp hôp Ops caùc toaùn töû

Khoa Coâng Ngheä Thoâng Tin - 2001

CuuDuongThanCong.com

https://fb.com/tailieudientucntt

„ Caùc toaùn töû cho ta moät soá pheùp toaùn treân caùc bieán thöïc cuõng nhö treân caùc ñoái töôïng, chaúng haïn caùc pheùp toaùn soá hoïc vaø tính toaùn treân caùc ñoái töôïng ñoaïn vaø goùc töông töï nhö ñoái vôùi caùc bieán thöïc.

° Moät taäp hôp Rules goàm caùc luaät

„ Caùc luaät theå hieän caùc tri thöùc mang tính phoå quaùt treân caùc khaùi nieäm vaø caùc loaïi söï kieän khaùc nhau. Moãi luaät cho ta moät qui taéc suy luaän ñeå ñi ñeán caùc söï kieän môùi töø caùc söï kieän naøo ñoù, vaø veà maët caáu truùc noù goàm 2 thaønh phaàn chính laø: phaàn giaû thieát cuûa luaät vaø phaàn keát luaän cuûa luaät. Phaàn giaû thieát vaø phaàn keát luaän ñeàu laø caùc taäp hôïp söï kieän treân caùc ñoái töôïng nhaát ñònh.

„ r : sk1, sk2, ..., skn

sk1, sk2, ..., skm

Khoa Coâng Ngheä Thoâng Tin - 2001

CuuDuongThanCong.com

https://fb.com/tailieudientucntt

„ Moät luaät r coù theå ñöôïc moâ hình döôùi daïng:

* Phaân loaïi söï kieän:

„ Moãi söï kieän laø moät phaùt bieåu khaúng ñònh moät tính chaát veà moät hay moät soá ñoái töôïng tính toaùn. ÔÛ ñaây chuùng ta xem xeùt 6 loaïi söï kieän khaùc nhau nhö sau:

Ví duï: Ob laø moät tam giaùc.

° Phaùt bieåu veà loaïi (hay tính chaát) cuûa moät ñoái töôïng.

° Phaùt bieåu veà tính xaùc ñònh cuûa moät ñoái töôïng (caùc thuoäc

Khoa Coâng Ngheä Thoâng Tin - 2001

CuuDuongThanCong.com

https://fb.com/tailieudientucntt

tính coi nhö ñaõ bieát) hay cuûa moät thuoäc tính. Ví duï: Giaû söû ñoaïn AB trong tam giaùc ABC ñöôïc cho tröôùc.

° Phaùt bieåu veà söï xaùc ñònh cuûa moät thuoäc tính hay moät ñoái

„ Ví duï: ñoaïn AB = 2*m^2 + 1 (vôùi m ñöôïc cho tröôùc),

töôïng thoâng qua moät bieåu thöùc haèng.

goùc ABC = / 3.

tính vôùi moät ñoái töôïng hay moät thuoäc tính khaùc.

° Söï kieän veà söï baèng nhau giöõa moät ñoái töôïng hay moät thuoäc

„ Ví duï: thuoäc tính a cuûa ñoái töôïng Ob thuoäc loaïi tam

Khoa Coâng Ngheä Thoâng Tin - 2001

CuuDuongThanCong.com

https://fb.com/tailieudientucntt

giaùc = ñoaïn CD, ñoái töôïng Ob1 = ñoái töôïng Ob2.

° Söï kieän veà söï phuï thuoäc cuûa moät ñoái töôïng hay cuûa 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.

„ Ví duï: O1.a = O2.a + 2*O2.b

thuoäc tính cuûa caùc ñoái töôïng.

° Söï kieän veà moät quan heä treân caùc ñoái töôïng hay treân caùc

Khoa Coâng Ngheä Thoâng Tin - 2001

CuuDuongThanCong.com

https://fb.com/tailieudientucntt

„ Ví duï: ñoaïn AB song song vôùi ñoaïn CD, ñieåm M thuoäc ñoaïn AB.

2.3 Ví duï aùp duïng

„ Phaàn kieán thöùc veà caùc tam giaùc vaø caùc töù giaùc trong hình hoïc phaúng coù theå ñöôïc bieåu dieãn theo moâ hình tri thöùc veà caùc ñoái töôïng tính toaùn nhö döôùi ñaây.

‟ Ñieåm.

° Caùc khaùi nieäm veà caùc ñoái töôïng goàm:

‟ Ñoaïn thaúng.

‟ Goùc.

Khoa Coâng Ngheä Thoâng Tin - 2001

CuuDuongThanCong.com

https://fb.com/tailieudientucntt

‟ Caùc loaïi tam giaùc vaø caùc loaïi töù giaùc.

° Caùc quan heä phaân caáp giöõa caùc loaïi ñoái töôïng:

Khoa Coâng Ngheä Thoâng Tin - 2001

CuuDuongThanCong.com

https://fb.com/tailieudientucntt

„ Giöõa caùc khaùi nieäm veà caùc loaïi tam giaùc vaø caùc loaïi töù giaùc coù caùc quan heä phaân caáp theo söï ñaëc bieät hoùa cuûa caùc khaùi nieäm, ñöôïc theå hieän bôûi caùc bieåu ñoà sau ñaây:

Khoa Coâng Ngheä Thoâng Tin - 2001

CuuDuongThanCong.com

https://fb.com/tailieudientucntt

° Caùc khaùi nieäm veà caùc loaïi quan heä giöõa caùc loaïi ñoái töôïng:

„ Caùc quan heä giöõa caùc khaùi nieäm bao goàm caùc loaïi quan heä

nhö:

‟ Quan heä thuoäc veà cuûa 1 ñieåm ñoái vôùi moät ñoaïn thaúng.

‟ Quan heä trung ñieåm cuûa moät ñieåm ñoái vôùi moät ñoaïn

‟ Quan heä song song giöõa 2 ñoaïn thaúng.

thaúng.

‟ Quan heä vuoâng goùc giöõa 2 ñoaïn thaúng.

Khoa Coâng Ngheä Thoâng Tin - 2001

CuuDuongThanCong.com

https://fb.com/tailieudientucntt

‟ Quan heä baèng nhau giöõa 2 tam giaùc.

° Caùc toaùn töû:

„ Caùc toaùn töû soá hoïc vaø caùc haøm sô caáp cuõng aùp duïng ñoái vôùi caùc ñoái töïng loaïi “ñoaïn thaúng” vaø caùc ñoái töôïng loaïi “goùc”.

° Caùc luaät:

loaïi söï kieän khaùc nhau.

„ Caùc luaät theå hieän caùc ñònh lyù hay qui taéc suy dieãn treân caùc

„ Ví duï: Moät tam giaùc ABC coù 2 caïnh AB vaø AC baèng

c thì

c.

Khoa Coâng Ngheä Thoâng Tin - 2001

CuuDuongThanCong.com

https://fb.com/tailieudientucntt

nhau thì tam giac laø tam giaùc caân taïi A. Vôùi 3 ñoaïn thaúng a, b vaø c, neáu a // b vaø a ta coù b

III. Toå chöùc cô sôû tri thöùc COKB

3.1 Caùc thaønh phaàn

3.2 Bieåu ñoà lieân heä giöõa caùc thaønh phaàn

Khoa Coâng Ngheä Thoâng Tin - 2001

CuuDuongThanCong.com

https://fb.com/tailieudientucntt

3.1 Caùc thaønh phaàn cuûa COKB

chöùc goàm:

„ Moät cô sôû tri thöùc veà caùc ñoái töôïng tính toaùn coù theå ñöôïc toå

° Taäp tin “Objects.txt” löu tröõ caùc ñònh danh (hay teân goïi) cho

° Taäp tin “RELATIONS.txt” löu tröõ thoâng tin veà caùc loaïi

caùc khaùi nieäm veà caùc loaïi ñoái töôïng.

quan heä khaùc nhau treân caùc loaïi ñoái töôïng.

° Taäp tin “Hierarchy.txt” löu laïi caùc bieåu ñoà Hasse theå hieän

Khoa Coâng Ngheä Thoâng Tin - 2001

CuuDuongThanCong.com

https://fb.com/tailieudientucntt

quan heä phaân caáp ñaëc bieät hoùa treân caùc khaùi nieäm.

° Caùc taäp tin vôùi teân taäp tin coù daïng “.txt” ñeå löu tröõ caáu truùc cuûa loaïi ñoái töôïng .

° Taäp tin “Operators.txt” löu tröõ caùc thoâng tin veà caùc toaùn töû

° Taäp tin “FACTS.txt” löu tröõ thoâng tin veà caùc loaïi söï kieän

treân caùc ñoái töôïng.

khaùc nhau.

Khoa Coâng Ngheä Thoâng Tin - 2001

CuuDuongThanCong.com

https://fb.com/tailieudientucntt

° Taäp tin “RULES.txt” löu tröõ heä luaät cuûa cô sôû tri thöùc.

3.2 Bieåu ñoà lieân heä giöõa caùc thaønh phaàn cuûa

COKB

Khoa Coâng Ngheä Thoâng Tin - 2001

CuuDuongThanCong.com

https://fb.com/tailieudientucntt

IV. Giaûi toaùn treân ñoái töôïng tính toaùn

4.1 Caùc vaán ñeà cô baûn cho haønh vi ñoái töôïng

4.2 Phöông phaùp giaûi quyeát vaán ñeà

4.3 Caùc ví duï

Khoa Coâng Ngheä Thoâng Tin - 2001

CuuDuongThanCong.com

https://fb.com/tailieudientucntt

4.1 Caùc vaán ñeà cô baûn cho haønh vi ñoái töôïng

° Vaán ñeà 1:

„ Xeùt tính giaûi ñöôïc cuûa baøi toaùn GT

° Vaán ñeà 2:

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.

„ Tìm moät lôøi giaûi cho baøi toaùn GT

Khoa Coâng Ngheä Thoâng Tin - 2001

CuuDuongThanCong.com

https://fb.com/tailieudientucntt

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.

° 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 toaùn KL giaûi ñöôïc, trong ñoù GT vaø KL laø caùc taäp hôïp

kieän trong GT trong tröôøng hôïp baøi

° Vaán ñeà 4:

söï GT nhöõng söï kieän treân caùc thuoäc tính cuûa ñoái töôïng.

„ Xeùt tính xaùc ñònh cuûa ñoái töôïng döïa treân moät taäp söï kieän

Khoa Coâng Ngheä Thoâng Tin - 2001

CuuDuongThanCong.com

https://fb.com/tailieudientucntt

cho tröôùc treân caùc thuoäc tính cuûa ñoái töôïng.

4.2 Giaûi quyeát vaán ñeà

° Ñònh nghóa veà “söï hôïp nhaát” cuûa caùc söï kieän.

Khoa Coâng Ngheä Thoâng Tin - 2001

CuuDuongThanCong.com

https://fb.com/tailieudientucntt

„ Ví duï veà caùc söï kieän hôïp nhaát vôùi nhau: DOAN[A,B] vaø DOAN[A,B]. TAM_GIAC[A,B,C]. a vaø DOAN[B,C]. Ob.a = (m+1)^2 vaø Ob.a = m^2 + 2*m + 1. Ob1 = Ob2 vaø Ob2 = Ob1. a^2 = b^2 + c^2 vaø b^2 = a^2 ‟ c^2. “a song song b” vaø “b song song a”.

° Ñònh nghóa veà moät böôùc giaûi laø moät böôùc suy ra söï kieän môùi töø moät soá söï kieän ñaõ bieát thuoäc moät trong caùc daïng suy luaän nhö: suy dieãn maëc nhieân, aùp duïng luaät suy dieãn, aùp duïng quan heä tính toaùn, giaûi heä phöông trình, …

„ Ví duï veà caùc böôùc giaûi:

Khoa Coâng Ngheä Thoâng Tin - 2001

CuuDuongThanCong.com

https://fb.com/tailieudientucntt

„

if

then

„

Khoa Coâng Ngheä Thoâng Tin - 2001

CuuDuongThanCong.com

https://fb.com/tailieudientucntt

„

° Ñònh nghóa veà moät lôøi giaûi cuûa moät baøi toaùn vaø tính giaûi

ñöôïc döïa treân quan heä “bao haøm hôïp nhaát”.

° Thöïc hieän quaù trình tìm lôøi giaûi theo caùch suy dieãn tieán vôùi söï aùp duïng cuûa moät soá qui taéc heuristic, keát hôïp vôùi kyõ thuaät loaïi boû caùc böôùc dö thöøa ñeå ruùt goïn lôøi giaûi.

“TAM_GIAC”, vôùi

„ Ví duï 1: Xeùt baøi toaùn GT KL treân ñoái töôïng

„ GT = a, b=1, c, GocA = m*(b+c), GocA = 2*GocB ,

„ Keát quaû: baøi toaùn giaûi ñöôïc.

Khoa Coâng Ngheä Thoâng Tin - 2001

CuuDuongThanCong.com

https://fb.com/tailieudientucntt

„ KL = GocB, GocC .

„ Ví duï 2: Xeùt baøi toaùn GT KL treân ñoái töôïng

“TAM_GIAC”, vôùi

„ GT = a, b=5, GocA = m*(b+c), GocA = 2*GocB,

a^2=b^2+c^2 , KL = GocB, GocC .

„ Lôøi giaûi:

„ 1. Suy ra töø

„ 2. Suy ra töø

Khoa Coâng Ngheä Thoâng Tin - 2001

CuuDuongThanCong.com

https://fb.com/tailieudientucntt

„ 3. Suy ra töø

„ 5. Suy ra töø

„ 4. Suy ra töø

„vaø

Khoa Coâng Ngheä Thoâng Tin - 2001

CuuDuongThanCong.com

https://fb.com/tailieudientucntt

„ 6. Suy ra töø

* Keát luaän:

°Thích hôïp cho vieäc thieát keá moät côù sôû tri thöùc vôùi caùc khaùi nieäm coù theå ñöôïc bieåu dieãn bôûi caùc ñoái töôïng tính toaùn.

ª Moâ hình COKB ñöôïc xaây döïng coù caùc öu ñieåm sau:

°Caáu truùc töôøng minh giuùp deã daøng thieát keá caùc moâñun

truy caäp cô sôû tri thöùc.

°Tieän lôïi cho vieäc thieát keá caùc moâ ñun giaûi baøi toaùn töï

°Thích hôïp cho vieäc ñònh ra moät ngoân ngöõ khai baùo baøi

ñoäng.

Khoa Coâng Ngheä Thoâng Tin - 2001

CuuDuongThanCong.com

https://fb.com/tailieudientucntt

toaùn vaø ñaëc taû baøi toaùn moät caùch töï nhieân.

ª Caùc moâ hình vaø thuaät giaûi ñöôïc ñeà xuaát coù theå laøm coâng cuï cho vieäc xaây döïng caùc heä giaûi baøi toaùn döïa treân tri thöùc, caùc heä cô sôû tri thöùc, vaø caùc phaàn meàm daïy hoïc vôùi söï hoã trôï giaûi toaùn thoâng minh.

ª Höôùng phaùt trieån:

Khoa Coâng Ngheä Thoâng Tin - 2001

CuuDuongThanCong.com

https://fb.com/tailieudientucntt

„ Phaùt trieån moät heä cô sôû tri thöùc cho moâ hình COKB.