Prioritized goals and subgoals in a logical account of goal change – a preliminary report

  • Authors:

  • Shakil M. Khan;Yves Lespérance

  • Affiliations:

  • Department of Computer Science and Engineering, York University, Toronto, ON, Canada;Department of Computer Science and Engineering, York University, Toronto, ON, Canada

  • Venue:
  • DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

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.