dual utility reasoning in ai games.