{"type":"ScholarlyArticle","title":"A Complete Epistemic Planner without the Epistemic Closed World Assumption","authors":[{"name":"Hai Wan","slug":"hai-wan","given":"Hai","family":"Wan","affiliation":""},{"name":"Rui Yang","slug":"rui-yang","given":"Rui","family":"Yang","affiliation":""},{"name":"Liangda Fang","slug":"liangda-fang","given":"Liangda","family":"Fang","affiliation":""},{"name":"Yongmei Liu","slug":"yongmei-liu","given":"Yongmei","family":"Liu","affiliation":""},{"name":"Huada Xu","slug":"huada-xu","given":"Huada","family":"Xu","affiliation":""}],"abstract":"Planning with epistemic goals has received attention from both the dynamic logic and planning communities. In the single-agent case, under the epistemic closed-world assumption (ECWA), epistemic planning can be reduced to contingent planning. However, it is inappropriate to make the ECWA in some epistemic planning scenarios, for example, when the agent is not fully introspective, or when the agent wants to devise a generic plan that applies to a wide range of situations. In this paper, we propose a complete single-agent epistemic planner without the ECWA. We identify two normal forms of epistemic formulas: weak minimal epistemic DNF and weak minimal epistemic CNF, and present the progression and entailment algorithms based on these normal forms. We adapt the PrAO algorithm for contingent planning from the literature as the main planning algorithm and develop a complete epistemic planner called EPK. Our experimental results show that EPK can generate solutions effectively for most of the epistemic planning problems we have considered including those without the ECWA.","doi":null,"url":"https://ijcai.org/proceedings/2015/459","pdf":"https://ijcai.org/proceedings/2015/0459.pdf","markdown":"https://ijcai.org/proceedings/2015/459.md","bibtex":"https://ijcai.org/proceedings/2015/bibtex/459","volume":{"slug":"2015","title":"Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2015","url":"https://ijcai.org/proceedings/2015/","year":2015,"location":"Buenos Aires, Argentina","dates":"25–31 July 2015","editors":"Qiang Yang and Michael Wooldridge","isbn":"978-1-57735-738-4","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Special Track on Knowledge Representation and Reasoning","track":"Special Track on Knowledge Representation and Reasoning","number":459,"pages":{"first":3257,"last":3262},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}