. Defeasible Reasoning and Partial Order Planning

DIEGO R. GARCÍA; ALEJANDRO J. GARCÍA; GUILLERMO R. SIMARI

Simposio; Fifth International Symposium on Foundations of Information and Knowledge Systems (FoIKS). (2008); 2008

Argumentation-based formalisms provide a way of consider-ing the defeasible nature of reasoning with partial and often erroneousknowledge in a given environment. This problem affects every aspect ofa planning process. We will present an argumentation-based formalismthat an agent could use for constructing plans starting from a previ-ously introduced formalism. In such a formalism, agents represent theirknowledge about their environment in Defeasible Logic Programming,and have a set of actions they can execute to affect their environment.These actions are defined in combination with a defeasible argumenta-tion formalism. We will analyze the interplay of arguments and actionswhen constructing plans using Partial Order Planning techniques.