逻辑学转人工智能可行吗