用逻辑推理框架融合多种机器学习输出,实现可解释的实时流程自动化
Machine Learning Model Integration with Open World Temporal Logic for Process Automation
- 将多源机器学习输出转化为逻辑事实,通过时序逻辑动态推理决策
- 支持实时更新、可解释追踪,能处理时间敏感的流程数据
- 适合制造、医疗等需透明决策的复杂流程自动化场景
机器学习在从复杂数据中提取结构化信息方面取得进展,但如何将感知输出转化为可行动且可解释的决策仍面临挑战。本文提出一种新方法,将各类机器学习模型的输出直接集成到PyReason框架——一个基于广义注释逻辑的开放世界时序逻辑推理引擎。该框架支持将概率、置信度等实值输出作为真值区间纳入逻辑体系。关键在于,PyReason提供原生Python接口,持续轮询模型输出,将其转化为逻辑事实并动态重新计算最小模型,实现实时决策。其原生支持时序推理、知识图谱融合及完全可解释的接口追踪,可分析时间敏感的过程数据与组织知识。通过结合机器学习的感知能力与PyReason的逻辑推演与透明性,构建强大流程自动化系统,适用于制造、医疗、业务运营等多个领域。
原文摘要 · Abstract (English)
Recent advances in Machine Learning (ML) have produced models that extract structured information from complex data. However, a significant challenge lies in translating these perceptual or extractive outputs into actionable and explainable decisions within complex operational workflows. To address these challenges, this paper introduces a novel approach that integrates the outputs of various machine learning models directly with the PyReason framework, an open-world temporal logic programming reasoning engine. PyReason's foundation in generalized annotated logic allows for the incorporation of real-valued outputs (e.g., probabilities, confidence scores) from a diverse set of ML models, treating them as truth intervals within its logical framework. Crucially, PyReason provides mechanisms, implemented in Python, to continuously poll ML model outputs, convert them into logical facts, and dynamically recompute the minimal model to enable decision-making in real-time. Furthermore, its native support for temporal reasoning, knowledge graph integration, and fully explainable interface traces enables an analysis of time-sensitive process data and existing organizational knowledge. By combining the strengths of perception and extraction from ML models with the logical deduction and transparency of PyReason, we aim to create a powerful system for automating complex processes. This integration is well suited for use cases in numerous domains, including manufacturing, healthcare, and business operations.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。