Switch to: References

Add citations

You must login to add citations.
  1. Dynamic Update with Probabilities.Johan van Benthem, Jelle Gerbrandy & Barteld Kooi - 2009 - Studia Logica 93 (1):67 - 96.
    Current dynamic-epistemic logics model different types of information change in multi-agent scenarios. We generalize these logics to a probabilistic setting, obtaining a calculus for multi-agent update with three natural slots: prior probability on states, occurrence probabilities in the relevant process taking place, and observation probabilities of events. To match this update mechanism, we present a complete dynamic logic of information change with a probabilistic character. The completeness proof follows a compositional methodology that applies to a much larger class of dynamic-probabilistic (...)
    Download  
     
    Export citation  
     
    Bookmark   27 citations  
  • Truth-Tracking by Belief Revision.Alexandru Baltag, Nina Gierasimczuk & Sonja Smets - 2019 - Studia Logica 107 (5):917-947.
    We study the learning power of iterated belief revision methods. Successful learning is understood as convergence to correct, i.e., true, beliefs. We focus on the issue of universality: whether or not a particular belief revision method is able to learn everything that in principle is learnable. We provide a general framework for interpreting belief revision policies as learning methods. We focus on three popular cases: conditioning, lexicographic revision, and minimal revision. Our main result is that conditioning and lexicographic revision can (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • A Modal Logic for Supervised Learning.Alexandru Baltag, Dazhu Li & Mina Young Pedersen - 2022 - Journal of Logic, Language and Information 31 (2):213-234.
    Formal learning theory formalizes the process of inferring a general result from examples, as in the case of inferring grammars from sentences when learning a language. In this work, we develop a general framework—the supervised learning game—to investigate the interaction between Teacher and Learner. In particular, our proposal highlights several interesting features of the agents: on the one hand, Learner may make mistakes in the learning process, and she may also ignore the potential relation between different hypotheses; on the other (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Reasoning Processes as Epistemic Dynamics.Fernando R. Velázquez-Quesada - 2015 - Axiomathes 25 (1):41-60.
    This work proposes an understanding of deductive, default and abductive reasoning as different instances of the same phenomenon: epistemic dynamics. It discusses the main intuitions behind each one of these reasoning processes, and suggest how they can be understood as different epistemic actions that modify an agent’s knowledge and/or beliefs in a different way, making formal the discussion with the use of the dynamic epistemic logic framework. The ideas in this paper put the studied processes under the same umbrella, thus (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Reasoning Processes as Epistemic Dynamics.Olga Pombo - 2015 - Axiomathes 25 (1):41-60.
    This work proposes an understanding of deductive, default and abductive reasoning as different instances of the same phenomenon: epistemic dynamics. It discusses the main intuitions behind each one of these reasoning processes, and suggest how they can be understood as different epistemic actions that modify an agent’s knowledge and/or beliefs in a different way, making formal the discussion with the use of the dynamic epistemic logic framework. The ideas in this paper put the studied processes under the same umbrella, thus (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Merging DEL and ETL.Tomohiro Hoshi - 2010 - Journal of Logic, Language and Information 19 (4):413-430.
    This paper surveys the interface between the two major logical trends that describe agents’ intelligent interaction over time: dynamic epistemic logic (DEL) and epistemic temporal logic (ETL). The initial attempt to “merge” DEL and ETL was made in van Benthem et al. (Merging frameworks for interaction: DEL and ETL, 2007) and followed up by van Benthem et al. (J Phil Logic 38(5):491–526, 2009) and Hoshi (Epistemic dynamics and protocol information. Ph.D. thesis, Stanford University Stanford, 2009a). The merged framework provides a (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Johan van Benthem on Logic and Information Dynamics.Alexandru Baltag & Sonja Smets (eds.) - 2014 - Cham, Switzerland: Springer International Publishing.
    This book illustrates the program of Logical-Informational Dynamics. Rational agents exploit the information available in the world in delicate ways, adopt a wide range of epistemic attitudes, and in that process, constantly change the world itself. Logical-Informational Dynamics is about logical systems putting such activities at center stage, focusing on the events by which we acquire information and change attitudes. Its contributions show many current logics of information and change at work, often in multi-agent settings where social behavior is essential, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • A Computational Learning Semantics for Inductive Empirical Knowledge.Kevin T. Kelly - 2014 - In Alexandru Baltag & Sonja Smets (eds.), Johan van Benthem on Logic and Information Dynamics. Springer International Publishing. pp. 289-337.
    This chapter presents a new semantics for inductive empirical knowledge. The epistemic agent is represented concretely as a learner who processes new inputs through time and who forms new beliefs from those inputs by means of a concrete, computable learning program. The agent’s belief state is represented hyper-intensionally as a set of time-indexed sentences. Knowledge is interpreted as avoidance of error in the limit and as having converged to true belief from the present time onward. Familiar topics are re-examined within (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Epistemic Probability Logic Simplified.Jan van Eijck & François Schwarzentruber - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10. CSLI Publications. pp. 158-177.
    Download  
     
    Export citation  
     
    Bookmark   2 citations