Artificial Intelligence: Themes in the Second Decade