Work

Dependability Assurance with Symbolic Reasoning in LLM-enabled Systems

Year: 2025

Type: conference-paper

Abstract: The rapid advancement of large language models (LLMs) creates new opportunities in cyber-physical systems, particularly in natural language interaction and decision support. However, the safety-critical nature of these systems requires LLMs to operate in a deterministic, verifiable, and reliable way. The proposed solution in the paper combines the flexibility of LLMs with the deterministic capabilities of formal approaches based on symbolic logic reasoning. The LLMs’ structured outputs generated are processed by a logic reasoning engine capable of handling contradictions, priorities, and fault-tolerance patterns. This validation process enables formally valid and auditable LLM-based decisions, even when different models produce conflicting outputs. The proposed approach is illustrated through case studies that demonstrate practical examples of symbolic evaluation.

Source: Zenodo (CERN European Organization for Nuclear Research)

DOI: 10.5281/zenodo.17469104

Authors: Dee-Lukacs, Andras Gergely, Földvári, András

Institution: Budapest University of Technology and Economics

Language: English

Topic: Safety Systems Engineering in Autonomy

Subfield: Safety, Risk, Reliability and Quality

Field: Engineering

Domain: Physical Sciences

Open Access status: green

Funder: European Commission

Award: SECURE-BY-DESIGN IOT OPERATION WITH SUPPLY CHAIN CONTROL