Philosophical Logic and Artificial Intelligence