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 numerous formal systems capturing various aspects of
the philosophically established desiderata for a notion of intention. Philip Cohen
and Hector Levesque give perhaps the most famous and venerable formal
logic of intention in their paper "Intention Is Choice with Commitment."
However, Munindar Singh has given a profound criticism of that...