Declarative Planning and Knowledge Representation in an Action Language
Thomas Eiter (Technische Universitat Wien, Austria), Wolfgang Faber (Technische Universität Wien, Austria), Gerald Pfeifer (Technische Universität Wien, Austria) and Axel Polleres (Leopold-Franzens-Universitat Innsbruck, Austria)
Copyright: © 2005
This chapter introduces planning and knowledge representation in the declarative action language K. Rooted in the area of Knowledge Representation & Reasoning, action languages like K allow the formalization of complex planning problems involving non-determinism and incomplete knowledge in a very flexible manner. By giving an overview of existing planning languages and comparing these against our language, we aim on further promoting the applicability and usefulness of high-level action languages in the area of planning. As opposed to previously existing languages for modeling actions and change, K adopts a logic programming view where fluents representing the epistemic state of an agent might be true, false or undefined in each state. We will show that this view of knowledge states can be fruitfully applied to several well-known planning domains from the literature as well as novel planning domains. Remarkably, K often allows to model problems more concisely than previous action languages. All the examples given can be tested in an available implementation, the DLVK planning system.