Philosophical Logic And Artificial Intel