Logic in artificial intelligence Artificial intelligence mathematics