Planning Using Dynamic Epistemic Logic: Correspondence and Complexity

被引:0
|
作者
Jensen, Martin Holm [1 ]
机构
[1] Tech Univ Denmark, Lyngby, Denmark
关键词
D O I
暂无
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
A growing community investigates planning using dynamic epistemic logic. Another framework based on similar ideas is knowledge-based programs as plans. Here we show how actions correspond in the two frameworks. We finally discuss fragments of DEL planning obtained by the restriction of event models. Fragments are separated by virtue of their computational complexity.
引用
收藏
页码:316 / 320
页数:5
相关论文
共 50 条
  • [1] A General Framework for Modal Correspondence in Dynamic Epistemic Logic
    Motoura, Shota
    [J]. LOGIC, RATIONALITY, AND INTERACTION (LORI 2015), 2015, 9394 : 282 - 294
  • [2] Parameterized Complexity of Theory of Mind Reasoning in Dynamic Epistemic Logic
    Iris van de Pol
    Iris van Rooij
    Jakub Szymanik
    [J]. Journal of Logic, Language and Information, 2018, 27 : 255 - 294
  • [3] Parameterized Complexity of Theory of Mind Reasoning in Dynamic Epistemic Logic
    van de Pol, Iris
    van Rooij, Iris
    Szymanik, Jakub
    [J]. JOURNAL OF LOGIC LANGUAGE AND INFORMATION, 2018, 27 (03) : 255 - 294
  • [4] Epistemic logic and planning
    Maghsoudi, S
    Watson, I
    [J]. KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 2, PROCEEDINGS, 2004, 3214 : 36 - 45
  • [5] Dynamic Epistemic Logic
    Girard, Patrick
    [J]. AUSTRALASIAN JOURNAL OF LOGIC, 2009, 7 : 26 - 31
  • [6] Complexity Results in Epistemic Planning
    Bolander, Thomas
    Jensen, Martin Holm
    Schwarzentruber, Francois
    [J]. PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2015, : 2791 - 2797
  • [7] An Epistemic Logic for Planning with Trials
    Niyogi, Rajdeep
    Ramanujam, R.
    [J]. LOGIC, RATIONALITY, AND INTERACTION, PROCEEDINGS, 2009, 5834 : 238 - +
  • [8] Dynamic epistemic logic in update logic
    Aucher, Guillaume
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2016, 26 (06) : 1913 - 1960
  • [9] Parameterized Complexity Results for a Model of Theory of Mind Based on Dynamic Epistemic Logic
    van de Pol, Iris
    van Rooij, Iris
    Szymanik, Jakub
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (215): : 246 - 263
  • [10] Probabilistic Dynamic Epistemic Logic
    Barteld P. Kooi
    [J]. Journal of Logic, Language and Information, 2003, 12 (4) : 381 - 408