Động cơ suy luận là gì?

Một công cụ suy luận là một hệ thống phần mềm được thiết kế để đưa ra kết luận bằng cách phân tích các vấn đề theo cơ sở dữ liệu về kiến thức chuyên môn mà nó rút ra.Nó đạt được kết quả logic dựa trên các cơ sở mà dữ liệu thiết lập.Đôi khi các công cụ suy luận cũng có khả năng vượt ra ngoài quá trình xử lý logic nghiêm ngặt và sử dụng các tính toán xác suất để đưa ra kết luận rằng cơ sở dữ liệu kiến thức không hoàn toàn hỗ trợ, mà thay vào đó chỉ ngụ ý hoặc gợi ý.Về khái niệm của hệ thống chuyên gia.Một hệ thống chuyên gia được xây dựng để giải quyết các vấn đề trong một lĩnh vực cụ thể và đôi khi được xác định hẹp, chẳng hạn như các chuyên ngành y tế nhất định.Thành phần động cơ suy luận của một hệ thống chuyên gia là cấu trúc điều khiển tạo ra đầu ra ban đầu dựa trên bất kỳ dữ liệu nào hiện đang tồn tại trong cơ sở kiến thức và các quy tắc lập trình của hệ thống chuyên gia, sau đó áp dụng nó vào vấn đề cụ thể một cách có ý nghĩa.Bởi vì kết quả công cụ suy luận là kết quả của dữ liệu, chúng thay đổi khi dữ liệu được cập nhật và cũng có thể thay đổi khi dữ liệu được tìm kiếm theo những cách khác nhau bởi chính công cụ suy luận.Nếu dữ liệu trong hệ thống được tính theo trọng số một hoặc nhiều kết luận so với một kết luận khác, điều này có thể thay đổi kết quả mà công cụ suy luận tạo ra.Trạng thái hiện tại nhất của dữ liệu.Các hệ thống chuyên gia có hai cách chung để xử lý dữ liệu được lưu trữ này, được gọi là chuỗi chuyển tiếp hoặc chuỗi lùi.Trong chuỗi chuyển tiếp, các quy tắc của hệ thống chuyên gia phân tích dữ liệu cho nó được cung cấp bởi công cụ suy luận và kết quả được đưa trở lại vào lưu trữ dữ liệu hệ thống dưới dạng dữ liệu mới.Điều này kích hoạt các giải pháp mới cho các vấn đề khi hệ thống tinh chỉnh dữ liệu và cân nhắc nó bằng suy luận quy nạp, có nghĩa là các kết luận đạt được sẽ không nhất thiết phản ánh dữ liệu gốc hoặc cơ sở được sử dụng để bắt đầu phân tích.với dữ liệu được lưu trữ được cân đối với giá trị từ đầu.Các quy tắc được sử dụng để kiểm tra các điều kiện của dữ liệu về tính hợp lệ theo vấn đề đã cho và, như điều này được thực hiện, các giá trị xác suất mới được gán cho dữ liệu.Cũng được gọi là chuỗi dựa trên giả thuyết, chuỗi lạc hậu không đưa ra kết luận nghiêm ngặt cho đến khi kiểm tra liên tục dữ liệu chống lại các điều kiện được thiết lập bởi các quy tắc của hệ thống chuyên gia đáp ứng mức độ bằng chứng tối thiểu cho câu hỏi hoặc vấn đề được nghiên cứu.Một trong những hình thức phần mềm suy luận định hướng xác suất sử dụng chuỗi lạc hậu, được đặt tên cho Thomas Bayes, một nhà toán học người Anh của thế kỷ 18.Logic như vậy sử dụng một cơ sở kiến thức của các sự kiện trước để dự đoán kết quả trong tương lai thông qua các bài kiểm tra kiến thức lặp đi lặp lại và các yếu tố trong bằng chứng bổ sung về kết quả của các thử nghiệm thành các thử nghiệm mới, với mục tiêu tạo ra kết quả chính xác hơn và chính xác hơn.Kiến trúc phần mềm logic mờ cũng có thể dựa vào công cụ suy luận như là một phần của hệ thống của nó.Sự khác biệt với logic mờ là đầu ra là một tập hợp mờ hoặc phạm vi các giải pháp có thể sau đó được tổng hợp thành một nhóm và, thông qua logic và xác suất, được thu hẹp thành một kết luận hoặc hành động tối ưu.