Combining goal generation and planning in an argumentation framework

conflicts between goals and plans in Dung’s abstract argumentation framework. Argumentation theory has traditionally been used to deal with conflicts between defaults and beliefs. Recently Amgoud has proposed to use it for conflicts between plans. Amgoud argues that Dung’s argumentation theory has to be adjusted, because conflicts between plans are fundamentally different from conflicts between defaults. We agree with the fundamental difference, but we propose an alternative way to deal with conflicts between plans that stays within Dung’s framework. Moreover, we extend Amgoud’s argumentation framework for planning with goal generation procedures, that can deal with conflicts between goals. In the proposed framework goals are derived from desires by forward reasoning, and plans are derived from goals and planning rules by backward reasoning.

• Type: Conference
• Year: 2004
• Where: NMR
• Authors: Joris Hulstijn, Leendert W. N. van der Torre
• Keywords: Argumentation, Argumentation Framework, Argumentation Theory, Artificial Intelligence, NMR 2004