Article

From Argumentation to Labeled Logic Program for LLM Verification

2026-01-21

Abstract excerpt

Large language models (LLMs) often generate fluent but incorrect or unsupported statements, commonly referred to as hallucinations. We propose a hallucination detection framework based on a Labeled Logic Program (LLP) architecture that integrates multiple reasoning paradigms, including logic programming, argumentation, probabilistic inference, and abductive explanation. By enriching symbolic rules with semantic, e...

Topics

Open a Topic to create a Post that cites this publication.

Identifiers and source

Literature Corpus work: dcfb6caf-6c2a-5c94-a234-16f6b6e8c40d
DOI: 10.20944/preprints202601.1549.v1

Open publication

Related research

Semantic proximity does not establish scientific evidence.

Click a neighbor to travelStep 1 · 12 closest

From Argumentation to Labeled Logic Program for LLM VerificationDOI 10.20944/preprints202601.1549.v1Read

Human–Agent Joint Diagnosis with ValidLLP4LLM: A Labeled Logic Framework for Validating LLM ReasoningSemantic proximity Read

Discourse Structure as an Interpretable Signal for Detecting Hallucinated Chain-of-Thought Reasoning in Large Language ModelsSemantic proximity Read

Probabilistic Chain-of-Evidence: Enhancing Factual Accuracy and Uncertainty Reasoning in Large Language Models via Prompt EngineeringSemantic proximity Read

Ensuring Inferential Reliability in Clinical LLMs: A Proof-Theoretic Approach via the ISA SystemSemantic proximity Read

Medical Hallucination in Foundation Models and Their Impact on HealthcareSemantic proximity Read

Framework for Grounding Healthcare LLMs in a Causal Knowledge Graph: A Cardiovascular ExampleSemantic proximity Read

Claim-Level Transparency Analysis of LLM-Generated Diagnostic Reports: A Metabolic and Endocrine Biomarker StudySemantic proximity Read

From Plausible Narrative to Sound Abduction: A Governed Abductive Architecture for Medical Digital Twins in Multiple Sclerosis CareSemantic proximity Read

Neurosymbolic AI for Safe and Trustworthy High-Stakes ApplicationsSemantic proximity Read

Neuro-symbolic LLM Integration in Clinical Medicine: A Systematic Review and TaxonomySemantic proximity Read

Trustworthy Legal Reasoning in 2026: A Mid-Year Review of Research, Products, Events, and GovernanceSemantic proximity Read

SPS-LIME: Role-Aware Segment Perturbation for Explaining Long Legal DocumentsSemantic proximity Read