Record link: 
http://hdl.handle.net/20.500.12708/221600
-
Title: 
Support + Belief = Decision Trust
en
Citation: 
Aldini, A., Ciabattoni, A., Pichler, D., & Tagliaferri, M. (2025). Support + Belief = Decision Trust. In U. Schmid & Roman Kuznets (Eds.), Structural Information and Communication Complexity : 32nd International Colloquium, SIROCCO 2025, Delphi, Greece, June 2–4, 2025, Proceedings (pp. 3–22). Springer. https://doi.org/10.1007/978-3-031-91736-3_1
-
Publisher DOI: 
10.1007/978-3-031-91736-3_1
-
Publication Type: 
Inproceedings - Full-Paper Contribution
en
Language: 
English
-
Authors: 
Aldini, Alessandro 
Ciabattoni, Agata 
Pichler, Dominik 
Tagliaferri, Mirko 
-
Organisational Unit: 
E192-05 - Forschungsbereich Theory and Logic 
E056-13 - Fachbereich LogiCS 
E056-23 - Fachbereich Innovative Combinations and Applications of AI and ML (iCAIML) 
-
Published in: 
Structural Information and Communication Complexity : 32nd International Colloquium, SIROCCO 2025, Delphi, Greece, June 2–4, 2025, Proceedings 
-
ISBN: 
978-3-031-91736-3
-
Volume: 
15671
-
DOI of the book: 
10.1007/978-3-031-91736-3
-
Date (published): 
2025
-
Event name: 
32nd International Colloquium On Structural Information and Communication Complexity (SIROCCO 2025) 
en
Event date: 
2-Jun-2025 - 4-Jun-2025
-
Event place: 
Delphi, Greece
-
Number of Pages: 
20
-
Publisher: 
Springer, Cham
-
Peer reviewed: 
Yes
-
Keywords: 
Beliefs; Decision trust; Deontic logic; Non-monotonic conditional
en
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
Research Areas: 
Logic and Computation: 100%
-
Science Branch: 
1020 - Informatik: 80%
1010 - Mathematik: 20%
-
Appears in Collections:
Conference Paper

Show full item record

Page view(s)

8
checked on Nov 25, 2025

Google ScholarTM

Check