Artificial Intelligence and Logic