Switch to: References

Add citations

You must login to add citations.
  1. Epistemic planning for single- and multi-agent systems.Thomas Bolander & Mikkel Birkegaard Andersen - 2011 - Journal of Applied Non-Classical Logics 21 (1):9-34.
    In this paper, we investigate the use of event models for automated planning. Event models are the action defining structures used to define a semantics for dynamic epistemic logic. Using event models, two issues in planning can be addressed: Partial observability of the environment and knowledge. In planning, partial observability gives rise to an uncertainty about the world. For single-agent domains, this uncertainty can come from incomplete knowledge of the starting situation and from the nondeterminism of actions. In multi-agent domains, (...)
    Download  
     
    Export citation  
     
    Bookmark   38 citations  
  • DEL-sequents for regression and epistemic planning.Guillaume Aucher - 2012 - Journal of Applied Non-Classical Logics 22 (4):337 - 367.
    (2012). DEL-sequents for regression and epistemic planning. Journal of Applied Non-Classical Logics: Vol. 22, No. 4, pp. 337-367. doi: 10.1080/11663081.2012.736703.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Idealization, epistemic logic, and epistemology.Audrey Yap - 2014 - Synthese 191 (14):3351-3366.
    Many criticisms of epistemic logic have centered around its use of devices such as idealized knowers with logical omniscience and perfect self-knowledge. One possible response to such criticisms is to say that these idealizations are normative devices, and that epistemic logic tells us how agents ought to behave. This paper will take a different approach, treating epistemic logic as descriptive, and drawing the analogy between its formal models and idealized scientific models on that basis. Treating it as descriptive matches the (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Parameterized Complexity of Theory of Mind Reasoning in Dynamic Epistemic Logic.Iris van de Pol, Iris van Rooij & Jakub Szymanik - 2018 - Journal of Logic, Language and Information 27 (3):255-294.
    Theory of mind refers to the human capacity for reasoning about others’ mental states based on observations of their actions and unfolding events. This type of reasoning is notorious in the cognitive science literature for its presumed computational intractability. A possible reason could be that it may involve higher-order thinking. To investigate this we formalize theory of mind reasoning as updating of beliefs about beliefs using dynamic epistemic logic, as this formalism allows to parameterize ‘order of thinking.’ We prove that (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Dynamic term-modal logics for first-order epistemic planning.Andrés Occhipinti Liberman, Andreas Achen & Rasmus Kræmmer Rendsvig - 2020 - Artificial Intelligence 286:103305.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Exploring the tractability border in epistemic tasks.Cédric Dégremont, Lena Kurzen & Jakub Szymanik - 2014 - Synthese 191 (3):371-408.
    We analyse the computational complexity of comparing informational structures. Intuitively, we study the complexity of deciding queries such as the following: Is Alice’s epistemic information strictly coarser than Bob’s? Do Alice and Bob have the same knowledge about each other’s knowledge? Is it possible to manipulate Alice in a way that she will have the same beliefs as Bob? The results show that these problems lie on both sides of the border between tractability (P) and intractability (NP-hard). In particular, we (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Generalized DEL-sequents.Guillaume Aucher, Bastien Maubert & François Schwarzentruber - 2012 - In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. pp. 54--66.
    Download  
     
    Export citation  
     
    Bookmark   3 citations