Prioritized Goals and Subgoals in a Logical Account of Goal Change - A Preliminary Report

Abstract. Most previous logical accounts of goal change do not deal with prioritized goals and do not handle subgoals and their dynamics properly. Many are restricted to achievement goals. In this paper, we develop a logical account of goal change that addresses these deficiencies. In our account, we do not drop lower priority goals permanently when they become inconsistent with other goals and the agent's knowledge; rather, we make such goals inactive. We ensure that the agent's chosen goals/intentions are consistent with each other and the agent's knowledge. When the world changes, the agent recomputes her chosen goals and some inactive goals may become active again. This ensures that our agent maximizes her utility. We also propose an approach for handling subgoals and their dynamics. We prove that the proposed account has some intuitively desirable properties.

• Type: Conference
• Year: 2009
• Where: DALT
• Authors: Shakil M. Khan, Yves Lespérance
• Keywords: DALT 2009, Goal Change, Intelligent Agents, Logical Account, Prioritized Goals