逻辑学在人工智能中的应用