V. GIỚI THIEƠU, NHAƠN ĐỊNH MOƠT SÔ COĐNG TRÌNH NGHIEĐN CỨU.
Nhaơn định chung:
5.7 Phaăn meăm MAPLE
° MAPLE là phaăn meăm đái sô tính toán khá mánh với
phieđn bạn mới nhât là MAPLE 6.0.
° Chương trình khođng chư các tính toán sô mà cạ các tính toán ký hieơu (symbolic computation). Nó có moơt nhađn tính toán rât mánh và moơt heơ thông thư vieơn tính toán goăm nhieău gói chương trình (package) cho các phaăn tính toán toán hĩc khác nhau như đái sô tuyên tính, giại tích, hình hĩc, sô hĩc, v.v…
° Maple còn cho phép khạ naíng laơp trình với các câu trúc dữ lieơu trừu tượng.
° Tuy khạ naíng hoê trợ tính toán và laơp trình cụa Maple
đát đên trình đoơ rât cao nhưng chụ yêu là các thụ túc tính toán cho từng vân đeă đơn lẹ như giại moơt phương trình, tính đáo hàm cụa moơt hàm sô, thức hieơn các
phép tính tređn đa thức.
° Maple chưa thaơt sự cài đaịt moơt cơ sở tri thức cho các phaăn toán hĩc khác nhau với các boơ suy luaơn giại toán dựa tređn tri thức.
Đái Hĩc Quôc Gia TP.HCM - 2001
Nhaơn định chung:
TOƠNG KÊT
° Trong câu trúc cụa moơt heơ giại toán dựa tređn tri thức, 2
thành phaăn trung tađm là cơ sở tri thức và boơ suy dieên
dựa tređn tri thức.
° Các phương pháp bieơu dieên tri thức và suy dieên đã được nghieđn cứu và đeă xuât. Tuy nhieđn moêi phương pháp đeău có những nhược đieơm nhât định.
° Nhieău chương trình giại toán đã được xađy dựng nhưng còn hán chê như chưa dựa tređn những mođ hình tri thức
thich hợp cho cơ sở tri thức.