Switch to: References

Add citations

You must login to add citations.
  1. The Interrogative Model of Inquiry Meets Dynamic Epistemic Logics.Yacin Hamami - 2015 - Synthese 192 (6):1609-1642.
    The Interrogative Model of Inquiry and Dynamic Epistemic Logics are two central paradigms in formal epistemology. This paper is motivated by the observation of a significant complementarity between them: on the one hand, the IMI provides a framework for investigating inquiry represented as an idealized game between an Inquirer and Nature, along with an account of the interaction between questions and inferences in information-seeking processes, but is lacking a formulation in the multi-agent case; on the other hand, DELs model various (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • El giro dinámico en la epistemología formal: el caso del razonamiento explicativo.Fernando Soler Toscano - 2014 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 29 (2):181.
    We explore the possibilities that dynamic epistemic logic offers to model abductive reasoning. We show that many of the problems with formal approaches to abduction based on classical logic can be solved when considering an epistemic agent that reasons and acts.Exploramos las posibilidades que ofrece la lógica epistémica dinámica para modelar el razonamiento abductivo. Mostramos que muchos de los problemas que encuentran los tratamientos formales de la abducción basados en lógica clásica pueden ser resueltos al considerar un agente epistémico que (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Reasoning Processes as Epistemic Dynamics.Fernando 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  
  • Generation and Selection of Abductive Explanations for Non-Omniscient Agents.Fernando Soler-Toscano & Fernando R. Velázquez-Quesada - 2014 - Journal of Logic, Language and Information 23 (2):141-168.
    Among the non-monotonic reasoning processes, abduction is one of the most important. Usually described as the process of looking for explanations, it has been recognized as one of the most commonly used in our daily activities. Still, the traditional definitions of an abductive problem and an abductive solution mention only theories and formulas, leaving agency out of the picture. Our work proposes a study of abductive reasoning from an epistemic and dynamic perspective. In the first part we explore syntactic definitions (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Dynamic Epistemic Logic of Belief Change in Legal Judgments.Pimolluck Jirakunkanok, Katsuhiko Sano & Satoshi Tojo - 2018 - Artificial Intelligence and Law 26 (3):201-249.
    This study realizes belief/reliability change of a judge in a legal judgment by dynamic epistemic logic. A key feature of DEL is that possibilities in an agent’s belief can be represented by a Kripke model. This study addresses two difficulties in applying DEL to a legal case. First, since there are several methods for constructing a Kripke model, our question is how we can construct the model from a legal case. Second, since this study employs several dynamic operators, our question (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Forgetting Complex Propositions.David Fernández–Duque, Ángel Nepomuceno–Fernández, Enrique Sarrión–Morrillo, Fernando Soler–Toscano & Fernando R. Velázquez–Quesada - 2015 - Logic Journal of the IGPL 23 (6):942-965.
    Download  
     
    Export citation  
     
    Bookmark  
  • The Dynamics of Epistemic Attitudes in Resource-Bounded Agents.Philippe Balbiani, David Fernández-Duque & Emiliano Lorini - 2019 - Studia Logica 107 (3):457-488.
    The paper presents a new logic for reasoning about the formation of beliefs through perception or through inference in non-omniscient resource-bounded agents. The logic distinguishes the concept of explicit belief from the concept of background knowledge. This distinction is reflected in its formal semantics and axiomatics: we use a non-standard semantics putting together a neighborhood semantics for explicit beliefs and relational semantics for background knowledge, and we have specific axioms in the logic highlighting the relationship between the two concepts. Mental (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Syntactic Awareness in Logical Dynamics.Davide Grossi & Fernando R. Velázquez-Quesada - 2015 - Synthese 192 (12):4071-4105.
    The paper develops an interface between syntax-based logical models of awareness and dynamic epistemic logic. The framework is shown to be able to accommodate a variety of notions of awareness and knowledge, as well as their dynamics. This, it is argued, offers a natural formal environment for the analysis of epistemic phenomena typical of multi-agent information exchange, such as how agents become aware of relevant details, how they perform inferences and how they share their information within a group. Technically, the (...)
    Download  
     
    Export citation  
     
    Bookmark