非经典逻辑与人工智能的关系