CN108320254A - Mathematical problem tagging system and labeling method based on digraph logic - Google Patents
Mathematical problem tagging system and labeling method based on digraph logic Download PDFInfo
- Publication number
- CN108320254A CN108320254A CN201810344685.XA CN201810344685A CN108320254A CN 108320254 A CN108320254 A CN 108320254A CN 201810344685 A CN201810344685 A CN 201810344685A CN 108320254 A CN108320254 A CN 108320254A
- Authority
- CN
- China
- Prior art keywords
- conclusion
- theorem
- mathematical problem
- data
- logic
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Withdrawn
Links
- 238000002372 labelling Methods 0.000 title claims abstract description 28
- 238000000034 method Methods 0.000 description 14
- 238000013473 artificial intelligence Methods 0.000 description 10
- 230000000875 corresponding effect Effects 0.000 description 10
- 238000012360 testing method Methods 0.000 description 6
- 238000010586 diagram Methods 0.000 description 5
- 230000002452 interceptive effect Effects 0.000 description 4
- 230000000007 visual effect Effects 0.000 description 3
- PCTMTFRHKVHKIS-BMFZQQSSSA-N (1s,3r,4e,6e,8e,10e,12e,14e,16e,18s,19r,20r,21s,25r,27r,30r,31r,33s,35r,37s,38r)-3-[(2r,3s,4s,5s,6r)-4-amino-3,5-dihydroxy-6-methyloxan-2-yl]oxy-19,25,27,30,31,33,35,37-octahydroxy-18,20,21-trimethyl-23-oxo-22,39-dioxabicyclo[33.3.1]nonatriaconta-4,6,8,10 Chemical compound C1C=C2C[C@@H](OS(O)(=O)=O)CC[C@]2(C)[C@@H]2[C@@H]1[C@@H]1CC[C@H]([C@H](C)CCCC(C)C)[C@@]1(C)CC2.O[C@H]1[C@@H](N)[C@H](O)[C@@H](C)O[C@H]1O[C@H]1/C=C/C=C/C=C/C=C/C=C/C=C/C=C/[C@H](C)[C@@H](O)[C@@H](C)[C@H](C)OC(=O)C[C@H](O)C[C@H](O)CC[C@@H](O)[C@H](O)C[C@H](O)C[C@](O)(C[C@H](O)[C@H]2C(O)=O)O[C@H]2C1 PCTMTFRHKVHKIS-BMFZQQSSSA-N 0.000 description 2
- 238000009825 accumulation Methods 0.000 description 2
- 238000013459 approach Methods 0.000 description 2
- 238000005516 engineering process Methods 0.000 description 2
- 230000003993 interaction Effects 0.000 description 2
- 239000002245 particle Substances 0.000 description 2
- 238000011160 research Methods 0.000 description 2
- 238000000547 structure data Methods 0.000 description 2
- 230000006978 adaptation Effects 0.000 description 1
- 238000004364 calculation method Methods 0.000 description 1
- 230000007547 defect Effects 0.000 description 1
- 238000011156 evaluation Methods 0.000 description 1
- 230000001747 exhibiting effect Effects 0.000 description 1
- 238000002360 preparation method Methods 0.000 description 1
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06N—COMPUTING ARRANGEMENTS BASED ON SPECIFIC COMPUTATIONAL MODELS
- G06N5/00—Computing arrangements using knowledge-based models
- G06N5/04—Inference or reasoning models
- G06N5/045—Explanation of inference; Explainable artificial intelligence [XAI]; Interpretable artificial intelligence
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06Q—INFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
- G06Q50/00—Information and communication technology [ICT] specially adapted for implementation of business processes of specific business sectors, e.g. utilities or tourism
- G06Q50/10—Services
- G06Q50/20—Education
- G06Q50/205—Education administration or guidance
Landscapes
- Engineering & Computer Science (AREA)
- Business, Economics & Management (AREA)
- Theoretical Computer Science (AREA)
- Physics & Mathematics (AREA)
- Educational Administration (AREA)
- Educational Technology (AREA)
- Strategic Management (AREA)
- Tourism & Hospitality (AREA)
- General Physics & Mathematics (AREA)
- Health & Medical Sciences (AREA)
- Computational Linguistics (AREA)
- Primary Health Care (AREA)
- Human Resources & Organizations (AREA)
- General Business, Economics & Management (AREA)
- General Health & Medical Sciences (AREA)
- Economics (AREA)
- Medical Informatics (AREA)
- Artificial Intelligence (AREA)
- Marketing (AREA)
- Data Mining & Analysis (AREA)
- Evolutionary Computation (AREA)
- Computing Systems (AREA)
- General Engineering & Computer Science (AREA)
- Mathematical Physics (AREA)
- Software Systems (AREA)
- Management, Administration, Business Operations System, And Electronic Commerce (AREA)
Abstract
The one mathematical problem labeling method based on digraph logic, the mathematical problem labeling method is for marking mathematical problem, the wherein described mathematical problem exists with mathematical problem data, and the mathematical problem data include stem data and solve data, are included the following steps:Reasoning element obtains the condition element of mathematical problem;According to the condition element, matching theorems, and conclusion element is obtained according to the theorem;Judging unit judges whether the conclusion element meets the solution data;And logic unit shows the logical relation between the condition element, the theorem and the conclusion element and the condition element, the theorem and the conclusion element with digraph logical form.
Description
Technical field
The present invention relates to tutoring system field, more particularly to one mathematical problem tagging systems and mark based on digraph logic
Note method, it is described based on the mathematical problem tagging system of digraph logic with digraph logical tab mathematical problem.
Background technology
In order to improve the learning efficiency of student, more and more artificial intelligent testing products are met the tendency of.Artificial intelligence is surveyed
Product is learned, is exactly to rely on the learning level of test student and student is assisted to improve learning level with artificial intelligence as its name suggests
Intellectual product.Just by taking art of mathematics as an example, artificial intelligence surveys the appearance for learning product so that intelligent intelligence of setting a question changes the mode of topic
Traditional artificial artificial mode for changing topic of setting a question gradually is replaced, student surveys to learn in artificial intelligence tests mathematical problem on product
Mesh, artificial intelligence, which surveys product, at this time can fast and effeciently confirm the correctness of mathematical problem, and the study of student is judged with this
It is horizontal.
In simple terms, artificial intelligence surveys the combination for learning that product is exactly matching and sequence, matching refer to topic and topic it
Between match, matched between student and topic, sequence refers to that no that content is ranked up to student according to test result.It is existing
It is essentially all to do topic big data and proposed algorithm based on accurate flag data, student that the artificial intelligence of technology, which is surveyed and learns product,
The evaluation and test learning efficiency of these three adequate condition, entire intelligent testing system is far longer than artificial education and guidance.Wherein, accurate
True flag data is the premise of matching and sequence, if the precision of flag data is problematic, entire for surveying system
It can all be affected with efficiency.
It is all using the teaching and research team's logarithm being made of teacher that main artificial intelligence, which is surveyed and learns product mainly, on the market at present
Learn the mark that topic carries out knowledge point/examination point, it is follow-up it is all examine feelings, learn feelings, religion feelings be based on the label of the survey system into
Capable.However there are following defects for the mode of this handmarking:
1, the mark rule that expert manually carries out can not standardize.There is the understanding of mathematical problem inclined in each teacher expert
Difference, the label situation that also may result in different expert's labels have differences, and the difference of these marked differences can directly shadow
Ring the accuracy of matching and sequence.
2, the mark rule particle that expert manually carries out is spent slightly.That is, the mode of expert's mark can not include one
The comprehensive information of problem, and then influence the accuracy of matching and sequence.The information of artificial mark missing is including but not limited to as follows
It is several:The relationship between examination point and knowledge point can not be presented;The relationship between examination point and examination point in topic can not be presented, such as greatly
Examination point includes the inclusion relation of small examination point, the precedence relationship that examination point A and examination point B are one in front and one in back investigated;It can omit non-heavy in examination paper
Point but necessary being and it is possible that the examination point that students' union makes a mistake;And the calculation amount for the examination paper that can not withdraw deposit.And this mode
So that student can not carry out mistake because of positioning.If a problem does wrong, it can only judge that the corresponding all examination points of this problem are not all grasped,
Can not know it is which specific small examination point of this problem or general knowledge point are not grasped again, i.e., can not know the real of smallest particles degree
It is wrong because.
3, expert manually carry out mark human cost it is excessive.In general, can only be by there is the religion of 3 years or more teaching and research experiences
Teacher is marked, and could keep basic accuracy rate, and the teacher to lack experience is difficult the label of complete control mathematical problem.
4, it is helpless to student and understands topic.Student still can only see that the parsing to topic is just learned in the answer parsing of text,
However the parsing content of this text type is unfavorable for student's rational learning mathematical knowledge or even some students can be weary of and see text
Parsing.
5, the relationship between the natural language of topic and examination point can not be established.Due to topic natural language only and knowledge point
Related and examination point without direct relation, do not support artificial intelligence Direct Recognition topic in this way and solve the preposition of topic
Condition-data accumulation (the pass between the natural language for needing accumulation to segment and corresponding knowledge point and knowledge point and knowledge point
Coefficient evidence).
Invention content
The purpose of the present invention is to provide a mathematical problem tagging systems and labeling method based on digraph logic, wherein
The mathematical problem tagging system becomes more straight with digraph logical tab mathematical problem, by the reasoning process of mathematical problem
It sees, learning mathematics topic is checked convenient for student.
It is described the purpose of the present invention is to provide a mathematical problem tagging system and labeling method based on digraph logic
Mathematical problem tagging system establishes the mark rule of standard, with the labeling process of standardized math topic.
It is described the purpose of the present invention is to provide a mathematical problem tagging system and labeling method based on digraph logic
Mathematical problem tagging system marks mathematical problem using standardized marking convention, can cover the big general knowledge of mathematical problem comprehensively
Point provides the wrong because of positioning of high accurancy and precision for student.
It is described the purpose of the present invention is to provide a mathematical problem tagging system and labeling method based on digraph logic
Mathematical problem is marked in the faculty that mathematical problem tagging system is not limited to profession, to save the mark of mathematical problem
Remember cost.
It is described the purpose of the present invention is to provide a mathematical problem tagging system and labeling method based on digraph logic
Mathematical problem label system converts mathematical problem and reasoning process to structured data format by digraph logic, and then supports
Artificial intelligence intelligent recognition topic and solution topic, improve the survey energy that product is learned using the survey of the mathematic system tagging system
Power allows computer that can more accurately analyze topic feature.
It is described the purpose of the present invention is to provide a mathematical problem tagging system and labeling method based on digraph logic
Mathematical problem tagging system objectively and accurately marks mathematical problem, avoids error caused by artificially marking, improves mathematical problem target
The labeling effciency of note and accuracy.
In order to realize that any of the above goal of the invention, the present invention provide a mathematical problem label side based on digraph logic
Method, the mathematical problem labeling method is for marking mathematical problem, wherein the mathematical problem exists with mathematical problem data, institute
It states mathematical problem data to include stem data and solve data, the mathematical problem labeling method includes the following steps:
S1:Reasoning element obtains the condition element of mathematical problem, wherein the condition element is selected from the stem data;
S2:According to the condition element, matching theorems, and conclusion element is obtained according to the theorem;
S3:Judging unit judges whether the conclusion element meets the solution data, when the conclusion element EP meets
The solution data execute step S4, and when the conclusion element is unsatisfactory for the solution data, the conclusion element serves as at least
One condition element continues to execute step S1-S2;And
S4:Logic unit shows the condition element, the theorem and the conclusion element with digraph logical form,
And the logical relation between the condition element, the theorem and the conclusion element.
In some embodiments, the theorem is implemented as the combination of prerequisite, knowledge point and theorem conclusion, with can
Identified parsing data mode is demonstrated.
In some embodiments, the step S4 further comprises the steps:
S41:Data disaply moudle shows the condition element, the theorem and the conclusion element;And
S42:Logic display module is according between the reasoning element and the reasoning element and the judging unit
Logical relation is associated with the condition element, the theorem and the conclusion element.
In some embodiments, it in the step S2, matches described prerequisite in the condition element and the theorem
Condition, to obtain the theorem for matching the condition element.
In some embodiments, in the step S4, the digraph logical form is implemented as the form of figure displaying.
According to another aspect of the present invention, the present invention provides a mathematical problem tagging system based on digraph logic, packet
It includes following:
Data cell, the data cell stores an at least mathematical problem data, wherein the mathematical problem data include
Stem data and solution data;
Reasoning element, wherein the reasoning element is communicatively coupled to the data cell, the reasoning element is further
Including condition module, theorem module and conclusion module, wherein the condition module is according to stem data acquisition conditions member
Element, the theorem module matches corresponding theorem according to the condition element, and element of drawing a conclusion, the conclusion element are deposited
It is stored in the conclusion module;
Judging unit is communicatively coupled to the data cell and the conclusion module, judges that the conclusion element is
The no matching solution data;And
Logic unit communicatedly connects the reasoning element and judging unit, shown with digraph logical form described in
Condition element, the theorem and the conclusion element and the condition element, the theorem and conclusion element it
Between logical relation.
In some embodiments, the theorem is implemented as the combination of prerequisite, knowledge point and theorem conclusion, with can
Identified parsing data mode is stored in the theorem module.
In some embodiments, the theorem module matches the condition element and the prerequisite, to determine
State theorem.
In some embodiments, the judging unit judges whether the conclusion element meets solution data, when the knot
Argument element does not meet the solution data, and the conclusion element is transferred to the condition module to define the condition element.
In some embodiments, the logic unit further comprises data disaply moudle and logic display module,
Described in data disaply moudle be communicatively coupled to the reasoning element, show the condition element, the theorem and described
Conclusion element, the logic display module are communicatively coupled to the reasoning element and the judging unit, are pushed away according to described
It manages the logical relation of unit and the logical relation of the reasoning element and the judging unit shows the condition element, described
Logical relation between theorem and the conclusion element.
Description of the drawings
Fig. 1 is the logical schematic of mathematical reasoning digraph according to the present invention.
Fig. 2 is the digraph logical schematic of mathematical problem according to the present invention.
Fig. 3 is the block diagram representation of the mathematical problem tagging system according to the present invention based on digraph logic.
Fig. 4 is the schematic diagram data of mathematical problem according to the present invention.
Fig. 5 is another block diagram signal of the mathematical problem tagging system according to the present invention based on digraph logic
Figure.
Fig. 6 is the method flow schematic diagram of the mathematical problem labeling method according to the present invention based on digraph logic.
Specific implementation mode
Following will be combined with the drawings in the embodiments of the present invention, and technical solution in the embodiment of the present invention carries out clear, complete
Site preparation describes, it is clear that described embodiments are only a part of the embodiments of the present invention, instead of all the embodiments.It is based on
Embodiment in the present invention, the every other embodiment that those of ordinary skill in the art are obtained belong to what the present invention protected
Range.
It will be understood by those skilled in the art that the present invention exposure in, term " longitudinal direction ", " transverse direction ", "upper",
The orientation of the instructions such as "lower", "front", "rear", "left", "right", "vertical", "horizontal", "top", "bottom" "inner", "outside" or position are closed
System is to be based on the orientation or positional relationship shown in the drawings, and is merely for convenience of description of the present invention and simplification of the description, without referring to
Show or imply that signified device or element must have a particular orientation, with specific azimuth configuration and operation, therefore above-mentioned art
Language is not considered as limiting the invention.
It is understood that term " one " is interpreted as " at least one " or " one or more ", i.e., in one embodiment,
The quantity of one element can be one, and in a further embodiment, the quantity of the element can be multiple, and term " one " is no
It can be interpreted as the limitation to quantity.
Largely it is all based on the study of mathematical theorem about the study of mathematics, that is, the study of mathematics is regarded as pair
The flexible Application of mathematical theorem.Mathematical problem namely at least application of the combination of a mathematical theorem under proposition environment, works as
Member can search out prerequisite from proposition, and extrapolate conclusion according to prerequisite and specific mathematical theorem, then
Mathematical problem is also just readily solved.
As shown in Figure 1, Fig. 1 is the logical schematic of mathematical reasoning digraph according to the present invention.In general, mathematics is fixed
Reason can be demonstrated in the form of text, and in conventional teaching, mathematical studying person remembers inflexible mathematical theorem, and mathematical theorem is answered
It uses in actual proposition environment and is able to Applied Learning.However, the reasoning process of mathematical problem can pass through digraph logic
What the form of expression was demonstrated, compare text display format, mathematical studying person can more intuitively and effectively learning mathematics knowledge.At this
In it is noted that digraph refers to that a little and the combination on directive side, correspondingly, digraph logic is referred to from certain
Point is directed toward the logic of another point by certain way.
In general, mathematical theorem can be divided into prerequisite, the combination of knowledge point and theorem, in other words, mathematics is fixed
If reason is exactly to show that there are specific prerequisites under certain proposition environment, and these specific prerequisites are pushed away according to knowledge point
Perform inference result.For example, for a specific mathematical theorem " cor-responding identified theorems for parallelogram:Two opposite side are equal
Quadrangle is parallelogram ", the mathematical theorem can be converted into " prerequisite be (AB=CD, AC=BD), knowledge point is
(criterion of parallelogram is that opposite side is equal), the inference obtained be (quadrangle is parallelogram) " digraph
Logical form, the while after mathematical theorem is converted into digraph logic, the form quilt which can format
Display.
As shown in Fig. 2, Fig. 2 is the digraph logical schematic of mathematical problem according to the present invention.Fig. 2 is illustrated using special
The mathematical problem for determining mathematical theorem, according to the concept of digraph logic, mathematical problem generally all includes known condition element SP,
Solutionist need to deduce out the conclusion element EP for meeting Mathematics Solution requirement, change speech according to the condition element SP and theorem K
It, the process for answering mathematical problem is exactly the conclusion element calculated the condition element SP in topic according to theorem to topic requirements
The process of EP.
For example, " in known quadrangle ABCD, AB=CD, AC=BD solve AB and are parallel to CD ", then a mathematical problem
For solutionist when answering the topic, the prerequisite SP got from the topic is " AB=CD and AC=BD ", foundation
Mathematical theorem K is the " cor-responding identified theorems of parallelogram:The equal quadrangle of two opposite side is parallelogram ", you can obtain inference
For " quadrangle is parallelogram ", which is defined herein as the conclusion element EP, further according to parallelogram
Property can be obtained AB and be parallel to CD.
In conclusion according to the concept of digraph logic, most of mathematical problem can all be implemented as condition element SP,
The combination of theorem K and conclusion element EP, and these condition elements SP, theorem K and conclusion element EP can be patrolled with digraph
The form collected indicates the specific mathematical problem.Such as when solutionist gets a specific mathematical problem, this can be first obtained
The condition element SP of mathematical problem, then matched mathematical theorem K is found, convert condition element SP to knot according to mathematical theorem K
Argument element EP terminates answer when conclusion element EP, which meets topic answer, to be required, and when conclusion element EP is unsatisfactory for answering
It is required that when, which carries out further operation as other condition element SP and obtains new conclusion element EP, until
Conclusion element EP meets the answer requirement of topic.
Digraph logical concept based on the above mathematical problem, the present invention provide a mathematical problem based on digraph logic
Tagging system and labeling method, the system block diagram of the mathematical problem tagging system based on digraph logic is as shown in figure 3, be
Convenient for explanation, the mathematical problem tagging system based on digraph logic will be substituted with mathematical problem tagging system below,
The two is no difference in meaning.
The mathematical problem tagging system includes title cell 10, reasoning element 20, judging unit 30 and logic unit
40, the interior setting of the title cell 10 is stored with the database K of an at least mathematical problem data T, and the reasoning element 20 combines
For the judging unit 30 with the specific mathematical problem of digraph logical tab, the logic unit 40 is aobvious with structuring methods of exhibiting
Show the reasoning process of the mathematical problem.
Specifically, being provided with the database K in the title cell 10, the mathematical problem data T is stored in
The database K, it is worth mentioning at this point that, the mathematical problem data T can be built in the database K, can also be obtained by unicom
It obtains.
The mathematical problem data T further comprises stem data GT and solves data QT.The stem data GT quilts
It is embodied as the combination of the condition element SP of the mathematical problem, the answer that the solution data QT is implemented as the mathematical problem is wanted
Ask, i.e., any one of mathematical problem can all be provided in stem it is many solve a problem condition and its need the problem of solving a problem answered, this
When, the condition of solving a problem is the stem data GT, and the problem of solving a problem is the solution data QT.It is noted that institute
It states the stem data GT in mathematical problem data T and/or the solution data QT can be artificially marked, it also can quilt
The mathematical problem tagging system automatic identification obtains, you can realizes autonomous participle by the mathematical problem tagging system.
When the mathematical problem tagging system realizes autonomous participle, the stem data GT and the solution data QT
It is stored with structuring mathematics format, the mathematical units 10 identify the condition element SP, Yi Jisuo in the stem data GT
It states and solves data QT.At this point, there is also such situations:The mathematical problem tagging system identifies the mathematical problem data S,
Structural data is obtained, it is the stem data GT or solution data QT that manpower intervention, which distinguishes the structural data,.
However in some special circumstances, the mathematical problem data T still further comprises structured data JT, the structure
Data JT is implemented as the corresponding score value of the specific topic, corresponding paper topic serial number etc..Such as the mathematical problem is selected from
Certain a series of true topic, then the structured data JT be just implemented as situation of the mathematical problem in true topic.In other words, exist
In the mathematical problem tagging system, the mathematical problem with can identified digraph logical language stored.
The mathematical problem tagging system further comprises that the reasoning element 20, the reasoning element 20 communicatedly connect
In the title cell 10 to obtain specific mathematical problem data T.
In some cases, the reasoning element 20 according to the mathematical problem data T with digraph reasoning from logic.This
When, the reasoning element 20 includes condition module 21, theorem module 22 and conclusion module 23, and the condition module 21 obtains institute
State the stem data GT in mathematical problem data T, and from the stem data GT from extracting the condition element SP, institute
Condition element SP is stated to be stored in the form of identifiable.The theorem module 22 stores an at least theorem K, and the theorem K is with elder generation
The format of certainly condition, knowledge point and inference combination is stored, and the theorem K can occur one-to-one with the condition element SP
Contact, the condition element SP are transferred to the theorem module 22, and the theorem module 22 calls specific K pairs of the theorem
The condition element SP carries out operation, and draw a conclusion element EP, the conclusion element EP are stored in the conclusion module 23.
In other words, communicatedly unicom obtains the mathematical problem data in the title cell 10 to the reasoning element 20
T, the condition module 21 obtain the condition element SP, wherein the condition element SP is selected from the stem data GT, it is described
Condition element SP is fed to the theorem module 22 in turn, and the theorem module 22, which is called, matches suitable theorem K combinations institute
It states condition element SP and carries out calculating deduction, obtain the conclusion element EP, the conclusion element EP is stored in the conclusion mould
Block 23.Herein, matching mainly is compared with the prerequisite in the theorem G in the condition element SP.
It is that " in known quadrangle ABCD, AB=CD, AC=BD are solved for AB is parallel to CD " and said with mathematical problem
Bright, which is stored in the database K in the form of mathematical problem data, and the stem data GT is " known four
In the shape ABDC of side, AB=CD, AC=BD ", it is " solve AB and be parallel to CD " to solve data QT.The item of the reasoning element 20
It is that " AB=CD, AC=BD ", condition element SP are transferred to institute in quadrangle that part module 21, which gets the condition element SP,
State theorem module 22, the theorem do matching specified conditions element S P in fast 22 search out specific theorem K " parallelogram
Cor-responding identified theorems:The equal quadrangle of two opposite side is parallelogram ", wherein the theorem K is with digraph logic as shown in Figure 1
It is stored.According to the theorem K and condition element SP, it is that " quadrangle is parallel to deduce out the conclusion element EP
Quadrangle ", the conclusion element EP are stored in the conclusion module 23.
Certainly, in some cases, multiple conclusion elements can be deduced out according to specified conditions element S P and specific theorem K
EP, multiple conclusion element EP are stored in the conclusion module 23, in case subsequent match uses.
In order to enable the conclusion element EP meets the solution data QT, the mathematical problem labeling method is further wrapped
Judging unit 30 is included, the judging unit 30 is applied to judge whether specific conclusion element EP meets the solution data QT.
Specifically, the judging unit 30 is communicatively coupled to the mathematical units 10 to obtain the solution data QT, together with this
When, the judging unit 30 is communicatively coupled to the conclusion module 23 to obtain the conclusion element EP, the judging unit
The 30 matching conclusion element EP and solution data QT, to judge whether the conclusion element EP meets requirement of solving a problem.
In some cases, the multiple conclusion element EP of storage in the conclusion module 23, the judging unit 30 matches more
A conclusion element EP and solution data QT, to search out optimum conclusion element EP from multiple conclusion element EP to solve
Answer the mathematical problem.
In some cases, mathematical problem is not that can complete to answer according to primary deduction, at this point, the judging unit
30 judge that the conclusion element EP mismatches the solution data QT, and the conclusion element EP is transferred to the condition mould again
Block 21, to exist as new condition element SP, new condition element SP is calculated using the deduction of the reasoning element 20
Go out new conclusion element EP, until conclusion element EP matches the solution data QT, the reasoning element 20 stops calculating.
Then in other cases, the reasoning element 20 is communicatively coupled to operator, and the number is completed with interaction
The reasoning for learning topic is deduced.The reasoning element 20 includes the condition module 21, the theorem module 22 and described at this time
Conclusion module 23, the condition module 21 obtain the stem data GT in the mathematical problem data T, and from the stem
Data GT from extracting the condition element SP, the storage of theorem module 22 can identified theorem G, the conclusion module 23
Obtain the solution data QT in the mathematical problem data T.
At this point, the condition module 21 shows the condition element SP, operator is according to the condition element SP described
Suitable theorem G is selected in theorem module 22, according to the theorem G reasonings it is concluded that element EP, the conclusion element EP with
Solution data QT comparison knows that satisfaction solves and requires, certainly, at this time the conclusion element EP and solution data QT it
Between comparison also can artificially carry out.
Also some cases, the mathematical problem 10 store the mathematical problem data T, artificially according to the item
The theorem G of part element S P selection adaptations, obtains the conclusion element QT, the conclusion element QT can be converted into operation next time
Condition element SP, it is known that the conclusion element QT meets the solution data QT, wherein the calculating process artificially selected is with structure
Change data to be stored.
In order to show the solution approach of mathematical problem in the form of digraph logic, the mathematical problem tagging system into
One step includes logic unit 40, and the logic unit 40 is communicatively coupled to the reasoning element 20, is shown with digraph logic
The solution approach of the mathematical problem.
Specifically, the logic unit 40 further comprises data disaply moudle 41 and logic display module 42, institute
It states data disaply moudle 41 and shows that the condition element SP, the theorem K and the conclusion element EP, the logic show mould
Block 42 shows the condition element SP, the logical relation between the theorem K and the conclusion element EP, herein, logic
Relationship refers to points relationship, and the final display of the logic unit 40 is patrolled for the digraph of the mathematical problem with digraph
The form collected shows the course of solving questions of the mathematical problem.
The data disaply moudle 41 is communicatively coupled to the condition module 21, the theorem module 22 and institute respectively
Conclusion module 23 is stated, when the condition module 21 obtains the condition element SP, the data disaply moudle 41 also obtains institute
Condition element SP is stated, and shows the condition element SP in visual form.Similarly, the data disaply moudle 41 is with visual
The form of change shows the theorem K and affiliated conclusion element EP.
Correspondingly, the logic display module 42 is communicatively coupled to the reasoning element 20 and the judging unit
30, the logic display module 32 is according to the logical relation and the reasoning element 20 and described inside the reasoning element 20
Logical relation between judging unit 30 shows the relationship between the mathematics display unit with logic.
The digraph of specific mathematical topic is demonstrated by the logic unit 40 as a result, the digraph logic chart packet
The condition element SP of the mathematical problem is included, theorem K and conclusion element EP, the mathematical problem tagging system are patrolled with digraph
The concept collected marks the mathematical problem.
Certainly, it is worth mentioning at this point that, the logic unit 40 is not necessarily demonstrated in the form of digraph, the logic list
Member 40 shows logic of solving a problem with a variety of visual display methods.
In addition, the mathematical problem tagging system further comprises interactive unit, wherein the interactive unit communicatedly connects
It is connected to the logic unit 40, to complete interaction of the user at interactive interface end.
Such as in some cases, whether student can report oneself for the condition element SP or described theorems G
It does pair/does wrong, or other users interbehavior, such as " checking explanation " " charging to wrong answer list " etc. are carried out for this two class object
Operation.
For another example, the condition of reasoning, theorem and conclusion can be shown with digraph structure step by step, that is, described
Logic unit 40 partly can fully show the reasoning process of mathematical problem, and without limitation.
For another example, unique display, example can be carried out to the condition in stem or the mathematic(al) object in problem or answer parsing
Such as highlighted, cutting word shows that display, structuring show mathematical problem.
That is, when the mathematical problem tagging system with digraph logic show described in solve a problem logic after, Xue Shengke
It interacts in several ways, these interactive modes are without being unfolded explanation.
According to another aspect of the present invention, the present invention provides a mathematical problem labeling method based on digraph logic, institute
Mathematical problem labeling method is stated for marking mathematical problem, wherein the mathematical problem includes stem data GT and solution data
QT, wherein the mathematical problem labeling method includes the following steps:
S1:Reasoning element 20 obtains the condition element SP of mathematical problem, wherein the condition element SP is selected from the stem
Data GT;
S2:Conclusion element EP is obtained according to the condition element SP, matching theorems K, and according to the theorem K;
S3:Judge whether the conclusion element EP meets the solution data QT, described in conclusion element EP satisfactions
Data QT is solved, executes step S4, when the conclusion element EP is unsatisfactory for the solution data QT, the conclusion element EP is served as
At least one condition element SP, continues to execute step S1-S2;And
S4:Logic unit 40 shows the condition element SP, the theorem K and the knot in the form of digraph logic
Logical relation between argument element EP, and the condition element SP, the theorem K and the conclusion element EP.
The mathematical problem labeling method marks the mathematical problem according to the theorem K, and with digraph logic
Mode shows the resolving of the mathematical problem.It is noted that the theorem K by can it is identified in the form of stored,
The i.e. described theorem K is implemented as the combination of prerequisite, knowledge point and inference.During actual match, the condition member
Plain SP matches the prerequisite, so that it is determined that specific theorem K.After determining specific theorem K, the condition element SP is carried
The inference is obtained to the prerequisite, and according to the knowledge point, the inference is implemented as conclusion element EP again.
The step S4 further comprises the steps:
S41:Data disaply moudle 41 shows the condition element SP, the theorem K and the conclusion element EP;And
S42:Logic display module 42 is according to the reasoning element 20 and the reasoning element 20 and the judging unit
Logical relation between 30 is associated with the condition element SP, the theorem K and the conclusion element EP.
Certainly, in some cases, the judging unit 30 disposably obtains multiple conclusion element EP, at this point, when described
Judging unit 30, which has obtained, matches the conclusion element for solving data QT, then the judging unit 30 and the reasoning list
Member 20 stops operating.
It is noted that the mathematical problem is stored in the form of mathematical problem data T, the mathematical problem data
T further comprises that the stem data GT and solution data QT, the stem data GT are implemented as the mathematical problem
Condition element SP combination, the solution data QT be implemented as the mathematical problem answer requirement, i.e., any one of mathematics
Topic can all be provided in stem it is many solve a problem condition and its need the problem of solving a problem answered, at this point, described solve a problem condition just
It is implemented as the stem data GT, the problem of solving a problem just is implemented as the solution data QT.However in some special feelings
Under condition, the mathematical problem data T still further comprises structured data JT, the structured data JT and is implemented as the specific topic
Corresponding score value, corresponding paper topic serial number etc..Such as the mathematical problem is selected from certain a series of true topic, the then knot
Structure data JT is just implemented as situation of the mathematical problem in true topic.In other words, in the mathematical problem tagging system,
The mathematical problem with can identified digraph logical language stored.
The present invention is not limited to above-mentioned preferred forms, anyone can show that other are various under the inspiration of the present invention
The product of form, however, make any variation in its shape or structure, it is every that there is skill identical or similar to the present application
Art scheme, is within the scope of the present invention.
Claims (10)
1. the mathematical problem labeling method based on digraph logic, the mathematical problem labeling method is for marking mathematical problem
Mesh, wherein the mathematical problem exists with mathematical problem data, the mathematical problem data include stem data and solution number
According to, which is characterized in that the mathematical problem labeling method includes the following steps:
S1:Reasoning element obtains the condition element of mathematical problem, wherein the condition element is selected from the stem data;
S2:According to the condition element, matching theorems, and conclusion element is obtained according to the theorem;
S3:Judge whether the conclusion element meets the solution data, when the conclusion element meets the solution data, holds
Row step S4, when the conclusion element is unsatisfactory for the solution data, the conclusion element serves as at least one element, continues
Execute step S1-S2;And
S4:Logic unit shows the condition element, the theorem and the conclusion element with digraph logical form, and
Logical relation between the condition element, the theorem and the conclusion element.
2. the mathematical problem labeling method according to claim 1 based on digraph logic, which is characterized in that the theorem
It is implemented as the combination of prerequisite, knowledge point and theorem conclusion, can be stored in the form of identified structural data.
3. according to any mathematical problem labeling method based on digraph logic of claims 1 or 2, which is characterized in that
The step S4 further comprises the steps:
S41:Data disaply moudle shows the condition element, the theorem and the conclusion element;And
S42:Logic display module is according to the logic between the reasoning element and the reasoning element and the judging unit
Condition element described in relationship, the theorem and the conclusion element.
4. the mathematical problem labeling method according to claim 3 based on digraph logic, which is characterized in that the step
In S2, the prerequisite in the condition element and the theorem is matched, determining for the condition element is matched to obtain
Reason.
5. the mathematical problem labeling method according to claim 3 based on digraph logic, which is characterized in that the step
In S4, the digraph logical form is implemented as digraph.
6. the mathematical problem tagging system based on digraph logic, which is characterized in that including following:
Data cell, the data cell stores an at least mathematical problem data, wherein the mathematical problem data include stem
Data and solution data;
Reasoning element, wherein the reasoning element is communicatively coupled to the data cell, the reasoning element further comprises
Condition module, theorem module and conclusion module, wherein the condition module is according to the stem data acquisition conditions element, institute
It states theorem module and matches the corresponding theorem of the condition element, and element of drawing a conclusion, the conclusion element are stored in described
Conclusion module;
Judging unit is communicatively coupled to the data cell and the conclusion module, judge the conclusion element whether
With the solution data;And
Logic unit communicatedly connects the reasoning element and judging unit, and the condition is shown with digraph logical form
Between element, the theorem and the conclusion element and the condition element, the theorem and the conclusion element
Logical relation.
7. the mathematical problem tagging system according to claim 6 based on digraph logic, which is characterized in that the theorem
Be implemented as the combination of prerequisite, knowledge point and theorem conclusion, with can identified parsing data mode be stored in institute
State theorem module.
8. the mathematical problem tagging system according to claim 7 based on digraph logic, which is characterized in that the theorem
Module matches the condition element and the prerequisite, with the determination theorem.
9. according to any mathematical problem tagging system based on digraph logic of claim 6 to 8, which is characterized in that
The judging unit judges whether the conclusion element meets solution data, when the conclusion element does not meet the solution number
According to the conclusion element is transferred to the condition module and forms the condition element.
10. the mathematical problem tagging system according to claim 6 based on digraph logic, which is characterized in that described to patrol
It collects unit and further comprises data disaply moudle and logic display module, wherein the data disaply moudle is communicatively coupled to
The reasoning element shows the condition element, the theorem and the conclusion element, and the logic display module is communicatedly
It is connected to the reasoning element and the judging unit, according to the logical relation of the reasoning element and the reasoning element
Show that the logic between the condition element, the theorem and the conclusion element is closed with the logical relation of the judging unit
System.
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201810344685.XA CN108320254A (en) | 2018-04-17 | 2018-04-17 | Mathematical problem tagging system and labeling method based on digraph logic |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201810344685.XA CN108320254A (en) | 2018-04-17 | 2018-04-17 | Mathematical problem tagging system and labeling method based on digraph logic |
Publications (1)
Publication Number | Publication Date |
---|---|
CN108320254A true CN108320254A (en) | 2018-07-24 |
Family
ID=62897715
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201810344685.XA Withdrawn CN108320254A (en) | 2018-04-17 | 2018-04-17 | Mathematical problem tagging system and labeling method based on digraph logic |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN108320254A (en) |
Cited By (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN109271511A (en) * | 2018-08-23 | 2019-01-25 | 上海互教教育科技有限公司 | Automatic Solution method based on complicated inference network |
CN109858627A (en) * | 2018-12-24 | 2019-06-07 | 上海仁静信息技术有限公司 | A kind of training method of inference pattern, device, electronic equipment and storage medium |
CN110634341A (en) * | 2019-10-15 | 2019-12-31 | 上海乂学教育科技有限公司 | Auxiliary system for preparing lessons for teachers |
CN112069294A (en) * | 2020-09-16 | 2020-12-11 | 科大讯飞股份有限公司 | Mathematical problem processing method, device, equipment and storage medium |
-
2018
- 2018-04-17 CN CN201810344685.XA patent/CN108320254A/en not_active Withdrawn
Cited By (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN109271511A (en) * | 2018-08-23 | 2019-01-25 | 上海互教教育科技有限公司 | Automatic Solution method based on complicated inference network |
CN109271511B (en) * | 2018-08-23 | 2021-04-23 | 上海互教教育科技有限公司 | Automatic problem solving method based on complex reasoning network |
CN109858627A (en) * | 2018-12-24 | 2019-06-07 | 上海仁静信息技术有限公司 | A kind of training method of inference pattern, device, electronic equipment and storage medium |
CN110634341A (en) * | 2019-10-15 | 2019-12-31 | 上海乂学教育科技有限公司 | Auxiliary system for preparing lessons for teachers |
CN112069294A (en) * | 2020-09-16 | 2020-12-11 | 科大讯飞股份有限公司 | Mathematical problem processing method, device, equipment and storage medium |
CN112069294B (en) * | 2020-09-16 | 2023-01-13 | 科大讯飞股份有限公司 | Mathematical problem processing method, device, equipment and storage medium |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN108320254A (en) | Mathematical problem tagging system and labeling method based on digraph logic | |
CN110021208A (en) | For the efficient training method and system of English Reading topic | |
CN109255998B (en) | Student score diagnosis and promotion system | |
Li | A cognitive diagnostic analysis of the MELAB reading test | |
CN108182837A (en) | A kind of ideological and political education intelligent tutoring system | |
Oates | Key skills/key competencies: Avoiding the pitfalls of current initiatives | |
CN108804705B (en) | Review recommendation method based on big data and artificial intelligence and education robot system | |
Nawaz et al. | Moments of confusion in simulation-based learning environments | |
Greiff et al. | Assessment with microworlds using MicroDYN: Measurement invariance and latent mean comparisons: Psychometric properties across several student samples and blue-collar workers. | |
Carroll | A learning-oriented assessment perspective on scenario-based assessment | |
CN110910693A (en) | Artificial intelligence auxiliary integration system for medical education | |
Ueno et al. | Self-regulated vocabulary learning in a Japanese high school EFL environment: A structural equation modeling approach | |
Langendorf et al. | Extracting information from the Hertzsprung-Russell diagram: An eye-tracking study | |
Weeden | How do we link assessment to making progress in geography? | |
CN108985988A (en) | One kind being based on online teaching school work growing algorithm | |
CN114925610A (en) | Learner knowledge structure and level modeling method, system, equipment and terminal | |
Gorin et al. | Test design with higher order cognition in mind | |
Li et al. | Analytics 2.0 for precision education driven by knowledge map | |
Cheers et al. | Exploring a Comprehensive Approach for the Automated Assessment of UML | |
Emery et al. | Quantifying and visualizing campus tree phenology | |
Rutstein | Measuring learning progressions using Bayesian modeling in complex assessments | |
CN112965703B (en) | Teacher leading artificial intelligence education robot for overcoming multi-head leaders | |
CN108846579A (en) | Knowledge quantity calculation method and system for subject knowledge | |
KR102204203B1 (en) | Server and method for developing a learning template to cultivate complex problem solving ability of nuclear power plants through collaboration | |
CN114333455B (en) | Electric power system communication and protocol experiment guidance system and method |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
PB01 | Publication | ||
PB01 | Publication | ||
SE01 | Entry into force of request for substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
WW01 | Invention patent application withdrawn after publication | ||
WW01 | Invention patent application withdrawn after publication |
Application publication date: 20180724 |