18 results about "Formal language" patented technology

The invention discloses a dynamic reasoning method and system for industrial design multi-modal constraint verification. The method comprises the steps that an input geometric image and a problem text are converted into formalized language description of the same symbology system through an analyzer; inputting the formalized language description into a symbol solver, and solving the symbolized representation of the geometric problem by introducing a named relationship and a state machine; under the condition that input questions are given, similar questions with question solving theorem guidance are found out, and contents and thinking directions of the similar questions serve as a part of cue words Prompt to participate in construction of the thinking tree; a geometric reasoning normal form of a tree-shaped structure is adopted according to the thinking tree, proposal and evaluation are conducted in combination with a large language model, whether a stopping condition is met or not and whether searching is continued or not are judged through a controller, and the optimal problem solving path and the problem solving process are determined. The method can fully stimulate the capability of a large model in the field of plane geometry problems, effectively fuses geometric information and text logic, and achieves a good question and answer effect.

The embodiment of the invention discloses a statement conversion method and device, electronic equipment and a storage medium, and belongs to the technical field of artificial intelligence. The method comprises the steps of extracting corresponding global constraint information according to semantics of a to-be-converted statement, and determining a first sub-statement corresponding to the global constraint information from the to-be-converted statement; determining global action range information corresponding to the first sub-statement according to the global constraint information, and determining a relationship conjunction between the global constraint information and the first sub-statement according to the first sub-statement; determining nested structure information according to the global action range information, the relational conjunction, the first sub-statement and the global constraint information; when the first sub-statement is not the atomic statement, performing statement decomposition on the first sub-statement to obtain updated nested structure information, and determining an intermediate language statement; and generating a conversion statement corresponding to the to-be-converted statement according to the intermediate language statement. According to the method, the quality of the formalized language statement obtained by converting the natural language statement is improved.

This application discloses a method and related apparatus for grading math problems, relating to the field of artificial intelligence technology. This application converts user responses in natural language into proof skeleton data in a pre-defined formal language, and uses a compiler of the pre-defined formal language as a deterministic oracle. By capturing compilation feedback signals, it determines the final evaluation result of the reasoning validity of the problem-solving process. By using the compiler's strict execution of substitution probability prediction, it provides deterministic logical truth values ​​for fuzzy natural language reasoning. Therefore, it can improve the reliability of the evaluation of the reasoning validity of students' problem-solving process.

The invention relates to the technical field of networks, in particular to a network data packet analysis system, and provides a system for network data packet analysis, which comprises a protocol decoding engine, a graph optimization engine and a graph traversal engine, in a protocol decoding engine, a plain text concise language specification is adopted to describe basic logic and logic combination of formal languages, description of logic combination and complex nested structures is supported, high expression ability and good readability are achieved, the design is concise enough, the manufacturing difficulty of decoding scripts and the total number of codes can be greatly reduced, and the decoding efficiency is improved. In the graph optimization engine and the graph traversal engine, grammar logic of an original graph structure processed by the protocol decoding engine is converted into graph logic by adopting a graph algorithm to realize performance optimization during operation, and flexible analysis of different types of protocols is supported for a multi-graph engine architecture; and a graph structure designed in a classified manner comprises a character string graph, a regular graph and the like, and a standardized graph traversal mechanism is realized by unifying a multi-graph traversal engine.

The invention relates to the technical field of networks, in particular to an interpretation language generation method and device suitable for protocol decoding and a medium, and provides an interpretation language suitable for protocol decoding. The method supports the description of logic combination and complex nested structures, has strong expression ability and good readability, is simple enough in design, greatly reduces the manufacturing difficulty and reading difficulty of decoding scripts and the total amount of codes, and greatly shortens the development period. Meanwhile, in protocol decoding, each network protocol is regarded as a formal language, abstraction is carried out to describe most protocols, an interpretation language which is concise in design is designed to standardize and describe basic logic and combination of the formal language, a plain text protocol decoding script is used for replacing a traditional hard coding decoder, and a complete three-level grammar system of words, sentences and segments is constructed.

A network change method, a network change verification method, and a network change verification system. The verification method comprises: after receiving a first change intent input by a user for changing a target network, generating a second change intent on the basis of the first change intent, wherein the first change intent is a change intent described by using a natural language, and the second change intent is a change intent described by using a formal language; determining a first path set and a second path set, wherein the first path set is a path set which is computed after the second change intent acts on a path set for a target data flow before the target network is changed, and the second path set is a path set for the target data flow after the target network is actually changed on the basis of the second change intent; and on the basis of the first path set and the second path set, verifying a change scheme for the target network.

The embodiment of the application discloses a software security analysis method and an electronic device. The software security analysis method comprises the following steps: constructing a first business model of a target software system based on a first modeling language; converting the first business model into a second business model of a formal language based on time sequence logic; and performing formal analysis on the second business model, and determining the security state of the target software system according to the analysis result. The application can improve the comprehensiveness, accuracy and effectiveness of the security analysis on the software system.

This application provides a mathematical problem-solving method, an electronic device, and a storage medium. On one hand, the electronic device or server can verify the correctness and completeness of the solution steps corresponding to a first mathematical problem input by the user in natural language, making the logic of the solution steps more rigorous and improving the accuracy of the solution. On the other hand, the electronic device can output solution steps in both natural language and formal language, or output verification results in both natural language and formal language, based on the first mathematical problem input by the user in natural language, demonstrating the solution process or verification process to the user, thus improving the authority and interpretability of the mathematical solution.

This invention belongs to the technical field of network security attack and defense simulation, specifically involving an artificial intelligence-based method for generating a network security practical training range. The method includes: using a first intelligent agent to generate a formal language script for the training range that meets the user's scenario requirements; using a compiler to parse the current script and generate a training range constraint file; iteratively correcting the code structure during the parsing process through a self-correction feedback mechanism; using a constraint solver to determine whether the network topology of the training range represented by the constraint file meets known network topology specifications, and generating a corresponding training range model file for constraint files that meet the requirements; otherwise, triggering intelligent agent correction; extracting information about each node involved in the training range from the training range model file to generate coarse-grained and fine-grained scripts; and sequentially using the coarse-grained and fine-grained scripts to generate the network security practical training range. This invention enables the automated construction of training ranges in network attack and defense training platforms.

The present disclosure provides a geometric question translator training data construction method, system, device and medium, the training data construction method comprising: obtaining current input data; inputting the current input data into a pre-trained language translation model to output a current formal language corresponding to a to-be-translated geometric question; performing a syntax verification operation on the current formal language; in response to the current formal language passing the syntax verification operation, obtaining a current natural language corresponding to the current formal language; performing a semantic verification operation on the current natural language; and in response to the current natural language passing the semantic verification operation, constructing training data for the geometric question translator based on the current formal language. The present disclosure realizes the automatic generation of the current formal language, guarantees the grammatical accuracy of the current formal language and the semantic accuracy of the current natural language, makes the training data of the geometric question translator have very high accuracy and credibility, and lays a foundation for the accuracy of the geometric question translator.

This planning device comprises: an overall automated planning problem setting unit that generates, in a formal language, an automated planning problem from a task instruction, an environment graph, and domain information; a task breakdown / assignment setting unit that has a generative AI that divides an overall task into subtasks on the basis of the automated planning problem, and also assigns the subtasks and allocates a computational priority order to each agent; a partial automated planning problem setting / evaluation unit that has a generative AI that generates a partial automated planning problem of an agent for executing the assigned subtasks; an automated planning unit that solves the partial automated planning problem by means of an automated planning solver, and computes a state transition / action sequence of the agent; and a cost prediction unit that converts the state transition of the agent into a graph representation, and performs a cost prediction using a machine learning model for predicting the feasibility and cost of an action sequence of the agent on the basis of said information.

This specification proposes a static verification method for insecure code, comprising: obtaining insecure code developed using a target programming language; the target programming language supporting security protection for the developed code; the security protection being used to prevent the introduction of undefined behavior in the code; the insecure code including code without the security protection; converting the insecure code into verifiable code based on a formal language, and converting the constraints corresponding to the insecure code into constraints based on the formal language; wherein the constraints include constraints for preventing the introduction of the undefined behavior in the insecure code; performing formal verification on the verifiable code to determine whether the code semantics of the insecure code satisfy the constraints, and determining whether executing the insecure code will produce undefined behavior based on the verification results.

The invention belongs to the related technical field of network security attack and defense simulation, and particularly relates to an artificial intelligence-based network security actual combat target range generation method, which comprises the following steps of: generating a target range formalized language script meeting a user scene requirement by adopting a first agent; a compiler is adopted to analyze the current script, and a target range constraint file is generated; iteratively correcting a code structure through a self-correction feedback mechanism in an analysis process; a constraint solver is adopted to judge whether the target range network topology represented by the target range constraint file meets the known network topology specification requirement or not, a corresponding target range model file is generated for the target range constraint file meeting the requirement, and if not, intelligent agent correction is triggered; extracting information of each node related to the target range to be generated from the target range model file, and generating a coarse-grained script and a fine-grained script; and generating a network security actual combat target range by adopting coarse-grained and fine-grained scripts in sequence. According to the invention, automatic construction of the target range in the network attack and defense practical training platform can be realized.

Provided in the present application are a mathematical problem processing method, an electronic device and a storage medium. On the one hand, an electronic device or a server can verify, on the basis of a first mathematical problem in natural language input by a user, correctness and completeness of problem solving steps corresponding to the first mathematical problem, allowing the logic of the problem solving steps corresponding to the first mathematical problem to be more rigorous, thereby improving the accuracy of solutions to mathematical problems; on the other hand, the electronic device can, on the basis of the first mathematical problem in natural language input by the user, output problem solving steps in natural language and problem solving steps in formal language, or output a verification result in natural language and a verification result in formal language, so as to display a problem solving process or a verification process to the user, thereby improving the authoritativeness and interpretability of mathematical problem solving.

This disclosure provides a method, system, device, and medium for constructing training data for a geometry problem translator. The training data construction method includes: acquiring current input data; inputting the current input data into a pre-trained language translation model, outputting the current formal language corresponding to the geometry problem to be translated; performing grammatical verification on the current formal language; in response to the current formal language passing the grammatical verification, acquiring the current natural language corresponding to the current formal language; performing semantic verification on the current natural language; and in response to the current natural language passing the semantic verification, constructing training data for the geometry problem translator based on the current formal language. This disclosure achieves automated generation of the current formal language, ensuring the grammatical accuracy of the current formal language and the semantic accuracy of the current natural language, making the training data for the geometry problem translator highly accurate and reliable, laying the foundation for the accuracy of the geometry problem translator.

This formal language conversion system comprises: a formal language conversion means that determines an element to be extracted from formal language data that describes an operation that can be executed by an agent that is to be caused to operate according to a work plan, a state of an operation environment of the agent, and a target state of the operation environment, and extracts the element that is determined from the formal language data to generate a character string; an automatic planning means that executes an automatic plan for generating a work plan on the basis of the generated character string, and determines whether an executable work plan has been generated; and an automatic plan evaluation means that, when it is determined that an executable work plan has not been generated, identifies a cause for why an executable work plan has not been generated, and updates the element to be extracted from the formal language data on the basis of the identified cause.

The invention relates to the field of communication, and provides a formalized language conversion method, a network system, a device and electronic equipment. The method comprises the following steps: receiving first communication information sent by a first external communication system; a corresponding communication function instruction is generated based on the first communication information, second communication information is generated based on the communication function instruction, and the communication function instruction supports management of an external network management system; and sending the second communication information to a second external communication system. According to the formalized language conversion method, the network system, the device and the electronic equipment provided by the invention, diversified and dynamic network convergence requirements can be met.

The invention relates a computer-implemented method for the identification of an issue in a technical system with the steps: a) entry as a first information a description of the issue in non-formal language (12), and b) entry as a second information at least one picture, photo, or video of at least a presumably affected part of the technical system (11), ) and mapping the received second information (14) on a knowledge graph (6) representing the technical system, c) analysis of the second information (20), and amending context of the technical system, d) generating output in technical unambiguous language (23) by a LLM (10), e) using output for evaluation of the to be identified issue (30, 40), f) generation of at least one possible solution for issue in technical language (41) and g) entry of possible solution and conversion by the LLM (10) generating an output (50).