Back to the future: towards a reasoning and learning architecture for ad hoc teamwork