非公理推理系统中命题逻辑语句的生成方法、系统和设备

本公开提供了一种非公理推理系统中命题逻辑语句的生成方法、系统和设备，该生成方法包括：获取初始文本；基于非公理推理系统中命题逻辑语句的输入要求，得到预设大语言模型的目标提示词；基于所述目标提示词，将所述初始文本输入至所述预设大语言模型，以输出目标命题逻辑语句。本公开通过命题逻辑语句的输入要求得到目标提示词，进而根据目标提示词将初始文本输入至预设大语言模型，以输出目标命题逻辑语句，实现了初始文本到命题逻辑语句的自动化转换，显著降低了用户的使用门槛，大大提高了转换效率，提高了非公理推理系统的推理结果的质量和可靠性，具有良好的扩展性、可维护性和适应性，提升了智能化程度、便捷性、实际应用价值和范围。