John Lindqvist, Fernando R. Velázquez-Quesada, Thomas Ågotnes
{"title":"Variations on distributed belief","authors":"John Lindqvist, Fernando R. Velázquez-Quesada, Thomas Ågotnes","doi":"arxiv-2408.10637","DOIUrl":null,"url":null,"abstract":"Motivated by the search for forms of distributed belief that do not collapse\nin the face of conflicting information, this paper introduces the notions of\ncautious and bold distributed belief. Both notions rely on maximally consistent\nsubgroups of agents, with cautious quantifying universally and bold quantifying\nexistentially. As a result, while the cautious distributed belief of a group is\ninconsistent only when all group members are individually inconsistent, the\nbold distributed belief of a group is never inconsistent. The paper discusses\nthese two notions, presenting their respective modalities and semantic\ninterpretations, discussing some of their basic properties, studying whether\nthey preserve doxastic properties from the members of the group, and comparing\nthem not only with standard distributed belief but also with one another, both\nat the level of modalities and at the level of language expressivity.","PeriodicalId":501208,"journal":{"name":"arXiv - CS - Logic in Computer Science","volume":"69 1","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2024-08-20","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-2408.10637","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
Motivated by the search for forms of distributed belief that do not collapse
in the face of conflicting information, this paper introduces the notions of
cautious and bold distributed belief. Both notions rely on maximally consistent
subgroups of agents, with cautious quantifying universally and bold quantifying
existentially. As a result, while the cautious distributed belief of a group is
inconsistent only when all group members are individually inconsistent, the
bold distributed belief of a group is never inconsistent. The paper discusses
these two notions, presenting their respective modalities and semantic
interpretations, discussing some of their basic properties, studying whether
they preserve doxastic properties from the members of the group, and comparing
them not only with standard distributed belief but also with one another, both
at the level of modalities and at the level of language expressivity.