18 found
Order:
Disambiguations
Rasmus Kraemmer Rendsvig [9]Rasmus K. Rendsvig [7]Rasmus Kræmmer Rendsvig [2]
  1. Pluralistic ignorance in the bystander effect: informational dynamics of unresponsive witnesses in situations calling for intervention.Rasmus Kraemmer Rendsvig - 2014 - Synthese 191 (11):2471-2498.
    The goal of the present paper is to construct a formal explication of the pluralistic ignorance explanation of the bystander effect. The social dynamics leading to inaction is presented, decomposed, and modeled using dynamic epistemic logic augmented with ‘transition rules’ able to characterize agent behavior. Three agent types are defined: First Responders who intervene given belief of accident; City Dwellers, capturing ‘apathetic urban residents’ and Hesitators, who observe others when in doubt, basing subsequent decision on social proof. It is shown (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  2.  37
    Dynamic Epistemic Logics of Diffusion and Prediction in Social Networks.Alexandru Baltag, Zoé Christoff, Rasmus K. Rendsvig & Sonja Smets - 2019 - Studia Logica 107 (3):489-531.
    We take a logical approach to threshold models, used to study the diffusion of opinions, new technologies, infections, or behaviors in social networks. Threshold models consist of a network graph of agents connected by a social relationship and a threshold value which regulates the diffusion process. Agents adopt a new behavior/product/opinion when the proportion of their neighbors who have already adopted it meets the threshold. Under this diffusion policy, threshold models develop dynamically towards a guaranteed fixed point. We construct a (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  3.  26
    Dynamic term-modal logics for first-order epistemic planning.Andrés Occhipinti Liberman, Andreas Achen & Rasmus Kræmmer Rendsvig - 2020 - Artificial Intelligence 286 (C):103305.
  4.  25
    Model Transformers for Dynamical Systems of Dynamic Epistemic Logic.Rasmus Kraemmer Rendsvig - 2015 - In Wiebe Van Der Hoek, Wesley H. Holliday & W. Wang (eds.), ogic, Rationality, and Interaction. LORI 2015. Lecture Notes in Computer Science, vol 9394. Springer.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  5.  58
    On the Foundations of the Problem of Free Will.Paolo Galeazzi & Rasmus K. Rendsvig - 2024 - Episteme 21 (2):339-357.
    In a recent paper, Christian List (2014) has argued for the compatibilism of free will and determinism. Drawing on a distinction between physical possibility (used in defining determinism) and agential possibility (used in defining free will), List constructs a formal two-level model in which the two concepts are consistent. This paper's first contribution is to show that though List's model is formally consistent, philosophically it falls short of establishing a satisfactory compatibilist position. Ensuingly, an analysis of the shortcomings of the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  6. Convergence, Continuity and Recurrence in Dynamic Epistemic Logic.Dominik Klein & Rasmus K. Rendsvig - 2017 - In Alexandru Baltag, Jeremy Seligman & Tomoyuki Yamada (eds.), Logic, Rationality, and Interaction (LORI 2017, Sapporo, Japan). Springer. pp. 108-122.
    The paper analyzes dynamic epistemic logic from a topological perspective. The main contribution consists of a framework in which dynamic epistemic logic satisfies the requirements for being a topological dynamical system thus interfacing discrete dynamic logics with continuous mappings of dynamical systems. The setting is based on a notion of logical convergence, demonstratively equivalent with convergence in Stone topology. Presented is a flexible, parametrized family of metrics inducing the latter, used as an analytical aid. We show maps induced by action (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  7.  93
    Infostorms.Pelle G. Hansen, Vincent F. Hendricks & Rasmus K. Rendsvig - 2013 - Metaphilosophy 44 (3):301-326.
    It has become a truism that we live in so-called information societies where new information technologies have made information abundant. At the same time, information science has made us aware of many phenomena tied to the way we process information. This article explores a series of socio-epistemic information phenomena resulting from processes that track truth imperfectly: pluralistic ignorance, informational cascades, and belief polarization. It then couples these phenomena with the hypothesis that modern information technologies may lead to their amplification so (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  8.  17
    Dynamic Logics for Threshold Models and their Epistemic Extension.Zoé Christoff & Rasmus Kraemmer Rendsvig - unknown
    We take a logical approach to threshold models, used to study the diffusion of e.g. new technologies or behaviors in social net-works. In short, threshold models consist of a network graph of agents connected by a social relationship and a threshold to adopt a possibly cascading behavior. Agents adopt new behavior when the proportion of their neighbors who have already adopted it meets the threshold. Under this adoption policy, threshold models develop dynamically with a guaranteed fixed point. We construct a (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  9.  15
    Diffusion, Influence and Best-Response Dynamics in Networks : An Action Model Approach.Rasmus Kraemmer Rendsvig - 2014 - In Ronald de Haan (ed.), Proceedings of the ESSLLI 2014 Student Session. pp. 63-75.
    Threshold models and their dynamics may be used to model the spread of ‘behaviors’ in social networks. Regarding such from a modal logical perspective, it is shown how standard update mechanisms may be emulated using action models – graphs encoding agents’ decision rules. A small class of action models capturing the possible sets of decision rules suitable for threshold models is identified, and shown to include models characterizing best-response dynamics of both coordination and anti-coordination games played on graphs. We conclude (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  10.  29
    Logical Dynamics and Dynamical Systems.Rasmus Kraemmer Rendsvig - unknown
    This thesis is on information dynamics modeled using *dynamic epistemic logic*. It takes the simple perspective of identifying models with maps, which under a suitable topology may be analyzed as *topological dynamical systems*. It is composed of an introduction and six papers. The introduction situates DEL in the field of formal epistemology, exemplifies its use and summarizes the main contributions of the papers.Paper I models the information dynamics of the *bystander effect* from social psychology. It shows how augmenting the standard (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  11. Metrics for Formal Structures, with an Application to Kripke Models and Their Dynamics.Dominik Klein & Rasmus K. Rendsvig - 2023 - Journal of Symbolic Logic 88 (2):469-489.
    The paper introduces a broad family of metrics applicable to finite and countably infinite strings, or, by extension, to formal structures serving as semantics for countable languages. The main focus is on applications to sets of pointed Kripke models, a semantics for modal logics. For the resulting metric spaces, the paper classifies topological properties including which metrics are topologically equivalent, providing sufficient conditions for compactness, characterizing clopen sets and isolated points, and characterizing the metrical topologies by a concept of logical (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  31
    Intensional Protocols for Dynamic Epistemic Logic.Hanna S. van Lee, Rasmus K. Rendsvig & Suzanne van Wijk - 2019 - Journal of Philosophical Logic 48 (6):1077-1118.
    In dynamical multi-agent systems, agents are controlled by protocols. In choosing a class of formal protocols, an implicit choice is made concerning the types of agents, actions and dynamics representable. This paper investigates one such choice: An intensional protocol class for agent control in dynamic epistemic logic, called ‘DEL dynamical systems’. After illustrating how such protocols may be used in formalizing and analyzing information dynamics, the types of epistemic temporal models that they may generate are characterized. This facilitates a formal (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  30
    Dynamic Epistemic Logic of Diffusion and Prediction in Threshold Models.Alexandru Baltag, Zoé Christoff, Rasmus Kraemmer Rendsvig & Sonja Smets - unknown
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  17
    Erratum to “Dynamic term-modal logics for first-order epistemic planning” [Artif. Intell. 286 (2020) 103305].Andrés Occhipinti Liberman, Andreas Achen & Rasmus Kræmmer Rendsvig - 2023 - Artificial Intelligence 323 (C):103969.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  22
    Epistemic Planning with Attention as a Bounded Resource.Gaia Belardinelli & Rasmus K. Rendsvig - 2021 - In Sujata Ghosh & Thomas Icard (eds.), Logic, Rationality, and Interaction: 8th International Workshop, Lori 2021, Xi’an, China, October 16–18, 2021, Proceedings. Springer Verlag. pp. 14-30.
    When information grows abundant, attention becomes a scarce resource. As a result, agents must plan wisely how to allocate their attention in order to achieve epistemic efficiency. Here, we present a framework for multi-agent epistemic planning with attention, based on Dynamic Epistemic Logic. We identify the framework as a fragment of standard DEL, and consider its plan existence problem. While it is undecidable in the general case, we show that when attention is required for learning, all instances of the problem (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  16.  18
    Preface.Margot Colinet, Sophia Katrenko & Rasmus Kraemmer Rendsvig - unknown
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  17.  14
    The Philosophy of Distributed Information.Rasmus Kraemmer Rendsvig & Vincent F. Hendricks - 2016 - In Luciano Floridi (ed.), The Routledge Handbook of Philosophy of Information. Routledge. pp. 120-136.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  18.  39
    Pristine Perspectives on Logic, Language and Computation : ESSLLI 2012 and ESSLLI 2013 Student Sessions, Selected Papers. [REVIEW]Margot Colinet, Sophia Katrenko & Rasmus Kraemmer Rendsvig - unknown
    The European Summer School in Logic, Language and Information is organized every year by the Association for Logic, Language and Information in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation. The 16 papers presented in this volume have (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark