Language Models, Agent Models, and World Models: The LAW for Machine Reasoning and Planning