Kn0wledge-Based Reasoning
TL;DR
An overview of knowledge-based reasoning systems as a subset of rule-based systems as a subset of rule-based systems is provided.
TL;DR
An overview of knowledge-based reasoning systems as a subset of rule-based systems as a subset of rule-based systems is provided.
State-of-the-art Integrated Vehicle Health Management (IVHM) systems and digital twins (DTs) integrate physics-based and data-driven methodologies for predictive maintenance. Such systems commonly incorporate multiple DT instances to estimate substantive outputs. Nonetheless, they exhibit key limitations: lack of multi-DT orchestration mechanisms, limited uncertainty quantification, and insufficient prescriptive decision-support capability. To this end, this paper introduces an innovative High-Level Reasoner (HLR) decision support architecture for aircraft systems. The proposed HLR architecture comprises a multi-layer data-transfer structure, with the principal HLR layer consisting of adaptable specialist modules that facilitate a robust decision support implementation for query-driven prescriptive maintenance. The developed architecture is illustrated on an aircraft landing gear system (ATA 32), orchestrating multiple federated subsystems; represented by the Brake Temperature DT and Tyre Pressure DT. The contribution is a modular architecture that provides a reusable framework for extension across aircraft systems and wider IVHM applications. It therefore serves as an enabling technology that advances beyond existing diagnostics and prognostics solutions for asset utilisation.
Warehouse operations are governed by Standard Operating Procedures (SOPs) that encode complex, multi-system decision logic, which must be executed reliably under strict time constraints, yet LLM agents lack mechanisms to enforce procedural compliance and degrade under the context overload full SOP specifications introduce. We present Eluna, a production-deployed agentic system for reliable SOP execution. Eluna is a graph-guided, multi-agent framework that encodes SOPs as directed acyclic graphs with progressive disclosure and delegates independent tasks to parallel sub-agents, each with persistent code execution and live data access. To meet production latency and accuracy needs, we use asymmetric episodic distillation where a strong teacher is improved through episodic error memories, then a smaller student is fine-tuned on the corrected trajectories with memory stripped, internalizing corrections without inference-time overhead. On a 13-task benchmark and two production applications, our fine-tuned models match or exceed their teacher, beat all larger off-the-shelf baselines, and reach 94% expert agreement on the ticket processing application.
Industrial operations need AI systems that can reason across live process data, engineering knowledge, and operator workflows. Yet conventional machine learning models often remain narrow predictors, while large language models lack grounding in plant behaviour, constraints, and real-time operating context. This talk presents Orbital, a grounded multi-agent system for decision support in industrial operations. Orbital combines three complementary layers: a time-series model for multivariable process dynamics and uncertainty-aware forecasting; a constraint-learning layer that extracts engineering relationships from plant documentation, including P&IDs, datasheets, mass and energy balances, and operating manuals; and a language-fusion layer that aligns process behaviour with engineering descriptions. These components are coordinated through specialist agents for planning, tool execution, verification, memory, and response composition. The system moves beyond prediction toward interpretable decision support: detecting abnormal behaviour, retrieving relevant historical events, explaining likely root causes, and grounding recommendations in both data and engineering constraints. More broadly, this work argues that the next generation of industrial AI must be grounded, multi-modal, and operationally trustworthy; connecting data, domain knowledge, and human decision-making in high-consequence environments.
As artificial intelligence (AI) continues to evolve and mature, recent AI practices have moved beyond large language models (LLMs) and text or image generation tasks, increasingly integrating tools, agents, and harnesses to solve real business and industrial problems. However, the power of AI is not verified under these real-world complex systems for various reasons, considering reliability, feasibility, resilience, and responsibility requirements in real commercial and industrial operations. This study synthesizes adjacent research and introduces Enactive AI as a conceptual framework for enterprise and industry reasoning, site-level decision support, and execution feedback. Four complementary roles organize the framework: an Organizational World defines operations management logic and an organizational behavior world model behind an enterprise from a strategic-institutional horizon; a Site World defines a physically bounded industrial optimization and execution world model from an operational-realization horizon; Schema Intelligence provides the coupling mechanism between two world models to weave various AI applications via two models; and Enactive Decision Cycle triggers the self-evolving dynamic process to update and audit the entire framework. By foregrounding decision intelligence in complex systems, Enactive AI expands the frontier of AI from model capability to system-aware action, opening new possibilities for scalable, governable, and socially valuable AI deployment. Enactive AI points toward a future in which AI progress is measured not only by what models can generate or automate, but by how reliably intelligent systems can support consequential action, responsible governance, and durable social value in the complex systems that shape modern life, which we believe will define the next frontier of AI research for enterprise-level and industrial complex systems.
A safety-gated evaluation framework in which a trajectory succeeds only when all task goals are achieved without violating any hard safety constraint, while safe goal progress and trajectory safety are measured separately is established.
Introducing Relay-Bench, an unsaturated, holistic, text-only benchmark that measures LLMs'ability to complete an assortment of tasks from distinct domains in a single prompt. The leading model, GPT-5.5 (xHigh), scores 43.3%. The test set entirely consists of composite problems: groups of single-domain subproblems that are strung together into challenges that require reasoning across multiple domains in combination. Many of these problems then have layers of complexity added through prompt encoding and deliberate context bloat. Domains tested include visual reasoning, coding, math, information extraction (with a focus on web search), problem-solving, general knowledge, and data analysis. No restrictions are imposed outside of the model harness, and models are explicitly encouraged to leverage code-execution, web searches, and all available tools. All problems are composed of two to thirteen subproblems and do not require multi-modal input or output.