paper-with-me

Papers

Machine Learning Model Integration with Open World Temporal Logic for Process Automation

2025-06-21 · Dyuman Aditya, Colton Payne, Mario Leiva, Paulo Shakarian

Recent advancements in Machine Learning (ML) have yielded powerful models capable of extracting structured information from diverse and complex data sources. However, a significant challenge lies in translating these perceptual or extractive outputs into actionable, reasoned decisions within complex operational workflows. To address these challenges, this paper introduces a novel approach that integrates the outputs from 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 seamless incorporation of real-valued outputs (e.g., probabilities, confidence scores) from diverse 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, ensuring real-tine adaptive decision-making. Furthermore, its native support for temporal reasoning, knowledge graph integration, and fully explainable interface traces enables sophisticated analysis over 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 finds utility across numerous domains, including manufacturing, healthcare, and business operations.

📄 PDF Abstract BibTeX arXiv:2506.17776

Code (0)

등록된 구현이 없습니다.

Similar Papers 제목 키워드 기반

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning

2025-09-03 · Kaustuv Mukherji, Jaikrishna Manojkumar Patil, Dyuman Aditya, Paulo Shakarian 외 arxiv

We introduce Lattice Annotated Temporal (LAT) Logic, an extension of Generalized Annotated Logic Programs (GAPs) that incorporates temporal reasoning and supports open-world semantics through the use of a lower lattice s…

Reinforcement Learning

Time-Series Forecasting via Topological Information Supervised Framework with Efficient Topological Feature Learning

2025-03-31 · Zixin Lin, Nur Fariha Syaqina Zulkepli

Topological Data Analysis (TDA) has emerged as a powerful tool for extracting meaningful features from complex data structures, driving significant advancements in fields such as neuroscience, biology, machine learning, …

Time SeriesTime Series ForecastingTime Series PredictionTopological Data Analysis

A kernel function for Signal Temporal Logic formulae

2020-09-11 · Luca Bortolussi, Giuseppe Maria Gallo, Laura Nenzi

We discuss how to define a kernel for Signal Temporal Logic (STL) formulae. Such a kernel allows us to embed the space of formulae into a Hilbert space, and opens up the use of kernel-based machine learning algorithms in…

BIG-bench Machine Learningregression

Circuit design in biology and machine learning. II. Anomaly detection

2024-11-23 · Steven A. Frank

Anomaly detection is a well-established field in machine learning, identifying observations that deviate from typical patterns. The principles of anomaly detection could enhance our understanding of how biological system…

Anomaly ClassificationAnomaly DetectionDecision MakingDimensionality Reduction

Neuro-Symbolic Spatio-Temporal Reasoning

2022-11-28 · Jae Hee Lee, Michael Sioutis, Kyra Ahrens, Marjan Alirezaie 외

Knowledge about space and time is necessary to solve problems in the physical world: An AI agent situated in the physical world and interacting with objects often needs to reason about positions of and relations between …

AI AgentImage SegmentationLogical ReasoningQuestion Answering+3