Buchumschlag

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

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Herd, Benjamin, Kelly, Jessica, Heinemann, Clarissa, Zacchi, João-Vitor
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Towards a compositional semantics for quantitative confidence assessment in assurance arguments
von: Herd, Benjamin, et al.
Veröffentlicht: (2026)

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

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

Towards Automated Safety Requirements Derivation Using Agent-based RAG
von: Balu, Balahari Vignesh, et al.
Veröffentlicht: (2025)

Subjective Logic Encodings
von: Vasilakes, Jake, et al.
Veröffentlicht: (2025)

When factorization meets argumentation: towards argumentative explanations
von: Zhong, Jinfeng, et al.
Veröffentlicht: (2024)

MoE-PHDS: One MoE checkpoint for flexible runtime sparsity
von: Hannah, Lauren. A, et al.
Veröffentlicht: (2025)

An alignment safety case sketch based on debate
von: Buhl, Marie Davidsen, et al.
Veröffentlicht: (2025)

Logic-Based Explainability: Past, Present & Future
von: Marques-Silva, Joao
Veröffentlicht: (2024)

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

An action language-based formalisation of an abstract argumentation framework
von: Munro, Yann, et al.
Veröffentlicht: (2024)

SCC-recursiveness in infinite argumentation (extended version)
von: Andrews, Uri, et al.
Veröffentlicht: (2025)

Dispute resolution in legal mediation with quantitative argumentation
von: Chi, Xiao
Veröffentlicht: (2024)

AKReF: An argumentative knowledge representation framework for structured argumentation
von: Bhattacharjee, Debarati, et al.
Veröffentlicht: (2025)

Complexity in finitary argumentation (extended version)
von: Andrews, Uri, et al.
Veröffentlicht: (2025)

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

On the attribution of confidence to large language models
von: Keeling, Geoff, et al.
Veröffentlicht: (2024)

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

Automatic coherence-driven inference on arguments
von: Huntsman, Steve
Veröffentlicht: (2025)

Human-Level Reasoning: A Comparative Study of Large Language Models on Logical and Abstract Reasoning
von: Moreira, Benjamin Grando
Veröffentlicht: (2025)

Fuzzy Logic -- Based Scheduling System for Part-Time Workforce
von: Nguyen, Tri, et al.
Veröffentlicht: (2025)

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

Logical recognition method for solving the problem of identification in the Internet of Things
von: Saymanov, Islambek
Veröffentlicht: (2024)

Extending confidence calibration to generalised measures of variation
von: Thompson, Andrew, et al.
Veröffentlicht: (2026)

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

Instantiation-based Formalization of Logical Reasoning Tasks using Language Models and Logical Solvers
von: Raza, Mohammad, et al.
Veröffentlicht: (2025)

Thought calibration: Efficient and confident test-time scaling
von: Wu, Menghua, et al.
Veröffentlicht: (2025)

On the Equivalence between Logic Programming and SETAF
von: Alcântara, João, et al.
Veröffentlicht: (2024)

Program Synthesis using Inductive Logic Programming for the Abstraction and Reasoning Corpus
von: Rocha, Filipe Marinho, et al.
Veröffentlicht: (2024)

Can formal argumentative reasoning enhance LLMs performances?
von: Castagna, Federico, et al.
Veröffentlicht: (2024)

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

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

A Brain-Inspired Sequence Learning Model based on a Logic
von: Xu, Bowen
Veröffentlicht: (2023)

An encoding of argumentation problems using quadratic unconstrained binary optimization
von: Baioletti, Marco, et al.
Veröffentlicht: (2024)

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

A sketch of an AI control safety case
von: Korbak, Tomek, et al.
Veröffentlicht: (2025)

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

PLN and NARS Often Yield Similar strength $\times$ confidence Given Highly Uncertain Term Probabilities
von: Goertzel, Ben
Veröffentlicht: (2024)

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

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