Logic And Reasoning In Ai