Trust-based belief change

We propose a modal logic that supports reasoning about trust-based belief change. The term trust-based belief change refers to belief change that depends on the degree of trust the receiver has in the source of information.

[1]  Guillaume Aucher,et al.  A Combined System for Update Logic and Belief Revision , 2004, PRIMA.

[2]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

[3]  Peter Gärdenfors,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.

[4]  K. Suzanne Barber,et al.  Belief Revision Process Based on Trust: Agents Evaluating Reputation of Information Sources , 2000, Trust in Cyber-societies.

[5]  Hans van Ditmarsch,et al.  Prolegomena to Dynamic Logic for Belief Revision , 2005, Synthese.

[6]  Jürg Kohlas,et al.  Handbook of Defeasible Reasoning and Uncertainty Management Systems , 2000 .

[7]  Churn-Jung Liau,et al.  Belief, information acquisition, and trust in multi-agent systems--A modal logic formulation , 2003, Artif. Intell..

[8]  S. Hansson.  A Survey of non-Prioritized Belief Revision , 1999 .

[9]  Jérôme Lang,et al.  From knowledge-based programs to graded belief-based programs, part II: off-line reasoning , 2005, IJCAI 2005.

[10]  Jan A. Plaza,et al.  Logics of public communications , 2007, Synthese.

[11]  Didier Dubois,et al.  Possibility Theory: Qualitative and Quantitative Aspects , 1998 .

[12]  H. V. Ditmarsch.  Prolegomena to Dynamic Logic for Belief Revision , 2005 .

[13]  John Cantwell,et al.  Credibility limited revision , 2001, Journal of Symbolic Logic.

[14]  Richard Booth,et al.  Credibility-Limited Revision Operators in Propositional Logic , 2012, KR.

[15]  Wolfgang Spohn,et al.  Ordinal Conditional Functions: A Dynamic Theory of Epistemic States , 1988 .

[16]  Judea Pearl,et al.  On the Logic of Iterated Belief Revision , 1994, Artif. Intell..

[17]  Lawrence S. Moss,et al.  The Logic of Public Announcements and Common Knowledge and Private Suspicions , 1998, TARK.

[18]  Barteld Kooi,et al.  Dynamic Epistemic Logic , 2013 .