AI and nonmonotonic reasoning