本发明涉及人工智能领域，公开了基于形式化证明的大语言模型幻觉抑制方法与系统，该方法包括：利用形式化逻辑验证框架，使语言模型的输入和输出进行逻辑映射，并根据规则匹配和递归推理，对语言模型的输出进行逻辑验证，识别模型幻觉数据；基于关联规则挖...