ROBOTS, REASONING, AND REIFICATION