UvA-DARE ( Digital Academic Repository ) A matter of trust : Dynamic attitudes in epistemic logic

While propositional attitudes-like knowledge and belief-capture an agent's opinion about a particular piece of information, dynamic attitudes, as understood in this dissertation, capture an agent's opinion about a particular source of information, more precisely: they represent the agent's assessment of (or opinion about) the reliability (or trustworthiness) of the source. The project of this dissertation is to study the latter notion from a general qualitative vantage point. The proposal of the thesis is to formally represent assessments of reliability by means of operations on information states: dynamic attitudes are encoded as strategies for belief change, capturing how an agent plans to "change her mind" once receiving a particular piece of information from a particular (type of) source. In this way, the dissertation establishes a connection to the rich existing literature on information dynamics, which has been a major focus of attention in belief revision theory, dynamic epistemic logic and dynamic semantics. The main focus of the work presented here is a study of the interplay between dynamic attitudes and the more well-known propositional attitudes.

[1]  Gregory Ward,et al.  A pragmatic analysis of the epistemic would construction in english , 2003 .

[2]  R. Loui,et al.  Change in View , 1987, Artif. Intell..

[3]  Craig Boutilier,et al.  Iterated revision and minimal change of conditional beliefs , 1996, J. Philos. Log..

[4]  Yoav Shoham,et al.  Logics of Knowledge and Belief , 2008 .

[5]  Lawrence S. Moss,et al.  Logics for Epistemic Programs , 2004, Synthese.

[6]  Johan van Benthem,et al.  Logical Dynamics of Information and Interaction , 2014 .

[7]  Robert Stalnaker,et al.  Iterated Belief Revision , 2009, Knowledge and Conditionals.

[8]  Marina Daecher,et al.  Subjective Probability The Real Thing , 2016 .

[9]  Frank Veltman,et al.  Making Counterfactual Assumptions , 2005, J. Semant..

[10]  Barbara Dunin-Keplicz,et al.  Teamwork in Multi-Agent Systems - A Formal Approach , 2010, Wiley series in agent technology.

[11]  André Fuhrmann,et al.  The Logic of Theory Change , 1991, Lecture Notes in Computer Science.

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

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

[14]  Wilfrid Hodges,et al.  A Shorter Model Theory , 1997 .

[15]  Michael Reinhard.  Rational Consensus In Science And Society , 2016 .

[16]  Rineke Verbrugge,et al.  Learning to Apply Theory of Mind , 2008, J. Log. Lang. Inf..

[17]  Wolfgang Spohn,et al.  A Survey of Ranking Theory , 2009 .

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

[19]  Abhaya C. Nayak,et al.  Iterated belief change based on epistemic entrenchment , 1994 .

[20]  Igor Douven,et al.  Inferential Conditionals and Evidentiality , 2013, J. Log. Lang. Inf..

[21]  A. Baltag,et al.  EPISTEMIC LOGIC AND INFORMATION UPDATE , 2008 .

[22]  Raul Andres Leal Rodriguez,et al.  Modalities through the looking glass: a study on coalgebraic modal logics and their applications , 2011 .

[23]  Malte Willer,et al.  A Remark on Iffy Oughts , 2012 .

[24]  Johan van Benthem,et al.  Dynamic logic for belief revision , 2007, J. Appl. Non Class. Logics.

[25]  P G rdenfors,et al.  Knowledge in flux: modeling the dynamics of epistemic states , 1988 .

[26]  Johan van Benthem,et al.  Dynamic Logics of Evidence-Based Beliefs , 2011, Stud Logica.

[27]  Zoé Christoff,et al.  A Two-Tiered Formalization of Social Influence , 2013, LORI.

[28]  K. Hengeveld.  Mood and modality , 2004 .

[29]  J. Groenendijk,et al.  Coreference and modality , 1996 .

[30]  Richard Booth,et al.  Admissible and Restrained Revision , 2006, J. Artif. Intell. Res..

[31]  Rino Falcone,et al.  Principles of trust for MAS: cognitive anatomy, social importance, and quantification , 1998, Proceedings International Conference on Multi Agent Systems (Cat. No.98EX160).

[32]  Katrin Schulz,et al.  “ If you ’ d wiggled A , then B would ’ ve changed ” Causality and counterfactual conditionals , 2009 .

[33]  Oliver Board,et al.  Dynamic interactive epistemology , 2004, Games Econ. Behav..

[34]  Rino Falcone,et al.  Trust dynamics: how trust is influenced by direct experiences and by trust itself , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[35]  P. Engel.  Epistemic norms , 2009 .

[36]  G. Scarpa.  Quantum entanglement in non-local games, graph parameters and zero-error information theory , 2013 .

[37]  Maricarmen Martinez,et al.  The Stories of Logic and Information , 2006 .

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

[39]  J. Pearl.  Causality: Models, Reasoning and Inference , 2000 .

[40]  Ben Rodenhäuser.  Dynamic Attitudes, Fixed Points and Minimal Change , 2013, LORI.

[41]  Yanjing Wang,et al.  On the Logic of Lying , 2012, Games, Actions and Social Software.

[42]  Johan van Benthem,et al.  Exploring logical dynamics , 1996, Studies in logic, language and information.

[43]  Alexandru Baltag,et al.  Protocols for belief merge: Reaching agreement via communication , 2013, Log. J. IGPL.

[44]  Jelle Gerbrandy,et al.  Dynamic epistemic logic , 1998 .

[45]  J. Yolton.  A Theory of Knowledge , 1924, Nature.

[46]  H. Rott.  Stability, Strength and Sensitivity: Converting Belief into Knowledge , 2004 .

[47]  Stanley Peters,et al.  Quantifiers in language and logic , 2006 .

[48]  Marijn Koolen,et al.  The meaning of structure: the value of link evidence for information retrieval , 2011, SIGF.

[49]  Adam J. Grove,et al.  Two modellings for theory change , 1988, J. Philos. Log..

[50]  Guido Boella,et al.  Normative Multiagent Systems and Trust Dynamics , 2004, Trusting Agents for Trusting Electronic Societies.

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

[52]  Hans van Ditmarsch,et al.  The Secret of My Success , 2006, Synthese.

[53]  A. Kratzer.  The Notional Category of Modality , 2008 .

[54]  Floris Roelofsen,et al.  Attention! 'Might' in Inquisitive Semantics , 2009 .

[55]  Fenrong Liu,et al.  Facebook and the epistemic logic of friendship , 2013, TARK.

[56]  Craig Boutilier,et al.  Revision Sequences and Nested Conditionals , 1993, IJCAI.

[57]  Andrade Lotero,et al.  Models of Language: Towards a practice-based account of information in natural language , 2012 .

[58]  Hans Rott,et al.  INFORMATION STRUCTURES IN BELIEF REVISION , 2008 .

[59]  Malte Willer,et al.  An Update on Epistemic Modals , 2015, J. Philos. Log..

[60]  B. Smets,et al.  Doxastic Attitudes as Belief-Revision Policies Alexandru Baltag , 2012 .

[61]  D. Sperber,et al.  Epistemic Vigilance , 2010 .

[62]  J. Gerbrandy.  Bisimulations on Planet Kripke , 1999 .

[63]  Hans Rott,et al.  Shifting Priorities: Simple Representations for Twenty-Seven Iterated Theory Change Operators , 2009, Towards Mathematical Philosophy.

[64]  Nina Gierasimczuk,et al.  Belief revision as a truth-tracking process , 2011, TARK XIII.

[65]  Malte Willer,et al.  Dynamics of Epistemic Modality , 2013 .

[66]  Mehdi Dastani,et al.  Inferring Trust , 2004, CLIMA.

[67]  D. García Soriano,et al.  Query-efficient computation in property testing and learning theory , 2012 .

[68]  Robert Demolombe.  To trust information sources: a proposal for a modal logical framework , 2001 .

[69]  Johan van Benthem,et al.  Foundations of conditional logic , 1984, J. Philos. Log..

[70]  Dirk Herrmann,et al.  Essays In Logical Semantics , 2016 .

[71]  Rianne Kaptein,et al.  Effective focused retrieval by exploiting query context and document structure , 2012, SIGF.

[72]  Emiliano Lorini,et al.  A logic of trust and reputation , 2010, Log. J. IGPL.

[73]  A. Papafragou.  Epistemic modality and truth conditions , 2006 .

[74]  D. Walton,et al.  Commitment In Dialogue , 1995 .

[75]  Richard C. Jeffrey,et al.  Knowledge, Belief, and Counterfactual Reasoning in Games , 1999 .

[76]  G. Boolos,et al.  What is the name of this book? : the riddle of Dracula and other logical puzzles , 1979 .

[77]  Pierpaolo Battigalli,et al.  Strong Belief and Forward Induction Reasoning , 2002, J. Econ. Theory.

[78]  Barteld P. Kooi,et al.  Expressivity and completeness for public update logics via reduction axioms , 2007, J. Appl. Non Class. Logics.

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

[80]  Joseph Y. Halpern.  Reasoning about uncertainty , 2003 .

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

[82]  Richard Spencer-Smith,et al.  Modal Logic , 2007 .

[83]  Alexandru Baltag,et al.  A qualitative theory of dynamic interactive belief revision , 2008 .

[85]  Wesley H. Holliday,et al.  Moorean Phenomena in Epistemic Logic , 2010, Advances in Modal Logic.

[86]  Isaac Levi,et al.  Contraction: On the Decision-Theoretical Origins of Minimal Change and Entrenchment , 2006, Synthese.

[87]  Odile Papini.  Iterated Revision Operations Stemming from the History of an Agent’s Observations , 2001 .

[88]  Frank Veltman,et al.  Defaults in update semantics , 1996, J. Philos. Log..

[89]  M. Halliday.  Functional diversity in language as seen from a consideration of modality and mood in English , 1970 .