IV. Giại toán tređn đôi tượng tính toán
4.2 Giại quyêt vân đeă
° Định nghĩa veă “sự hợp nhât” cụa các sự kieơn. „ Ví dú veă các sự kieơn hợp nhât với nhau:
DOAN[A,B] và DOAN[A,B].
TAM_GIAC[A,B,C]. a và DOAN[B,C].
Ob.a = (m+1)^2 và Ob.a = m^2 + 2*m + 1. Ob1 = Ob2 và Ob2 = Ob1.
a^2 = b^2 + c^2 và b^2 = a^2 ‟ c^2.
“a song song b” và “b song song a”.
° Định nghĩa veă moơt bước giại là moơt bước suy ra sự kieơn mới từ moơt sô sự kieơn đã biêt thuoơc moơt trong các dáng suy luaơn
như: suy dieên maịc nhieđn, áp dúng luaơt suy dieên, áp dúng quan heơ tính toán, giại heơ phương trình, …
„ Ví dú veă các bước giại:
{ a 2 m 2 2 m 1, GocA , } 1 2 c 4 { a, c, GocA } , GocA 1 2 GocB 1 3
GocA GocB GocC
„ GocC 1
,
GocB GocA
1
2
GocA GocB GocC
„ GocC 1 2 GocB b 2 a 2 c 2 if a 2 b 2 c 2 then GocA 1 2 „ GocA 1 2
° Định nghĩa veă moơt lời giại cụa moơt bài toán và tính giại được dựa tređn quan heơ “bao hàm hợp nhât”.
° Thực hieơn quá trình tìm lời giại theo cách suy dieên tiên với sự áp dúng cụa moơt sô qui taĩc heuristic, kêt hợp với kỹ thuaơt lối bỏ các bước dư thừa đeơ rút gĩn lời giại.
„ Ví dú 1: Xét bài toán GT KL tređn đôi tượng “TAM_GIAC”, với
„ GT = a, b=1, c, GocA = m*(b+c), GocA = 2*GocB ,
„ KL = GocB, GocC .
„ Ví dú 2: Xét bài toán GT KL tređn đô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 giại: „ 1. Suy ra từ „ 2. Suy ra từ „ 3. Suy ra từ { GocB 1 } 2
GocA { GocA 2 GocB }
{ GocA 1 } 2 { a 2 b 2 c 2 } { GocB 1 } 4 { GocB 1 , } 2 GocA GocA 1 2
„ 4. Suy ra từ „ 5. Suy ra từ „ 6. Suy ra từ { GocB } { GocB 1 } 4 { GocC 1 } 4 { GocA 1 , } 2 GocB 1 4 „và
GocA GocB GocC
{ GocC } { GocC 1 }
* Kêt luaơn:
ª Mođ hình COKB được xađy dựng có các ưu đieơm sau:
°Thích hợp cho vieơc thiêt kê moơt cớ sở tri thức với các khái nieơm có theơ được bieơu dieên bởi các đôi tượng tính toán.
°Câu trúc tường minh giúp deê dàng thiêt kê các mođđun truy caơp cơ sở tri thức.
°Tieơn lợi cho vieơc thiêt kê các mođ đun giại bài toán tự đoơng.
°Thích hợp cho vieơc định ra moơt ngođn ngữ khai báo bài toán và đaịc tạ bài toán moơt cách tự nhieđn.
ª Các mođ hình và thuaơt giại được đeă xuât có theơ làm cođng cú cho vieơc xađy dựng các heơ giại bài toán dựa tređn tri thức, các heơ cơ sở tri thức, và các phaăn meăm dáy hĩc với sự hoê trợ giại toán thođng minh.
ª Hướng phát trieơn: