Định nghĩa 3.1: Mô hình cơ sở tri thức các đối tượng tính toán thu hẹp (Funcs- COKB model) là hệ thống cơ sở tri thức bao gồm 5 thành phần sau:
(C, R, Ops, Funcs, Rules) Trong đó:
(1)C là một tập hợp các khái niệm về các đối tượng tính toán thu hẹp.
Một đối tượng tính toán thu hẹp là một đối tượng O có cấu trúc gồm một bộ (Attrs, F, Rules). Trong đó, Attrs là tập các thuộc tính của đối tượng, F là tập các phương trình hay còn gọi là tập các quan hệ tính toán và Rules là tập các luật suy diễn trên các sự kiện liên quan đến các thuộc tính của đối tượng hay của bản thân đối tượng. Như vậy so với đối tượng tính toán trong mô hình COKB thì cấu trúc của đối tượng tính toán trong mô hình Funcs-COKB đơn giản hơn, cụ thể chỉ gồm 3 thành phần so với 4 thành phần của mô hình COKB, do đã giảm đi thành phần tập các ràng buộc trên các loại thuộc tính của đối tượng. Để rõ hơn, ta biểu diễn lại cấu trúc của đối tượng “tam giác” đã được đề cập ở ví dụ 2.1, theo cấu trúc mới thì đối tượng “tam giác” sẽ gồm 3 thành phần như sau:
Attrs= {A, B, C, a, b, c, S, p, R, ha, hb, hc…} là tập các thuộc tính của một tam giác,
F= {A+B+C=pi; a/sin(A)= b/sin(B); a/sin(A)= c/sin(C); a2= b2+ c2- 2*b*c*cos(A);… } là
35
Rules= {{a2=b2+c2}=>{A=pi/2, bc}; {b2=a2+c2}=>{B=pi/2, ac}; {a=b}<=>{A=B}; {c2=a2+c2}=>{C=pi/2, ab}; {a=c}<=>{A=C}; {b=c}<=>{B+C};… }.
(2)R là một tập hợp của các quan hệ trên các khái niệm.
(3)Ops là một tập hợp các toán tử.
(4)Funcs là một tập hợp chứa các hàm trên các khái niệm Com-Object.
Trong mô hình COKB thì thành phần tri thức hàm chưa được làm rõ mà chỉ đưa ra đặc tả cơ bản về hai dạng hàm là: hàm cơ sở và hàm tự định nghĩa, chẳng hạn như các hàm lấy vế trái của một đẳng thức: lhs(eq), lấy giá trị tuyệt đối của một số: abs(a)… là các hàm cơ sở, còn các hàm tìm trung điểm của một đoạn thẳng: TRUNGDIEM(A, B), hay tính khoảng cách từ một điểm đến một đường thẳng: KHOANGCACH(A, d) là các hàm tự định nghĩa. Trong mô hình Funcs-COKB ta sẽ đi sâu vào việc giải quyết các vấn đề trên thành phần tri thức hàm mà ta sẽ nói rõ ở các phần sau như: vấn đề hợp nhất các sự kiện dạng hàm, vấn đề tìm kiếm và suy diễn trên hàm, vấn đề tính toán kết quả của hàm…
(5)Rules là một tập hợp gồm các luật suy diễn.