Một trong những chức năng của hệ chuyên gia ECOCIN là cho phép người dùng truy cập, hiệu chỉnh, thêm mới các luật vào hệ cơ sở tri thức. Đó chính là bước thu thập tri thức cho một hệ chuyên gia. Vì ECOCIN là một hệ chuyên gia về phân tích kinh doanh do đó, bên cạnh những luật được đưa vào hệ tri thức dưới dạng kí hiệu, còn có những luật là các biểu thức tính toán.
Luận văn tốt nghiệp Dương Lê Vũ Thiên
Khi người dùng nhập vào một luật ở dạng ngôn ngữ thông thường:
IF: CURRENT_ASSETS INVENTORY
SHORT_TERM_DEBT
THEN: QUICK_RATIO = (CURRENT_ASSETS - INVENTORY) / SHORT_TERM_DEBT
Đây là một luật dùng để tính toán tỉ số thanh toán nhanh, trong đó các tham số CURRENT_ASSETS, INVENTORY, SHORT_TERM_DEBT có giá trị do người dùng nhập vào, QUICK_RATIO là kết quả cần tính. Khi đó, chương trình sẽ chuyển đổi luật trên sang định dạng chuẩn trong cơ sở tri thức:
PREMISE: KNOWN CNTXT CURRENT_ASSETS KNOWN CNTXT INVENTORY
KNOWN CNTXT SHORT_TERM_DEBT ACTION: CONCLUDE CNTXT QUICK_RATIO
div(sub(CURRENT_ASSETS INVENTORY) SHORT_TERM_DEBT)
Như vậy, với qui trình thực hiện của mình, thủ tục MONITOR sẽ đánh giá tiền đề của luật, và gọi cơ chế FINDOUT để thu thập dữ liệu cho các tham số. Vị từ
KNOWN của tiền đề trả về giá trị TRUE nếu như trong cơ sở tri thức động của hệ
thống đã có giá trị về tham số của vị từ này. Nếu FINDOUT tìm thu thập được đầy
đủ dữ liệu cho 3 tham số này (bằng cách dùng luật hay hỏi người dùng), khi đó hệ
Luận văn tốt nghiệp Dương Lê Vũ Thiên
Fig 3.3 Cây phân tích một biểu thức theo định dạng của ECOCIN sang biểu thức thông thường
Và tính toán theo chiều từ trái qua phải, từ dưới lên trên, với
sub <=> - ; plus <=> + ; div <=> / ; mul <=> *