Cover Image

A Subjective Logic-based method for runtime confidence updates in safety arguments

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Herd, Benjamin, Kelly, Jessica, Heinemann, Clarissa, Zacchi, João-Vitor
Format:	Preprint
Published:	2026
Subjects:	Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Towards a compositional semantics for quantitative confidence assessment in assurance arguments
by: Herd, Benjamin, et al.
Published: (2026)

Time-critical and confidence-based abstraction dropping methods
by: Schmöcker, Robin, et al.
Published: (2025)

Navigating the EU AI Act: A Methodological Approach to Compliance for Safety-critical Products
by: Kelly, J., et al.
Published: (2024)

Towards Automated Safety Requirements Derivation Using Agent-based RAG
by: Balu, Balahari Vignesh, et al.
Published: (2025)

Subjective Logic Encodings
by: Vasilakes, Jake, et al.
Published: (2025)

When factorization meets argumentation: towards argumentative explanations
by: Zhong, Jinfeng, et al.
Published: (2024)

MoE-PHDS: One MoE checkpoint for flexible runtime sparsity
by: Hannah, Lauren. A, et al.
Published: (2025)

An alignment safety case sketch based on debate
by: Buhl, Marie Davidsen, et al.
Published: (2025)

Logic-Based Explainability: Past, Present & Future
by: Marques-Silva, Joao
Published: (2024)

Insights into resource utilization of code small language models serving with runtime engines and execution providers
by: Durán, Francisco, et al.
Published: (2024)

An action language-based formalisation of an abstract argumentation framework
by: Munro, Yann, et al.
Published: (2024)

SCC-recursiveness in infinite argumentation (extended version)
by: Andrews, Uri, et al.
Published: (2025)

Dispute resolution in legal mediation with quantitative argumentation
by: Chi, Xiao
Published: (2024)

AKReF: An argumentative knowledge representation framework for structured argumentation
by: Bhattacharjee, Debarati, et al.
Published: (2025)

Complexity in finitary argumentation (extended version)
by: Andrews, Uri, et al.
Published: (2025)

An updated overview of radiomics-based artificial intelligence (AI) methods in breast cancer screening and diagnosis
by: Elahi, Reza, et al.
Published: (2024)

On the attribution of confidence to large language models
by: Keeling, Geoff, et al.
Published: (2024)

Assessing Trustworthiness of AI Training Dataset using Subjective Logic -- A Use Case on Bias
by: Ouattara, Koffi Ismael, et al.
Published: (2025)

Automatic coherence-driven inference on arguments
by: Huntsman, Steve
Published: (2025)

Human-Level Reasoning: A Comparative Study of Large Language Models on Logical and Abstract Reasoning
by: Moreira, Benjamin Grando
Published: (2025)

Fuzzy Logic -- Based Scheduling System for Part-Time Workforce
by: Nguyen, Tri, et al.
Published: (2025)

Legal interpretation and AI: from expert systems to argumentation and LLMs
by: Janeček, Václav, et al.
Published: (2026)

Logical recognition method for solving the problem of identification in the Internet of Things
by: Saymanov, Islambek
Published: (2024)

Extending confidence calibration to generalised measures of variation
by: Thompson, Andrew, et al.
Published: (2026)

Can LLM Agents Solve Collaborative Tasks? A Study on Urgency-Aware Planning and Coordination
by: Silva, João Vitor de Carvalho, et al.
Published: (2025)

Instantiation-based Formalization of Logical Reasoning Tasks using Language Models and Logical Solvers
by: Raza, Mohammad, et al.
Published: (2025)

Thought calibration: Efficient and confident test-time scaling
by: Wu, Menghua, et al.
Published: (2025)

On the Equivalence between Logic Programming and SETAF
by: Alcântara, João, et al.
Published: (2024)

Program Synthesis using Inductive Logic Programming for the Abstraction and Reasoning Corpus
by: Rocha, Filipe Marinho, et al.
Published: (2024)

Can formal argumentative reasoning enhance LLMs performances?
by: Castagna, Federico, et al.
Published: (2024)

Landscape of AI safety concerns -- A methodology to support safety assurance for AI-based autonomous systems
by: Schnitzer, Ronald, et al.
Published: (2024)

A comprehensive study of LLM-based argument classification: from Llama through DeepSeek to GPT-5.2
by: Pietroń, Marcin, et al.
Published: (2026)

A Brain-Inspired Sequence Learning Model based on a Logic
by: Xu, Bowen
Published: (2023)

An encoding of argumentation problems using quadratic unconstrained binary optimization
by: Baioletti, Marco, et al.
Published: (2024)

A comprehensive study of LLM-based argument classification: from LLAMA through GPT-4o to Deepseek-R1
by: Pietroń, Marcin, et al.
Published: (2025)

A sketch of an AI control safety case
by: Korbak, Tomek, et al.
Published: (2025)

Aetheria: A multimodal interpretable content safety framework based on multi-agent debate and collaboration
by: He, Yuxiang, et al.
Published: (2025)

PLN and NARS Often Yield Similar strength $\times$ confidence Given Highly Uncertain Term Probabilities
by: Goertzel, Ben
Published: (2024)

Automatic Adaptation to Concept Complexity and Subjective Natural Concepts: A Cognitive Model based on Chunking
by: Bennett, Dmitry, et al.
Published: (2025)

LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers
by: Olausson, Theo X., et al.
Published: (2023)