Budget-constrained reasoning in agent computational environments