Copertina

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

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Herd, Benjamin, Kelly, Jessica, Heinemann, Clarissa, Zacchi, João-Vitor
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

Subjective Logic Encodings
di: Vasilakes, Jake, et al.
Pubblicazione: (2025)

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

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

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

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

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

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

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

Dispute resolution in legal mediation with quantitative argumentation
di: Chi, Xiao
Pubblicazione: (2024)

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

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

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

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

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

Automatic coherence-driven inference on arguments
di: Huntsman, Steve
Pubblicazione: (2025)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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