From Events to Reasoning: Hierarchical Rule Composition over Explicit States

Những gì một hệ thống suy luận phát ra là một kết luận; những gì nó nợ là một lý do. Để sản xuất một kết luận, mỗi phép toán phải được chấp nhận trên các sự kiện thực sự khả dụng, các phụ thuộc của kết quả trung gian phải tồn tại đến cuối cùng của con đường, và con đường phải được điều chỉnh lại khi một tiên đề thay đổi. Chúng tôi trình bày Hệ thống Suy luận Sự kiện (ERS), trong đó trạng thái suy luận là một đồ thị sự kiện rõ ràng. Các đặc trưng ngữ nghĩa đề xuất các đối tượng ứng viên và ràng buộc quy tắc, và các điều kiện quy tắc và nhiệm vụ được khai báo quyết định xem các ứng viên nào có thể thực thi, do đó các ứng viên vi phạm các ràng buộc thời gian, đơn vị hoặc bằng chứng đã biểu diễn không thể vào một con đường suy luận được chấp nhận. Các quy tắc cấp thấp cung cấp các phép biến đổi địa phương có thể tái sử dụng, và các quy tắc điều khiển cấp cao được kết hợp đệ quy tổ chức mục tiêu phụ và con đường hợp lệ dưới mục tiêu hiện tại, khoảng trống thông tin và ngân sách; một thư viện hữu hạn được vì vậy gán lại thành các con đường không bao giờ được lưu trữ dưới dạng giải pháp hoàn chỉnh. Chúng tôi hình thức hóa các chuyển tiếp được chấp nhận, điều khiển phụ thuộc vào nhiệm vụ, khả năng biểu diễn có tính cấu trúc, sửa đổi bảo toàn phụ thuộc và khoảng cách giữa các giải pháp có thể tiếp cận và những giải pháp mà một bộ điều khiển được ngân sách tìm thấy.