Support + Belief = Decision Trust
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , , , |
|---|---|
| Format: | Preprint |
| Publié: |
2024
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866908685016498176 |
|---|---|
| author | Aldini, Alessandro Ciabattoni, Agata Pichler, Dominik Tagliaferri, Mirko |
| author_facet | Aldini, Alessandro Ciabattoni, Agata Pichler, Dominik Tagliaferri, Mirko |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2409_00666 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Support + Belief = Decision Trust Aldini, Alessandro Ciabattoni, Agata Pichler, Dominik Tagliaferri, Mirko Logic in Computer Science 03B42, 03B45 F.4.1 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. |
| title | Support + Belief = Decision Trust |
| topic | Logic in Computer Science 03B42, 03B45 F.4.1 |
| url | https://arxiv.org/abs/2409.00666 |