A Beautiful Mind: Principles and Strategies for AI-Augmented Human Reasoning