in the interest of rigorous reasoning about agents and their interaction with environments, much work has been devoted to characterizing the nature of intention and its role in cognition and action. logicians and computer scientists have developed num ...