Large model reasoning and calculation enhancement system, method, equipment and medium
By combining the large language model with Prolog, converting and executing natural language problems into Prolog code, the accuracy and reliability problems of the large language model in mathematical calculations and logical reasoning are solved, and the processing of more complex problems and stable results are achieved.
CN119918651APending Publication Date: 2025-05-02SHANDONG INSPUR SCI RES INST CO LTD
Patent Information
- Application Number
- CN202411674415.7
- Authority / Receiving Office
- CN · China
- Patent Type
- Applications(China)
- Current Assignee / Owner
- Filing Date
- 2024-11-21
- Publication Date
- 2025-05-02
Smart Images

Figure CN119918651A_ABST
Abstract
The invention provides a large model reasoning and calculation enhancement system, method, device and medium, and belongs to the technical field of artificial intelligence, the system comprises a user interaction module for obtaining and processing a natural language question input by a user, and returning a calculation result to the user; the reasoning and calculating module is used for converting the processed problem into a standard Prolog code by using the adjusted large language model; the Prolog code integrity verification module is used for carrying out integrity verification on the converted Prolog code; and the Prolog interpreter module is used for analyzing and executing the Prolog code which passes the verification, and then providing a calculation result to the user interaction module. According to the method, the natural language understanding ability of the large language model is combined with the precise calculation ability of Prolog, so that the limitation of the large language model in the aspects of mathematical calculation and logical reasoning is effectively solved, and the accuracy and reliability of a reasoning result are improved.
Need to check novelty before this filing date? Find Prior Art
Citation Information
Cited By
Task execution method and device based on pseudo code, storage medium and equipment
CN120540751A
A task execution method, device, storage medium and equipment based on pseudocode
CN120540751B
Large language model artificial intelligence system
CN121189328A
Method for improving mathematical reasoning ability of large language model by integrating mathematica code and natural language reasoning step
CN121581194A