{"type":"ScholarlyArticle","title":"In Data We Trust: The Logic of Trust-Based Beliefs","authors":[{"name":"Junli Jiang","slug":"junli-jiang","given":"Junli","family":"Jiang","affiliation":"Institute of Logic and Intelligence , Southwest University , China"},{"name":"Pavel Naumov","slug":"pavel-naumov","given":"Pavel","family":"Naumov","affiliation":"University of Southampton , the United Kingdom"}],"abstract":"The paper proposes a data-centred approach to reasoning about the interplay between trust and beliefs. At its core, is the modality \"under the assumption that one dataset is trustworthy, another dataset informs a belief in a statement\". The main technical result is a sound and complete logical system capturing the properties of this modality.","doi":"10.24963/ijcai.2022/372","url":"https://ijcai.org/proceedings/2022/372","pdf":"https://ijcai.org/proceedings/2022/0372.pdf","markdown":"https://ijcai.org/proceedings/2022/372.md","bibtex":"https://ijcai.org/proceedings/2022/bibtex/372","volume":{"slug":"2022","title":"Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2022","url":"https://ijcai.org/proceedings/2022/","year":2022,"location":"Vienna","dates":"23-29 July 2022","editors":"Luc De Raedt","isbn":"978-1-956792-00-3","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2022"},"section":"Knowledge Representation and Reasoning","track":"Main Track","number":372,"pages":{"first":2683,"last":2689},"keywords":["Knowledge Representation and Reasoning: Reasoning about Knowledge and Belief"],"videos":[],"references":[{"position":1,"raw":"[Armstrong, 1974] W. W. Armstrong. Dependency struc- tures of data base relationships. In Information Processing 74 (Proc. IFIP Congress, Stockholm, 1974), pages 580- 583. North-Holland, Amsterdam, 1974.","title":"Dependency structures of data base relationships","authors":"W W Armstrong","year":"1974","venue":"Information Processing","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Baltag and Smets, 2006] Alexandru Baltag and Sonja Smets. Conditional doxastic models: A qualitative approach to dynamic belief revision. Electronic Notes in Theoretical Computer Science, 165:5 -21, 2006. Proceedings of the 13th Workshop on Logic, Language, Information and Computation (WoLLIC 2006).","title":"Conditional doxastic models: A qualitative approach to dynamic belief revision","authors":"Smets Baltag, Alexandru Baltag, Sonja Smets","year":"2006","venue":"Proceedings of the 13th Workshop on Logic, Language, Information and Computation (WoLLIC","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Baltag and Smets, 2008] Alexandru Baltag and Sonja Smets. A qualitative theory of dynamic interactive belief revision. Logic and the foundations of game and decision theory (LOFT 7), 3:9-58, 2008.","title":"Alexandru Baltag and Sonja Smets. A qualitative theory of dynamic interactive belief revision","authors":"Smets Baltag","year":"2008","venue":"Logic and the foundations of game and decision theory","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Baltag and van Benthem, 2021] Alexandru Baltag and Jo- han van Benthem. A simple logic of functional depen- dence. Journal of Philosophical Logic, 50:1-67, 2021.","title":"Alexandru Baltag and Johan van Benthem. A simple logic of functional dependence","authors":"Van Baltag, Benthem","year":"2021","venue":"Journal of Philosophical Logic","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Baltag, 2016] Alexandru Baltag. To know is to know the value of a variable. In Lev D. Beklemishev, Stéphane Demri, and András Maté, editors, Advances in Modal Logic 11, proceedings of the 11th conference on Advances in Modal Logic, Budapest, Hungary, August 30 -Septem- ber 2, 2016, pages 135-155. College Publications, 2016.","title":"To know is to know the value of a variable","authors":"Alexandru Baltag","year":"2016","venue":"Advances in Modal Logic 11, proceedings of the 11th conference on Advances in Modal Logic","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Board, 2004] Oliver Board. Dynamic interactive epistemol- ogy. Games and Economic Behavior, 49(1):49-80, 2004.","title":"Dynamic interactive epistemology","authors":"Oliver Board","year":"2004","venue":"Games and Economic Behavior","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Boutilier, 1994] Craig Boutilier. Conditional logics of normality: a modal approach. Artificial intelligence, 68(1):87-154, 1994.","title":"Conditional logics of normality: a modal approach","authors":"Craig Boutilier","year":"1994","venue":"Artificial intelligence","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Castelfranchi and Falcone, 1998] Cristiano Castelfranchi and Rino Falcone. Principles of trust for MAS: Cognitive anatomy, social importance, and quantification. In Proceedings International Conference on Multi Agent Systems (Cat. No. 98EX160), pages 72-79. IEEE, 1998.","title":"Principles of trust for MAS: Cognitive anatomy, social importance, and quantification","authors":"Falcone Castelfranchi","year":"1998","venue":"Proceedings International Conference on Multi Agent Systems (Cat. No. 98EX160)","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Friedman and Halpern, 1997] Nir Friedman and Joseph Y Halpern. Modeling belief in dynamic systems, part I: foun- dations. Artificial intelligence, 95(2):257-316, 1997.","title":"Modeling belief in dynamic systems, part I: foundations","authors":"Halpern Friedman, Nir Friedman, Joseph Y Halpern","year":"1997","venue":"Artificial intelligence","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Friedman and Halpern, 1999] Nir Friedman and Joseph Y Halpern. Modeling belief in dynamic systems, part II: Re- vision and update. Journal of Artificial Intelligence Re- search, 10:117-167, 1999.","title":"Modeling belief in dynamic systems, part II: Revision and update","authors":"Halpern Friedman, Nir Friedman, Joseph Y Halpern","year":"1999","venue":"Journal of Artificial Intelligence Research","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Garcia-Molina et al., 2009] Hector Garcia-Molina, Jeffrey Ullman, and Jennifer Widom. Database Systems: The Complete Book. Prentice-Hall, second edition, 2009.","title":"Database Systems: The Complete Book","authors":"Garcia-Molina","year":"2009","venue":null,"doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Girlando et al., 2016] Marianna Girlando, Sara Negri, Nicola Olivetti, and Vincent Risch. The logic of conditional beliefs: Neighbourhood semantics and se- quent calculus. In Advances in Modal Logic. College Publications, 2016.","title":"The logic of conditional beliefs: Neighbourhood semantics and sequent calculus","authors":"Marianna Girlando, Sara Negri, Nicola Olivetti, Vincent Risch","year":"2016","venue":"Advances in Modal Logic","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Girlando et al., 2019] Marianna Girlando, Bjoern Lell- mann, and Nicola Olivetti. Nested sequents for the logic of conditional belief. In European Conference on Logics in Artificial Intelligence, pages 709-725. Springer, 2019.","title":"Nested sequents for the logic of conditional belief","authors":"Marianna Girlando, Bjoern Lellmann, Nicola Olivetti","year":"2019","venue":"European Conference on Logics in Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Herzig et al., 2010] Andreas Herzig, Emiliano Lorini, Jomi F Hübner, and Laurent Vercouter. A logic of trust and reputation. Logic Journal of the IGPL, 18(1):214-244, 2010.","title":"A logic of trust and reputation","authors":"Andreas Herzig, Emiliano Lorini, Jomi F Hübner, Laurent Vercouter","year":"2010","venue":"Logic Journal of the IGPL","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Lewis, 1973] David K Lewis. Counterfactuals. Harvard University Press, 1973.","title":"Counterfactuals","authors":"Lewis David","year":"1973","venue":null,"doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Liau, 2003] Churn-Jung Liau. Belief, information acquisi- tion, and trust in multi-agent systems-a modal logic for- mulation. Artificial Intelligence, 149(1):31-60, 2003.","title":"Churn-Jung Liau. Belief, information acquisition, and trust in multi-agent systems-a modal logic formulation","authors":"Liau","year":"2003","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Miner More and Naumov, 2009] Sara Miner More and Pavel Naumov. An independence relation for sets of secrets. In H. Ono, M. Kanazawa, and R. de Queiroz, edi- tors, Proceedings of 16th Workshop on Logic, Language, Information and Computation (Tokyo, 2009), LNAI 5514, pages 296-304. Springer, 2009.","title":"Sara Miner More and Pavel Naumov. An independence relation for sets of secrets","authors":"Miner More, Naumov","year":"2009","venue":"Proceedings of 16th Workshop on Logic, Language, Information and Computation","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Mitra et al., 2011] Gautam Mitra, Dan diBartolomeo, Ashok Banerjee, and Xiang Yu. Automated analysis of news to compute market sentiment: Its impact on liquidity and trading. Technical Report The Future of Computer Trading in Financial Markets, Foresight Driver Review, DR 8, UK Government Office for Science, July 2011.","title":"Automated analysis of news to compute market sentiment: Its impact on liquidity and trading","authors":"Gautam Mitra, Dan Dibartolomeo, Ashok Banerjee, Xiang Yu","year":"2011","venue":null,"doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Perrotin et al., 2019] Elise Perrotin, Rustam Galimullin, Quentin Canu, and Natasha Alechina. Public group an- nouncements and trust in doxastic logic. In International Workshop on Logic, Rationality and Interaction, pages 199-213. Springer, 2019.","title":"Public group announcements and trust in doxastic logic","authors":"Elise Perrotin, Rustam Galimullin, Quentin Canu, Natasha Alechina","year":"2019","venue":"International Workshop on Logic, Rationality and Interaction","doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[Primiero, 2020] Giuseppe Primiero. A logic of nega- tive trust. Journal of Applied Non-Classical Logics, 30(3):193-222, 2020.","title":"A logic of negative trust","authors":"Giuseppe Primiero","year":"2020","venue":"Journal of Applied Non-Classical Logics","doi":null,"url":null,"internal_url":null},{"position":21,"raw":"[Sutherland, 1986] David Sutherland. A model of informa- tion. In Proceedings of Ninth National Computer Security Conference, pages 175-183, 1986.","title":"A model of information","authors":"David Sutherland","year":"1986","venue":"Proceedings of Ninth National Computer Security Conference","doi":null,"url":null,"internal_url":null},{"position":22,"raw":"[Tagliaferri and Aldini, 2019] Mirko Tagliaferri and Alessandro Aldini. A trust logic for the varieties of trust. In International Conference on Software Engi- neering and Formal Methods, pages 119-136. Springer, 2019.","title":"A trust logic for the varieties of trust","authors":"Mirko Tagliaferri, Alessandro Aldini","year":"2019","venue":"International Conference on Software Engineering and Formal Methods","doi":null,"url":null,"internal_url":null},{"position":23,"raw":"[van Ditmarsch et al., 2007] Hans van Ditmarsch, Wiebe van der Hoek, and Barteld Kooi. Dynamic Epistemic Logic. Springer, 2007.","title":"Dynamic Epistemic Logic","authors":"Van Ditmarsch","year":"2007","venue":null,"doi":null,"url":null,"internal_url":null},{"position":24,"raw":"[van Eijck and Li, 2017] Jan van Eijck and Kai Li. Condi- tional belief, knowledge and probability. In Proceedings of the 16th conference on Theoretical aspects of rational- ity and knowledge, pages 188-206. EPTCS 251, 2017.","title":"Conditional belief, knowledge and probability","authors":"Li ; Van Eijck, Jan Van Eijck, Kai Li","year":"2017","venue":"Proceedings of the 16th conference on Theoretical aspects of rationality and knowledge","doi":null,"url":null,"internal_url":null},{"position":25,"raw":"[van Eijck et al., 2017] Jan van Eijck, Malvin Gattinger, and Yanjing Wang. Knowing values and public inspection. In Indian Conference on Logic and Its Applications, pages 77-90. Springer, 2017.","title":"Knowing values and public inspection","authors":"Van Eijck","year":"2017","venue":"Indian Conference on Logic and Its Applications","doi":null,"url":null,"internal_url":null},{"position":26,"raw":"[von Beschwitz et al., 2020] Bastian von Beschwitz, Don- ald B Keim, and Massimo Massa. First to \"read\" the news: News analytics and algorithmic trading. The Review of As- set Pricing Studies, 10(1):122-178, 2020.","title":"First to \"read\" the news: News analytics and algorithmic trading","authors":"Von Beschwitz","year":"2020","venue":"The Review of Asset Pricing Studies","doi":null,"url":null,"internal_url":null},{"position":27,"raw":"[Wang and Fan, 2014] Yanjing Wang and Jie Fan. Condi- tionally knowing what. In Rajeev Goré, Barteld P. Kooi, and Agi Kurucz, editors, Advances in Modal Logic 10, in- vited and contributed papers from the tenth conference on Advances in Modal Logic, held in Groningen, The Nether- lands, August 5-8, 2014, pages 569-587. College Publica- tions, 2014.","title":"Conditionally knowing what","authors":"Yanjing Wang, Jie Fan","year":"2014","venue":"conference on Advances in Modal Logic","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}