- Funcs là một tập các hàm Rules là một tập các luật.
1.3.4.3. Các loại sự kiện trong mô hình COKB
Trong mô hình COKB có 11 loại sự kiện được chấp nhận. Những loại sự kiện này đã được đề xuất từ nghiên cứu trên các yêu cầu thực tế và các vấn trong các lĩnh vực tri thức khác nhau.
* Sự kiện loại 1: Thông tin về loại đối tượng. Sau đây là một vài ví dụ: • ABC là một tam giác vuông.
• ABCD là một hình bình hành. • Ma trận A là một ma trận vuông.
* Sự kiện loại 2 : một xác định của một đối tượng hoặc một thuộc tính của đối tượng.
Một vài ví dụ về sự kiện loại 2 trong hình học giải tích:
Bài toán: Cho hai điểm E, F và đường thẳng (d). Giả sử E, F và (d) được xác định.
(P) là mặt phẳng thỏa các quan hệ: E ∈ (P), F ∈ (P), và (d) // (P). Tìm
phương trình tổng quát của (P).
Trong bài toán này, ta có ba sự kiện loại 2:
(1): Điểm E được xác định hay là ta đã biết tọa độ của E (2): Điểm F xác định
* Sự kiện loại 3 : một xác định của một đối tượng hoặc một thuộc tính của đối tượng bằng giá trị hoặc mộ biểu thức số. Một vài ví dụ trong hình học phẳng và hình học giải tích:
Trong tam giác ABC, giả sử chiều dài cạnh BC = 5.
Mặt phẳng (P) có phương trình 2x + 3y – z + 6 =0 và điểm M(1, 2, 3).
* Sự kiện loại 4 : tính đẳng lập trên các đối tượng hoặc các thuộc tính của đối tượng. Loại sự kiện này cũng rất phổ biến và có nhiều bài toán liên quan đến nó trên cơ sở tri thức.
Một vài ví dụ về sự kiện loại 4 trong hình học phẳng:
Bài toán: Cho hình bình hành ABCD. Giả sử M và N là hai điểm của đoạn thẳng AC sao cho AM = CN. Chứng minh ∆ABM = ∆CDN.
Trong bài toán trên, ta phải xác định tính cân bằng của hai đối tượng tính toán, một sự kiện loại 4.
* Sự kiện loại 5 : sự phụ thuộc của một đối tượng trên các đối tượng khác bằng một phương trình tổng quát. Một ví dụ trong hình học về loại sự kiện này là w = 2*u + 3*v; mà u, v và w là các vectơ.
* Sự kiện loại 6 : Một quan hệ trên các đối tượng hoặc các thuộc tính của các đối tượng. Trong các bài toán có các sự kiện loại 6 như là sự song song của hai đường thẳng, một đường thẳng vuông góc với một mặt phẳng, một điểm thuộc một đoạn thẳng.
* Sự kiện loại 7 : Sự xác định của một hàm
* Sự kiện loại 8 : Sự xác định của một hàm bởi một giá trị hoặc một biểu thức số.
* Sự kiện loại 11 : Sự xác định của một hàm trên một hàm khác hoặc những đối tượng khác bằng một phương trình.
Năm loại sự kiện sau cùng liên quan tới tri thức về các hàm – thành phần
Funcs trong mô hình COKB. Một vài ví dụ về các sự kiện liên quan tới hàm:
Bài toán: Gọi d là đường thẳng có phương trình 3x + 4y – 12 = 0. P và Q là giao điểm của d và các trục Ox, Oy.
(a) Tìm trung điểm của PQ.
(b) Tìm hình chiếu của O trên đường thẳng d.
Đối với mỗi đoạn thẳng, tồn tại một và chỉ một điểm là trung điểm của đoạn thẳng đó. Do đó, có một hàm MIDPOINT(A, B) mà kết quả là trung điểm M của đoạn thẳng AB. Câu (a) của bài toán trên có thể được biểu diễn là tìm điểm I mà I =
MIDPOINT(P, Q) - một sự kiện loại 9. Hình chiếu cũng có thể được biểu diễn bằng hàm PROJECTION(M, d) mà kết quả là hình chiếu của N của điểm M trên đường thẳng d. Câu (b) của bài toán trên có thể được biểu diễn là tìm điểm A sao cho A = PROJECTION(O, d) – đây cũng là một sự kiện loại 9.
Các mô hình và các loại sự kiện trên có thể được sử dụng để biểu diễn tri thức trong các ứng dụng thực tế. Các thuật toán thống nhất của các sự kiện được thiết kế và sử dụng trong những ứng dụng khác nhau như hệ thống hỗ trợ nghiên cứu tri thức và giải quyết các bài toán hình học giải tích, chương trình nghiên cứu và giải quyết các bài toán trong hình học phẳng, hệ thống tri thức trong đại số tuyến tính.