AI dựa trên logic và dựa trên quy tắc

Tôi luôn nghĩ dựa trên quy tắc là đồng nghĩa với AI dựa trên logic. Logic có các tiên đề và quy tắc suy luận, trong khi ai dựa trên quy tắc có cơ sở tri thức (về cơ bản là tiên đề) và quy tắc if-then để tạo ra kiến ​​thức mới (về cơ bản là quy tắc suy luận).

Nhưng trong bài báo nổi tiếng của họ "Đại diện tri thức là gì?", Davis, Shcoat và Szolovits dường như ngụ ý rằng họ không phải là:

Logic, quy tắc, khung, v.v., mỗi cái thể hiện một quan điểm về các loại điều quan trọng trên thế giới. Logic, ví dụ, liên quan đến một cam kết (khá tối thiểu) để xem thế giới về các thực thể riêng lẻ và các mối quan hệ giữa chúng. Các hệ thống dựa trên quy tắc xem thế giới theo các bộ ba giá trị thuộc tính-đối tượng và các quy tắc suy luận hợp lý kết nối chúng, trong khi các khung hình khiến chúng ta phải suy nghĩ về các đối tượng nguyên mẫu.

Có phải điều này chỉ nói rằng dựa trên quy tắc là mệnh đề trong khi dựa trên logic thường có nghĩa là logic vị ngữ? Hoặc có nhiều hơn nó?

Tôi muốn mở đầu điều này bằng cách nói rằng sự khác biệt không rõ ràng. Tuy nhiên, tôi sẽ cho bạn biết những gì tôi biết về điều này và tôi sẽ cố gắng làm rõ thêm:

Cấu trúc của các tác nhân dựa trên quy tắc là: Lấy đầu vào từ môi trường, chuyển qua các quy tắc dựa trên điều kiện và thực hiện hành động thông qua các bộ truyền động hoặc bất cứ thứ gì tạo ra một số hành động trong môi trường.

so với

Cấu trúc của các tác nhân logic (dựa trên trạng thái bên trong) là: Lấy đầu vào từ môi trường, từ kiểm tra kiến ​​thức bên trong về trạng thái là gì và mô hình có thể phát triển như thế nào; tiếp theo, suy ra những gì hành động của tôi sẽ làm; cuối cùng, thông qua các quy tắc dựa trên điều kiện và hành động trong môi trường

_{NGUỒN: Trí tuệ nhân tạo: Cách tiếp cận hiện đại của Stuart Russell và Peter Norvig}

Vì đây là câu trả lời đầu tiên của tôi ở đây, nếu tôi đã vi phạm bất kỳ quy tắc nào, xin vui lòng cho tôi biết.

Các hệ thống dựa trên quy tắc bao gồm một loạt các hệ thống. Một số sử dụng các quy tắc boolean if / then / other, một số khác có thể sử dụng trọng số hoặc thậm chí suy luận xác suất. Một số hoạt động trên các khung, một số trên các đối tượng java, một số về các mệnh đề có thể được xây dựng theo logic vị ngữ. Một ví dụ về một hệ thống quy tắc phổ biến là Drools .

Một số hệ thống quy tắc có thể được biểu diễn dưới dạng tập hợp con của logic vị ngữ. Ví dụ, SWRL là ngôn ngữ quy tắc tiêu chuẩn W3C mở rộng Logic mô tả OWL (DL) với các quy tắc còi. Cả OWL-DL và SWRL đều có thể biểu thị theo logic vị ngữ bậc nhất. Tuy nhiên, không phải tất cả các ngôn ngữ quy tắc đều có thể biểu thị trực tiếp theo cách này, vì các ngôn ngữ quy tắc bao gồm một phạm vi ngữ nghĩa như vậy. Ngay cả trong những trường hợp như Prolog cũng có sự tinh tế. Prolog thuần túy là một tập hợp con của FOL, nhưng các triển khai Prolog thực tế hiện tại không phải là tập hợp con FOL (ví dụ thứ tự các vấn đề ưu tiên).

Nhóm làm việc Định dạng trao đổi quy tắc W3C (RIF) đã thực hiện rất nhiều công việc cố gắng để thống nhất các quan điểm khác nhau này. Tôi không chắc chắn nơi tốt nhất để bắt đầu xem tóm tắt, nhưng bạn có thể thấy một số tài liệu hữu ích trên trang điều lệ nhóm .