Plan Synthesis for Knowledge and Action Bases
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence. Pages 1022-1028.
Abstract
We study plan synthesis for a variant of Knowledge and Action Bases (KABs), a rich, dynamic framework, where states are description logic (DL) knowledge bases (KBs) whose extensional part is manipulated by actions that possibly introduce new objects from an infinite domain. We show that plan existence over KABs is undecidable even under severe restrictions. We then focus on state-bounded KABs, a class for which plan existence is decidable, and provide sound and complete plan synthesis algorithms, which combine techniques based on standard planning, DL query answering, and finite-state abstraction. All results hold for any DL with decidable query answering. We finally show that for lightweight DLs, plan synthesis can be compiled into standard ADL planning.
@inproceedings{ijcai2016p149,
title = {Plan Synthesis for Knowledge and Action Bases},
author = {Calvanese, Diego and Montali, Marco and Patrizi, Fabio and Stawowy, Michele},
booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
Artificial Intelligence, {IJCAI-16}},
publisher = {AAAI Press / International Joint Conferences on Artificial Intelligence},
editor = {Subbarao Kambhampati},
pages = {1022--1028},
year = {2016},
month = {7},
url = {https://ijcai.org/proceedings/2016/149},
}
TY - CPAPER TI - Plan Synthesis for Knowledge and Action Bases AU - Calvanese, Diego AU - Montali, Marco AU - Patrizi, Fabio AU - Stawowy, Michele T2 - Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI-16 PB - AAAI Press / International Joint Conferences on Artificial Intelligence PY - 2016 SP - 1022 EP - 1028 UR - https://ijcai.org/proceedings/2016/149 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
