The application of artificial intelligence to education (AIEd) has been the subject of academic research for more than 30 years, a period during which much technical progress has been made, but few in-roads into mainstream education have been achieved. With the upsurge of interest in AI in general and increasingly in AI for education in particular, what role could and should the AIED research community play?