Dynamic Interactions Between Goals and Beliefs

Steven Shapiro, Gerhard Brewka

Shapiro et al., presented a framework for representing goal change in the situation calculus. In that framework, agents adopt a goal when requested to do so (by some agent), and they remain committed to the goal unless the request is cancelled by that agent. A common assumption in the agent theory literature is that achievement goals that are believed to be impossible to achieve should be dropped. In this paper, we incorporate this assumption into Shapiro et al.'s framework, however we go a step further. If an agent believes a goal is impossible to achieve, it is dropped. However, if the agent later believes that it was mistaken about the impossibility of achieving the goal, the agent might readopt the goal. In addition, we consider an agent's goals as a whole when making them compatible with their beliefs, rather than considering them individually.

Subjects: 15.1 Belief Revision; 7.1 Multi-Agent Systems

Submitted: Oct 16, 2006

This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.