Switch to: References

Add citations

You must login to add citations.
  1. Inference and Update.Fernando Raymundo Velázquez-Quesada - 2009 - Synthese 169 (2):283-300.
    We look at two fundamental logical processes, often intertwined in planning and problem solving: inference and update. Inference is an internal process with which we uncover what is implicit in the information we already have. Update, on the other hand, is produced by external communication, usually in the form of announcements and in general in the form of observations, giving us information that might not have been available (even implicitly) before. Both processes have received attention from the logic community, usually (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  • Dynamic Epistemic Logic for Implicit and Explicit Beliefs.Fernando R. Velázquez-Quesada - 2014 - Journal of Logic, Language and Information 23 (2):107-140.
    Epistemic logic with its possible worlds semantic model is a powerful framework that allows us to represent an agent’s information not only about propositional facts, but also about her own information. Nevertheless, agents represented in this framework are logically omniscient: their information is closed under logical consequence. This property, useful in some applications, is an unrealistic idealisation in some others. Many proposals to solve this problem focus on weakening the properties of the agent’s information, but some authors have argued that (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  • The Dynamics of Awareness.Fernando R. Velázquez-Quesada & Johan van Benthem - 2010 - Synthese 177 (S1):5 - 27.
    Classical epistemic logic describes implicit knowledge of agents about facts and knowledge of other agents based on semantic information. The latter is produced by acts of observation or communication that are described well by dynamic epistemic logics. What these logics do not describe, however, is how significant information is also produced by acts of inference— and key axioms of the system merely postulate "deductive closure". In this paper, we take the view that all information is produced by acts, and hence (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   13 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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Imagine the Possibilities: Information Without Overload.Mark Jago - 2006 - Logique Et Analyse 49 (196):345–371.
    Information is often modelled as a set of relevant possibilities, treated as logically possible worlds. However, this has the unintuitive consequence that the logical consequences of an agent's information cannot be informative for that agent. There are many scenarios in which such consequences are clearly informative for the agent in question. Attempts to weaken the logic underlying each possible world are misguided. Instead, I provide a genuinely psychological notion of epistemic possibility and show how it can be captured in a (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations