MỤC LỤC
Có nhiều mô hình kiến trúc hệ chuyên gia theo các tác giả khác nhau. Người sử dụng yêu cầu Dữ liệu vấn đề cần giải quyết Tri thức mới.
Ở đây, thuật ngữ soạn thảo kết hợp được chọn để gợi lên khái niệm về chế độ truy cập kết hợp (associative access) liên quan đến chế độ lưu trữ kết hợp (associative memory) là chế độ mà thông tin cần tìm kiếm được đọc không chỉ căn cứ vào địa chỉ đơn vị nhớ cụ thể mà còn căn cứ vào một phần nội dung của thông tin cần tìm kiếm chứa trong đó. Mỗi luật do chuyên gia cung cấp phải định nghĩa được các điều kiện khởi động (tác nhân) hay tiền đề của luật, nghĩa là các tình huống (được xác định bởi các quan hệ trên tập hợp dữ liệu đã cho) và hậu quả của luật, để luật này có thể áp dụng.
Nói chung, theo quan điểm của người sử dụng, ngôn ngữ tự nhiên sẽ là phương cách thuận tiện nhất để giao tiếp với một hệ chuyên gia, không những đối với người quản trị hệ thống (tư cách chuyên gia), mà còn đối với người sử dụng cuối. Thay vì so khớp lặp đi lặp lại các sự kiện mỗi lần áp dụng một luật trong mỗi chu trình nhận thức (recognize-act cycle), thuật toán mạng lưới chỉ nhìn những thay đối khi so khớp trong mỗi chu trình.
• Quản lý thay đổi - quản lý các giải pháp sửa đổi sản phẩm và ước lượng (change ảnh hưởng của thay đổi sản phẩm. management) - phân công người sửa đổi hệ thống - cài đặt phiên bản mới. Nói chung, một hệ chuyên gia cần phải được tích hợp (integrated) với những chương trình đã có sẵn để có thể dùng lời gọi thủ tục từ một ngôn ngữ lập trình thông thường và hệ thống có thể hỗ trợ quá trình này.
Hợp thức hóa và thử nghiệm, viết tài liệu hướng dẫn sử dụng, đào tạo, hỗ trợ khách hàng qua đện thoại, email kịp thời. • Lỗi suy diễn do xác định sai độ ưu tiên của các luật, tương tác giữa các luật, sai trong cơ sở tri thức, suy luận không nhất quán.
RESTRICTION (thu hẹp) là bước đầu tiên của giai đoạn EVALUATION, để xác định từ một trạng thái hiện hành hay quá khứ của cơ sở sự kiện (ký hiệu FB) và từ một trạng thái hiện hành hay quá khứ của cơ sở luật (ký hiệu RB), một tập hợp con F1 của FB và một tập hợp con R1 của RB sao cho có thể tiến hành so sánh được trong bước FILTERING tiếp theo. Ví dụ, trong một ngữ cảnh chẩn đoán bệnh, người ta có thể phân biệt được ngay các luật liên quan đến các bệnh trẻ em với các luật khác, hay phân biệt được các sự kiện liên quan đến phân tích máu với các sự kiện khác. Chẳng hạn, nhiều hệ thống phân biệt được các sự kiện đã thiết lập (coi như đã được xác nhận) với các sự kiện sẽ thiết lập (biểu diễn bài toán ban đầu hay đích, hay giả thuyết).
Một tập hợp con R2 của R1 nhóm các luật tương thích với F1, nghĩa là những luật có điều kiện khởi động thoả mãn các trạng thái của F1 (tuỳ theo mỗi hệ thống mà có những tiêu chuẩn thoả mãn khác nhau). Ví dụ, cơ sở luật được sắp xếp ngẫu nhiên thành một danh sách và người ta chọn những luật đứng đầu tiên, hoặc chọn ưu tiên những luật ít sử dụng hơn, hoặc có thể chọn trước tiên những luật ít phức tạp nhất : ít điều kiện cần kiểm tra, ít biến (variable) cần xác định trước khi khởi động, v.v. Chẳng hạn, một số luật có thể được chọn do có những dấu hiệu giải bài toán tốt hơn, hay có thể đáng tin cậy hơn, hay ít tốn kém về chi phí hơn so với những luật khác, v.v.
Tuy nhiên, nếu không có một khởi động nào cho luật được thực thi kể từ phép chọn trước đó trong R2, nghĩa là nếu kết quả của các luật này không được huỷ bỏ, trước khi khởi động các luật khác, thì người ta cũng nói rằng những máy này hoạt động theo chế độ điều khiển bắt buộc. Dự án máy tính thế hệ 5 của Nhật đề xuất những kiến trúc đặc trưng cho phép đạt được tốc độ hàng triệu hay hàng tỷ lips (Logical Inference Per Second, mỗi chu kỳ là một suy diễn).
Sự đổi tên biến là hợp lệ vì biến x (tương ứng với lượng tử toàn thể) trong AKNOWLEDGE thực tế là một biến câm, độc lập với các biến x có mặt trong các thể hiện bài toán hay trong các biểu diễn tri thức khác. Trong chương trước, ta đã giới thiệu chi tiết thuật toán hợp nhất hai trực kiện. Thủ tục UNIFICATION được sử dụng trên đây có thể được lập trình dựa theo thuật toán này.
Ta giả thiết rằng lời gọi thủ tục chứa ba tham đối : hai tham đối là hai biểu thức cần hợp nhất, tham đối thứ ba là một danh sách rỗng. Thủ tục trả về ‘failure’ nếu không tồn tại phép hợp nhất giữa hai biểu thức. Thủ tục trả về kết quả là phép hợp nhất dưới dạng một danh sách (có thể rỗng) các phép thế nếu tồn tại phép hợp nhất.
Vẽ đồ thị và-hoặc minh hoạ thuật toán suy diễn tiến theo chiều sâu. Vẽ đồ thị và-hoặc minh hoạ thuật toán suy diễn tiến theo chiều rộng.
Một cách tổng quát, MYCIN căn cứ trên những giả thuyết (hypothesis) chắc chắn nhất để suy luận và sử dụng các siêu luật (meta-rule) để hội tụ (focalize) việc tìm kiếm nguyên nhân. Các tham biến trong MYCIN đều được định kiểu và được gắn nhãn với : Hệ thống : Y/N, NUMB, ONE_OF, ANY_OF. Giá trị đơn (exclusive-single valued) : hệ thống đưa ra nhiều giá trị nhưng chỉ có duy nhất một giá trị đúng.
Trong luật trên, để đạt tới đích C, cần chứng minh A và B, để chứng minh A, cần chứng minh.., và cứ thế tiếp tục. MYCIN có các mẫu luật (rule template) cho phép hệ thống suy luận trên những luật riêng đã có để tự động tạo ra các luật mới. MYCIN có thể hiểu và suy luận trên các luật, các sự kiện và ngữ cảnh viết bằng tiếng Anh quy ước (pseudo-english)?.
By asking questions and backward chaining through a rule base of about 500 rules, Mycin can recognize about 100 causes of bacterial infections, allowing Mycin to recommend effective drug prescriptions. Mycin uses backward chaining because doctors prefer to focus on one hypothesis at a time, whereas a forward chaining system can jump around seemingly at random.
104 Hệ chuyên gia Tại mỗi thời điểm, người sử dụng nhấn phím F1 hoặc gọi lệnh Help để gọi hướng dẫn của.
OPS5 còn một lệnh khai báo khác là external dùng để khai báo các hàm bên ngoài dùng cho ứng dụng (có thể được viết trong một ngôn ngữ hỗ trợ cho OPS5 như MACLISP, FRANZLISP hay BLISS, tùy theo phiên bản cài đặt của OPS5). Thành phần THEN là phần bên phải luật (RHS), quyết định mọi hoạt động của hệ thống : trao đổi với bộ nhớ làm việc WM, vào- ra thông tin, xây dựng các luật mới và gọi thực hiện các thủ tục viết trên một ngôn ngữ khác. Luật camcum trên được chọn ra khi phần bên trái luật được so khớp thỏa mãn với các thành phần trong bộ nhớ làm việc WM, tức là có tình trạng sotcao, khorat, daudau, binon.Khi đó, phần bên phải luật sẽ được thực hiện : in ra bệnh mà bệnh nhân mắc phải và bài thuốc chữa trị.
Phần bên trái không trực tiếp làm thay đổi giá trị trong bộ nhớ làm việc WM, mà chỉ khi các thành phần giá trị của nó đã được so khớp phù hợp với các sự kiện tồn tại trong WM, các thành phần của phần bên phải sẽ được thực hiện. Tuy nhiên, người ta không khởi tạo WM ngay bên ngoài shell OPS5 mà thường kết hợp khởi tạo WM bằng lệnh make ngay trong các luật của chương trình vì điều này sẽ tạo ra một lượng lớn cỏc sự kiện đầy đủ phong phỳ chứ khụng hạn chế gừ từng lệnh, khởi tạo từng sự kiện một ở ngoài shell OPS5. Sau khi tập xung đột được tạo ra, bước tiếp theo, máy suy diễn cần chọn một luật để thực hiện bằng cách sử dụng một trong hai chiến lược giải quyết xung đột (conflict resolution strategy) là LEX (LEXicographical ordering) và MEA (Means-Ends Analysis).
Tuy nhiên, đối với các chương trình có tập xung đột lớn, kỹ thuật chương trình phức tạp thì người ta hay sử dụng chiến lược MEA để làm cho chương trình chạy nhanh hơn, giải quyết các vấn đề có tính quy mô hơn. OPS83 là phiên bản hoàn thiện của OPS5, vừa cho phép thiết kế hệ chuyên gia dựa trên luật, vừa cho phép xây dựng một giao diện đồ hoạ linh động tạo điều kiện thuận lợi trong việc giao tiếp giữa người sử dụng và hệ chuyên gia.