一种基于大语言模型与可满足性模理论求解器协同的保险推荐方法、系统、设备及介质

本申请公开了一种基于大语言模型与可满足性模理论求解器协同的保险推荐方法、系统、设备及介质，涉及人工智能与保险科技交叉技术领域，该方法包括：获取用户自然语言保险需求信息；基于大语言模型提取为结构化约束数据；将其转化为可满足性模理论求解器可识别的逻辑约束问题；调用求解器求解，得到包含最优解模型或不可满足核心约束的求解结果；当包含最优解模型时生成保险推荐方案，当包含不可满足核心约束时执行约束松弛与迭代调整，生成可行方案。本申请通过可满足性模理论求解器的严格逻辑验证，能够利用人工智能技术对保险进行推荐，得到可用的保险推荐方案。