支持+信念=决策信任

arXiv - CS - Logic in Computer Science Pub Date : 2024-09-01 DOI:arxiv-2409.00666

Alessandro Aldini, Agata Ciabattoni, Dominik Pichler, Mirko Tagliaferri

{"title":"支持+信念=决策信任","authors":"Alessandro Aldini, Agata Ciabattoni, Dominik Pichler, Mirko Tagliaferri","doi":"arxiv-2409.00666","DOIUrl":null,"url":null,"abstract":"We present SBTrust, a logical framework designed to formalize decision trust.\nOur logic integrates a doxastic modality with a novel non-monotonic conditional\noperator that establishes a positive support relation between statements, and\nis closely related to a known dyadic deontic modality. For SBTrust, we provide\nsemantics, proof theory and complexity results, as well as motivating examples.\nCompared to existing approaches, our framework seamlessly accommodates the\nintegration of multiple factors in the emergence of trust.","PeriodicalId":501208,"journal":{"name":"arXiv - CS - Logic in Computer Science","volume":"131 1","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2024-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Support + Belief = Decision Trust\",\"authors\":\"Alessandro Aldini, Agata Ciabattoni, Dominik Pichler, Mirko Tagliaferri\",\"doi\":\"arxiv-2409.00666\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We present SBTrust, a logical framework designed to formalize decision trust.\\nOur logic integrates a doxastic modality with a novel non-monotonic conditional\\noperator that establishes a positive support relation between statements, and\\nis closely related to a known dyadic deontic modality. For SBTrust, we provide\\nsemantics, proof theory and complexity results, as well as motivating examples.\\nCompared to existing approaches, our framework seamlessly accommodates the\\nintegration of multiple factors in the emergence of trust.\",\"PeriodicalId\":501208,\"journal\":{\"name\":\"arXiv - CS - Logic in Computer Science\",\"volume\":\"131 1\",\"pages\":\"\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2024-09-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"arXiv - CS - Logic in Computer Science\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/arxiv-2409.00666\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"arXiv - CS - Logic in Computer Science","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/arxiv-2409.00666","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

我们提出的 SBTrust 是一个旨在将决策信任形式化的逻辑框架。我们的逻辑将哆嗦模态与一个新颖的非单调条件操作符整合在一起，该操作符在语句之间建立了正支持关系，并且与已知的二元哆嗦模态密切相关。对于 SBTrust，我们提供了语义、证明理论和复杂性结果，以及激励性示例。与现有方法相比，我们的框架在信任的产生过程中无缝整合了多种因素。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Support + Belief = Decision Trust

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

arXiv - CS - Logic in Computer Science

自引率

0.00%

发文量