Skip to content

From Chain-of-Note to Explainable Cognitive Prompting: Reproducible Multi-Layer Validation for Auditable LLM-Assisted PLC Programming : Structured Explainability and Deterministic Reasoning for Industrial PLC Applications

Jul 2026 · International Conference on Control, Decision and Information Technologies · pp. 130-135 · 0 citations · 16 references

Abstract

Explainability in Large Language Model (LLM)–assisted PLC programming is essential for industrial adoption, where engineers must understand, validate, and maintain generated control logic under strict safety and standardization constraints. Existing explainability-oriented prompting approaches such as Chain of Note (CoN) encourage intermediate reasoning disclosures, but they remain loosely structured, difficult to audit, and weakly aligned with the formal semantics of IEC 61131-3 and industrial engineering practice. As a result, CoN-style explanations may improve transparency without guaranteeing semantic rigor, traceability, or deployment readiness. We introduce Explainable Cognitive Prompting (ECP), a prompting architecture that replaces narrative rationales with an engineering-aligned scaffold that separates requirement interpretation, control strategy, safety argumentation, and IEC 61131-3 code evidence, producing reviewable and traceable explanations during synthesis. We evaluate ECP against CoN using a three-layer protocol: LLM-in-the-loop (LITL) scoring by five independent LLM validators, blinded Human-in-the-loop (HITL) assessment by two certified PLC engineers under the same rubric, and Bilingual Evaluation Understudy (BLEU) as a supplementary lexical reproducibility signal. ECP achieves higher correctness and safety-related scores and increases inter-rater agreement (Cohen-style statistics), indicating more consistent interpretation by independent reviewers. Overall, ECP reframes explainability as an audit-oriented contract that improves verifiable Programmable Logic Controller (PLC) code generation and supports repeatable evaluation.

View source

Similar papers

#artificial intelligence Preprint Sep 2026

Code-as-Auditor: Executable Compliance Reasoning via Regulation-to-Code

Experiments demonstrate that Code-as-Auditor delivers more accurate and evidence-backed evaluations, enabling automated compliance regulation checking grounded in explicit regulatory criteria and improves the logical consistency of the generated code and the traceability of outcomes.

Jisoo Kim, Taeyoon Kwack, Jin-Woo Jang et al. · 1 citation
#human-computer interacti... Preprint Sep 2026

Beyond Prompt-to-App: Accountable Translation in Teacher-Facing Agentic Authoring

Accountable translation is developed as an analytic framework for making consequential changes attributable, inspectable, scoped in validation, and contestable, and extends HCI accounts of traceability and end-user debugging by locating professional authority and repair rights across heterogeneous technical and organiz...

Nizam Kadir, Wei Ting Liow, Sumbul Khan et al. · 0 citations
Book Open access Oct 2026

KatalIA: Can a Declarative Metamodel Make LLM-Based Smell Characterization Traceable?

Software engineers need to identify and assess maintainability concerns in source code to support inspection and refactoring decisions. However, code-smell characterization is context-dependent: static-analysis tools such as SonarQube provide systematic rule-based findings, whereas LLMs offer contextual interpretation...

Diego Gatica, René Noël · 0 citations
#artificial intelligence Review Sep 2026

Fyan: A Human--AI Harness with Semantic Auditing for Document-Level Formalization

We present FYAN, a human--AI harness for document-level mathematical formalization. Rather than treating theorems in isolation, FYAN coordinates an end-to-end workflow spanning specification, proof planning, logical review, Lean proof construction, knowledge curation, and validation, with support for independent superv...

Wei Zhao, Yang-Shuo Zou, Cheng-Xiang Ding et al. · 0 citations
Book Open access Oct 2026

When Safety Claims Fail Silently: A Modelling Approach to AI Assurance

Problem. The rapid deployment of large language models (LLMs) into safety-critical roles, including mental health support, education, and professional guidance, has created a gap between the safety claims AI developers publish and the behaviors their systems exhibit in practice. Current documentation practices, primari...

Kalvin Thuan-phong Khuu · 0 citations

Related blog posts

Microsoft Research Blog Jul 8, 2026

Flint: A visualization language for the AI era

Short chart specifications are easy to write, but often produce uninspiring results. Flint is an open-source visualization language that offers a middle path, letting AI agents create expressive charts from compact, human-editable specifications. The post Flint: A visualization language for the AI era appeared first on Microsoft Research.

MIT News · Artificial Intelligence Sep 30, 2026

This game-playing AI is the new champ at Stratego

Able to defeat top-ranked human players and more efficient than other models, the new system could help decision-makers in military maneuvers or business negotiations.

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.