ỨNG DỤNG MÔ HÌNH COKB TRONG THIẾT KẾ

CƠ SỞ TRI THỨC VỀ ÐẠI SỐ TUYẾN TÍNH

 

Ðỗ Văn Nhơn

Ðại học Quốc gia Tp.HCM

 

Tóm tắt:

 

"Mô hình tri thức các đối tượng tính toán" (viết tắt là mô hình COKB) được trình bày trong bài báo cáo tại hội thảo khoa học kỷ niệm 25 năm thành lập Viện Công Nghệ Thông Tin). Mô hình được xây dựng theo cách tiếp cận hướng đối tượng trong đó kết hợp các kỹ thuật biểu diễn cấu trúc, biểu diễn thủ tục, biểu diễn mạng, biểu diễn theo đối tượng và các kỹ thuật tính toán symbolic trên máy tính. Các thành phần của mô hình COKB gồm (1) Tập khái niệm về các đối tượng tính toán C, (2) Biểu đồ H thể hiện quan hệ phân cấp trên các loại đối tượng, (3) Tập hợp R các quan hệ trên các loại đối tượng, (4) Tập hợp Op thể hiện tri thức về các toán tử, và (5) Tập hợp Rule gồm các luật. Mô hình COKB được ký hiệu bởi (C,H,R,Op,Rule). mô hình COKB cũng đã được phát triển thành mô hình COKB mở rộng bao gồm 6 thành phần và được ký hiệu bởi bộ sáu (C,H,R,Op,Func,Rule), trong đó thành phần Func thể hiện tri thức về các khái niệm và các qui tắt được xây dựng thông qua các quan hệ tính toán dạng hàm. Trong bài báo này sẽ trình bày việc ứng dụng mô hình trên để tiết kế cơ sở tri thức về đại số tuyến tính trong chương trình toán cao cấp trong hệ hỗ trợ giải toán đại số tuyến tính. Cách tiếp cận theo mô hình COKB giúp ta có được một cơ sở tri thức tốt phục vụ cho việc thiết kế mô đun suy diễn và ngôn ngữ đặc tả cho thành phần giao diện.