<div class="csl-bib-body">
<div class="csl-entry">Aldini, A., Ciabattoni, A., Pichler, D., & Tagliaferri, M. (2025). Support + Belief = Decision Trust. In U. Schmid & Roman Kuznets (Eds.), <i>Structural Information and Communication Complexity : 32nd International Colloquium, SIROCCO 2025, Delphi, Greece, June 2–4, 2025, Proceedings</i> (pp. 3–22). Springer. https://doi.org/10.1007/978-3-031-91736-3_1</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/221600
-
dc.description.abstract
We present SBTrust, a logical framework designed to formalize decision trust. Our logic integrates a doxastic modality with a novel non-monotonic conditional operator that establishes a positive support relation between statements and is closely related to a known dyadic deontic modality. For SBTrust, we provide semantics, proof theory and complexity results, as well as motivating examples. Compared to existing approaches, our framework seamlessly accommodates the integration of multiple factors in the emergence of trust.
en
dc.language.iso
en
-
dc.relation.ispartofseries
Lecture Notes in Computer Science
-
dc.subject
Beliefs
en
dc.subject
Decision trust
en
dc.subject
Deontic logic
en
dc.subject
Non-monotonic conditional
en
dc.title
Support + Belief = Decision Trust
en
dc.type
Inproceedings
en
dc.type
Konferenzbeitrag
de
dc.contributor.affiliation
University of Urbino, Italy
-
dc.contributor.affiliation
University of Urbino, Italy
-
dc.contributor.editoraffiliation
Czech Academy of Sciences, Institute of Computer Science, Czechia
-
dc.relation.isbn
978-3-031-91736-3
-
dc.relation.doi
10.1007/978-3-031-91736-3
-
dc.relation.issn
0302-9743
-
dc.description.startpage
3
-
dc.description.endpage
22
-
dc.type.category
Full-Paper Contribution
-
dc.relation.eissn
1611-3349
-
tuw.booktitle
Structural Information and Communication Complexity : 32nd International Colloquium, SIROCCO 2025, Delphi, Greece, June 2–4, 2025, Proceedings
-
tuw.container.volume
15671
-
tuw.peerreviewed
true
-
tuw.relation.publisher
Springer
-
tuw.relation.publisherplace
Cham
-
tuw.researchTopic.id
I1
-
tuw.researchTopic.name
Logic and Computation
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E192-05 - Forschungsbereich Theory and Logic
-
tuw.publication.orgunit
E056-13 - Fachbereich LogiCS
-
tuw.publication.orgunit
E056-23 - Fachbereich Innovative Combinations and Applications of AI and ML (iCAIML)
-
tuw.publisher.doi
10.1007/978-3-031-91736-3_1
-
dc.description.numberOfPages
20
-
tuw.author.orcid
0000-0002-7250-5011
-
tuw.author.orcid
0000-0001-6947-8772
-
tuw.author.orcid
0009-0003-1790-2983
-
tuw.author.orcid
0000-0003-3875-0512
-
tuw.editor.orcid
0000-0001-9831-8583
-
tuw.event.name
32nd International Colloquium On Structural Information and Communication Complexity (SIROCCO 2025)
