Reasoning and Interaction