Looking for breakthrough ideas for innovation challenges? Try Patsnap Eureka!

Automatic programming method and system for natural language machine thinking

A natural language and automatic programming technology, applied in intelligent editors, other database retrieval, network data indexing, etc., can solve the problem of no major technological breakthroughs, and achieve the effect of great commercial value

Pending Publication Date: 2019-05-24
王立山
View PDF4 Cites 5 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

Fully realizing automatic programming is an important research field of artificial intelligence, but there has been no major breakthrough in technology for a long time

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Automatic programming method and system for natural language machine thinking
  • Automatic programming method and system for natural language machine thinking
  • Automatic programming method and system for natural language machine thinking

Examples

Experimental program
Comparison scheme
Effect test

example 1

[0400] Natural Language Task Representation Text: Tasks come from outside. Transform the task statement in natural language into a predicate calculus-like formal clause set, and select key clauses to form the main clause set. Equivalent to training examples in machine learning.

[0401] Task explanation: Decompose the task expressed in natural language, and divide and classify it from the whole, branch and detail. It is equivalent to recognition and reasoning under domain theory in machine learning.

[0402] #include / * has directives:

[0403] Preprocess X for include input

[0404] =﹙for include, input, preprocessing X﹚

[0405] =﹙input, right, include﹚﹙﹙…,input, X﹚

[0406] IF input, THEN (right, include)

[0407] IF input, THEN pair

[0408] IF pairs, THENinclude

[0409] IF input, THENX

[0410] For example, X=math, then we have

[0411] IF preprocessing X, THENmath

[0412] Agent Behavior: Enter this instruction in the programming software. * /

[0413] #inclu...

example 2

[0423] intmax(inta, intb); / *﹙..., definition, function﹚:﹙..., press, enter key﹚∧﹙..., in, next line﹚∧﹙..., definition, function Qjmax(inta, intb)|[ Q])→﹙…, type, type specifier ∧ variable type max(inta, intb)﹚. * /

[0424] main() / *﹙…, press, Enter key﹚∧﹙…, on, next line ﹚∧﹙…, type, main(Y)﹚* /

[0425] { / *﹙…, press, Enter key﹚∧﹙…, on, next line ﹚∧﹙…, type, {﹚* /

[0426] intx1, x2, Q1; / *﹙..., definition, variable), to be used by subsequent programs: ﹙..., press, enter key﹚∧﹙..., in, next line﹚∧﹙﹙..., definition, variable xj|[ x]) → (..., type, type specifier int ∧ x1, x2, Q1) * /

[0427] intmax(inta, intb); / *﹙..., definition, function﹚:﹙..., press, enter key﹚∧﹙..., in, next line﹚∧﹙..., definition, function Qj|〔Q〕﹚→﹙ ..., type, type specifier ∧Qj). Q1 = max(inta, intb). * /

[0428] printf("inputtwonumbers:\n");

[0429] scanf("%d%d", &x1, &x2); / *Type the variables x1, x2 in two [x]: ﹙..., press, enter key﹚∧﹙..., in, next line ﹚∧﹙... , input, format input function sca...

example 3

[0438] Input and output of character array / * (character array, HAS, input ∨ output) * /

[0439] main() / *﹙…, press, Enter key﹚∧﹙…, on, next line ﹚∧﹙…, type, main(Y)﹚* /

[0440] { / *﹙…, press, Enter key﹚∧﹙…, on, next line ﹚∧﹙…, type, {﹚* /

[0441]char love[]="BASIC\ndBASE"; / *Initialize assignment array named love string: ﹙..., press, enter key﹚∧﹙..., in, next line ﹚∧﹙..., assign, love[] |〔word〕﹚→﹙..., type, type specifier ∧love[]="BASIC\ndBASE"﹚. * /

[0442] printf("%s\n", love); / *Output: ﹙..., press, enter key﹚∧﹙..., in, next line ﹚∧﹙..., type, printf("function format control string %s\ n", function love))* /

[0443]} / *﹙…, press, enter key﹚∧﹙…, on, next line ﹚∧﹙…, type, {﹚* /

[0444] Note: In the printf function in this example, the format string used is "%s", which means that the output is a string. However, the array name can be given in the output table column, and it cannot be written as:

[0445] printf("%s", love[]);

[0446] When using the scanf function to inp...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

PUM

No PUM Login to View More

Abstract

The invention discloses an automatic programming method and system for natural language machine thinking. After a task book is obtained, the following steps are sequentially carried out: S1, converting and expressing a task book text; S2, establishing a corresponding relation library; S3, externally inputting or automatically compiling a task book text, and interpreting, defining and understandingthe task book to be solved; S4, searching an algorithm module library according to the problem type and the problem framework composition mode, and designing an algorithm for solving the problem, a design program and a selected algorithm according to the algorithm module library; S5, entering a natural language generation type system, and outputting an instruction to enter programming software orenter any programming language for programming to obtain a program; And S6, running the program, and checking an output result of the program. Therefore, the machine automatically generates a specific program capable of completing the target after receiving the demand description about the target to be realized by the designed program. The method is a creative artificial intelligence technology,and has a great commercial value.

Description

technical field [0001] The invention relates to an automatic programming method for natural language machine thinking and an automatic programming system for natural language machine thinking. Background technique [0002] Automatic programming refers to the expectation of designing a program system so that the system accepts the requirement description about the goal of the designed program and automatically generates a specific program that can accomplish this goal. Fully realizing automatic programming is an important research field of artificial intelligence, but there has been no major breakthrough in technology for a long time. [0003] The present invention shall refer to "Natural Language Predicate-Like Calculus Form" and "Natural Language Production System". For details, please refer to "A Natural Language Machine Recognition Method and System" with the application number of 201610349629.6 and the application number of 201810073361.7. Detailed description in "A Nat...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

Application Information

Patent Timeline
no application Login to View More
IPC IPC(8): G06F16/951G06F8/33
Inventor 王立山
Owner 王立山
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Patsnap Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Patsnap Eureka Blog
Learn More
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic, Popular Technical Reports.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com