通过检索支撑的形式概念分析实现可验证知识扩展

论文提出一种检索增强小语言模型与形式概念分析（FCA）结合的知识扩展框架：FCA生成属性蕴含，模型通过检索验证或提供反例，并支持对象属性判定、一致性检查和属性提议。在罕见共济失调数据上，10个种子属性运行的关系F1为0.29–0.52，闭包蕴含F1为0.22–0.30。