面向自然语言推理的语义抽象:发现并补偿大模型语义知识缺口的方法论框架 | AILore Sift