基于形式化证明的大语言模型幻觉抑制方法与系统

本发明涉及人工智能领域，公开了基于形式化证明的大语言模型幻觉抑制方法与系统，该方法包括：利用形式化逻辑验证框架，使语言模型的输入和输出进行逻辑映射，并根据规则匹配和递归推理，对语言模型的输出进行逻辑验证，识别模型幻觉数据；基于关联规则挖掘算法，对模型幻觉数据进行幻觉模式的挖掘；利用聚类分析将幻觉模式进行聚类，得到幻觉模式的聚类结果；基于幻觉模式的聚类结果，使用规则学习算法制定抑制规则，并生成决策树的分支规则，根据抑制规则和分支规则对语言模型的输出结果进行幻觉抑制。本发明通过自动化规则学习与关联规则挖掘，减少幻觉模式的发生并提升语言模型的推理质量。