It is argued that Neuro-symbolic (NeSy) AI methods lay out a promising path towards industrial-grade configurators that are reliable by design, explainable, and trustworthy.
Abstract
Large Language Models (LLMs) have shown impressive performance on a wide range of generative tasks. Yet their probabilistic nature makes them, in isolation, fundamentally unsuited for industrial product configuration, where outputs must be syntactically valid, semantically consistent with a knowledge base of hundreds of features and rules, and producible by an existing manufacturing chain. We argue that Neuro-symbolic (NeSy) AI methods lay out a promising path towards industrial-grade configurators that are reliable by design, explainable, and trustworthy. This paper describes a taxonomy of three NeSy integration strategies, namely hybrid inference, hybrid fine-tuning, and hybrid training, exploring their usage in the configuration domain. We report our effort to operationalize NeSy concepts in an industrial configuration copilot and derive a set of practical design choices for deploying trustworthy AI in engineering environments. We close with a discussion of open research challenges we consider most pressing, in particular how to scale NeSy methods from small academic demonstrators to the size of industrial configurators.
Configurable intelligent design is formalized here as the selection of a consistent configuration from interdependent alternatives under constraints of budget, quality, risk, and compatibility. It is examined not as a universal solver but as a class of domain-specific systems, each defined for a task family with explic...
R. Yavich, V. Rotkin· Applied Sciences· 0 citations
A systematic literature review and an original taxonomy-driven analysis of open-source development frameworks for building neuro-symbolic software systems identify open challenges related to balancing expressiveness and scalability, improving engineering maturity, and performing comparisons over standard benchmarks.
Neuro-Symbolic (NeSy) predictors incorporate prior knowledge into the prediction process of neural networks, ensuring that outputs satisfy specified constraints, making them particularly suitable for high-stakes applications where compliance with domain knowledge is essential. A key bottleneck in this paradigm is the a...
Samuele Bortolotti, Wei-Xin Chen, Han Zhao et al.· 0 citations
This paper introduces NEUROTESTGEN, a hybrid approach that integrates symbolic execution with LLM-driven test synthesis to generate test cases targeting on-demand code coverage and incorporates an iterative feedback loop that validates LLM-generated tests and provides corrective guidance until the target line or branch...
Rui-Xin Zhang, Jiho Shin, H. Pham et al.· 0 citations
It is argued that emergent reasoning in LLMs is a product of three factors: model size, prompting approach, and evaluation metric, and proposed implications for designing benchmarks and assessing capabilities are proposed.
N. Kuotsu· International Journal of Cre...· 0 citations
Neuro-symbolic systems are a promising paradigm for Hybrid Intelligence (HI), combining the complementary strengths of symbolic reasoning and machine learning in human-AI interactions. However, designing architectures that satisfy desired properties currently relies on informal reasoning, rather than a rigorous framewo...
Johannes E. Bendler· Proceedings of the Thirty-Fi...· 0 citations