... thức lĩnhvực trong một tập và lưu chúng trong cơ sở tri thức của hệ thống. Hệ thốngdùng các luật này cùng với các thông tin trong bộ nhớ để giải bài toán. Việcxử lý các luật trong hệ thống ... cung. Trong đồ thị tiêu chuẩn, việc có một cungnối giữa hai đỉnh chỉ cho biết có sự liên hệ giữa hai đỉnh đó và tất cả cáccung trong đồ thị đều biểu diễn cho cùng một loại liên hệ, cùng lắm là trong đồ ... (hay một số) ánh xạ :fR,u,v : Du ∩ Dv, trong đó u,v là các bộ biến và u x, v x; Du và Dv làtích của các miền xác định tương ứng của các biến trong u và trong v.Ta có thể thấy rằng quan hệ...