CN105184372B - Knowledge network construction method and device - Google Patents
Knowledge network construction method and device Download PDFInfo
- Publication number
- CN105184372B CN105184372B CN201510649030.XA CN201510649030A CN105184372B CN 105184372 B CN105184372 B CN 105184372B CN 201510649030 A CN201510649030 A CN 201510649030A CN 105184372 B CN105184372 B CN 105184372B
- Authority
- CN
- China
- Prior art keywords
- conclusion
- conclusions
- rule
- concentrated
- solution
- 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.)
- Active
Links
Landscapes
- Management, Administration, Business Operations System, And Electronic Commerce (AREA)
- Information Retrieval, Db Structures And Fs Structures Therefor (AREA)
Abstract
An embodiment of the present invention provides a kind of knowledge network construction method and devices, and knowledge network framework used by each solution conclusion can not directly be showed by improving geometry solving system in the prior art, the problem of can not forming knowledge network, cannot meet actual demand.The knowledge network construction method is applied to knowledge network construction device, is previously stored with solution rule database in device, method includes:The each conclusion that obtains each known conditions in geometrical issues to be solved and need to obtain;Solution rule is called to solve geometrical issues to be solved, until obtaining all conclusions that geometrical issues to be solved need to obtain, the format of each conclusion is defined according to solution path, it obtains obtaining solution rule that each conclusion uses respectively and solves the title of rule and the condition of each conclusion basis respectively.Using the knowledge network construction method, each knowledge network framework for solving conclusion can be directly embodied, actual demand, application easy to spread are met.
Description
Technical field
The present invention relates to geometry fields, in particular to a kind of knowledge network construction method and device.
Background technology
Plane geometry refers to according to Euclidian《Euclid's elements》The geometry of construction.Also referred to as Euclidean geometry.Plane
Geometrical research be straight line and conic section such as conic section-ellipse, hyperbola, parabola etc. in plane geometry
And metric property, such as area, length, angle, position relationship.
Geometry using relatively wide, is based on its importance in people's lives, work, specifically created geometry.With skill
The development of art has been developed for the system that can be automatically performed geometry solving, such as geometric proof system, inventor now
It has been investigated that geometry solving system now can not directly show knowledge network framework used by each solution conclusion, e.g., nothing
Method embodies the solution rule that each solution conclusion uses respectively and solves the title of rule and the condition of each conclusion basis respectively
Deng can not form knowledge network, actual demand cannot be met.
Invention content
In view of this, the embodiment of the present invention is designed to provide a knowledge network construction method and device, it is existing to improve
There is the geometry solving system in technology that can not directly show knowledge network framework used by each solution conclusion, knowledge can not be formed
Network, the problem of actual demand cannot be met.
To achieve the goals above, technical solution used in the embodiment of the present invention is as follows:
In a first aspect, an embodiment of the present invention provides a knowledge network construction method, it is applied to knowledge network construction device,
Solution rule database is previously stored in described device, the solution rule solved in rule database includes plane geometry
Inference rule, axiom, definition and theorem and algebraically fundamental theorem and rule, the method includes:
The knowledge network construction device each of obtains each known conditions in geometrical issues to be solved and need to obtain
Conclusion;
According to the known conditions, solution rule is called to ask the geometry to be solved from the solution rule database
Topic is solved, until all conclusions that the geometrical issues to be solved need to obtain are obtained, according to from the known conditions to institute
The solution path for stating all conclusions that geometrical issues to be solved need to obtain is defined the format of each conclusion, is obtained
The item for the solution rule and the title for solving rule and each conclusion basis respectively that each conclusion uses respectively
Part.
Second aspect, an embodiment of the present invention provides a kind of knowledge network construction devices, including:
Pre- memory cell, for prestoring solution rule database, the solution rule packet solved in rule database
Include inference rule, axiom, definition and the theorem of plane geometry and the fundamental theorem and rule of algebraically;
Information obtainment unit, each knot for obtaining each known conditions in geometrical issues to be solved He need to obtain
By;
Conclusion solves and format definition unit, for according to the known conditions, being adjusted from the solution rule database
The geometrical issues to be solved are solved with rule is solved, until obtain that the geometrical issues to be solved need to obtain is all
Conclusion, according to the solution path for all conclusions that need to be obtained from the known conditions to the geometrical issues to be solved to each described
The format of conclusion is defined, and obtains obtaining the solution rule and the title for solving rule that each conclusion uses respectively,
And the condition of each conclusion basis respectively.
Knowledge network construction method provided in the embodiment of the present invention and device can list geometrical issues to be solved respectively
In each known conditions and each conclusion that need to obtain, and obtained each conclusion can be defined according to solution path, body
It now obtains solution rule that each conclusion uses respectively and solves the title of rule and the condition of each conclusion basis respectively, it can be with
Clearly show knowledge network framework used by solving conclusion, the knowledge being respectively adopted according to each conclusion by the conclusion of definition
The network architecture can complete knowledge network structure so that user can it is clear, comprehensively, neatly grasp a variety of solution paths, accord with
Close actual demand.
To enable the above objects, features and advantages of the present invention to be clearer and more comprehensible, preferred embodiment cited below particularly, and coordinate
Appended attached drawing, is described in detail below.
Description of the drawings
In order to illustrate the technical solution of the embodiments of the present invention more clearly, below will be to needed in the embodiment attached
Figure is briefly described, it should be understood that the following drawings illustrates only certain embodiments of the present invention, therefore is not construed as pair
The restriction of range for those of ordinary skill in the art without creative efforts, can also be according to this
A little attached drawings obtain other relevant attached drawings.
Fig. 1 shows a kind of knowledge network structure flow diagram that the embodiment of the present invention 1 is provided;
Fig. 2 shows another knowledge networks that the embodiment of the present invention 1 is provided to build flow diagram;
Fig. 3 shows that a kind of geometrical issues to be solved that the embodiment of the present invention 1 is provided solve flow diagram;
Fig. 4 shows a kind of apparatus structure schematic diagram that the embodiment of the present invention 2 is provided;
Fig. 5 shows another apparatus structure schematic diagram that the embodiment of the present invention 2 is provided;;
Fig. 6 shows the structural schematic diagram for a kind of solution of conclusion and format definition unit that the embodiment of the present invention 2 is provided;
Fig. 7 shows another apparatus structure schematic diagram that the embodiment of the present invention 2 is provided;
Fig. 8 shows a kind of artwork for geometrical issues to be solved that the embodiment of the present invention is provided;
Fig. 9 shows a kind of geometrical issues auxiliary line addition schematic diagram to be solved that the embodiment of the present invention is provided;
Figure 10 shows the another kind geometrical issues auxiliary line addition schematic diagram to be solved that the embodiment of the present invention is provided;
Figure 11 shows the another kind geometrical issues auxiliary line addition schematic diagram to be solved that the embodiment of the present invention is provided;
Figure 12 shows a kind of knowledge network schematic diagram that the embodiment of the present invention is provided;
After Figure 13 shows that a kind of geometrical issues to be solved that the embodiment of the present invention is provided add auxiliary line, auxiliary magnet
Schematic diagram;
Figure 14 shows a kind of application scenarios schematic diagram for knowledge network construction device that the embodiment of the present invention 2 is provided.
Specific implementation mode
Below in conjunction with attached drawing in the embodiment of the present invention, technical solution in the embodiment of the present invention carries out clear, complete
Ground describes, it is clear that described embodiments are only a part of the embodiments of the present invention, instead of all the embodiments.Usually exist
The component of the embodiment of the present invention described and illustrated in attached drawing can be arranged and be designed with a variety of different configurations herein.Cause
This, the detailed description of the embodiment of the present invention to providing in the accompanying drawings is not intended to limit claimed invention below
Range, but it is merely representative of the selected embodiment of the present invention.Based on the embodiment of the present invention, those skilled in the art are not doing
The every other embodiment obtained under the premise of going out creative work, shall fall within the protection scope of the present invention.
Embodiment 1
As shown in Figure 1, an embodiment of the present invention provides a kind of knowledge network construction method, it is applied to knowledge network structure dress
It sets, solution rule database is previously stored in described device, the solution rule solved in rule database includes plane
Inference rule, axiom, definition and the theorem of geometry and the fundamental theorem and rule of algebraically, the method includes:
Step S100:The knowledge network construction device obtains each known conditions in geometrical issues to be solved and needs
The each conclusion arrived;
It is preferred that the knowledge network construction device obtains all known conditions in geometrical issues to be solved and described waits for
Solve all conclusions that geometrical issues need to obtain;
When in the geometrical issues to be solved known conditions or/and the conclusion that need to obtain of the geometrical issues to be solved be
When multiple, the multiple known conditions or/and conclusion of acquisition are split, Subject, Predicate and Object form is preferably split as, obtains institute
The each conclusion stated each known conditions in geometrical issues to be solved and need to obtained;Thus by the known item of natural language description
Part and conclusion split into simple sentence.
Step S101:According to the known conditions, solution rule is called to wait for described from the solution rule database
Geometrical issues are solved to be solved, until obtain all conclusions that the geometrical issues to be solved need to obtain, according to from it is described
Know that the solution path for all conclusions that condition need to be obtained to the geometrical issues to be solved determines the format of each conclusion
Justice obtains the title and each conclusion point that obtain solution rule and the solution rule that each conclusion uses respectively
The condition of other basis.
In this present embodiment, solution path refers to from known conditions, relevant with geometrical issues to be solved by calling
Axiom, definition, theorem, consequence rule, the fundamental theorem of algebraically and rule etc. reach a paths of conclusion.
Wherein, the axiom of plane geometry, definition and theorem, the fundamental theorem of algebraically and rule can refer to interior in textbook
Hold.According to known conditions, above-mentioned axiom, definition and theorem, the fundamental theorem of algebraically and rule are answered by inference rule
With, conclusion can be obtained, when implementing, can pre-define each axiom, definition and theorem based on plane geometry, algebraically it is basic
The inference rule of theorem and rule, the acquisition of inference rule can be pre-set, such as:According to the knowledge being currently known, build
The inference rule library of vertical geometric reasoning, define each axiom, definition and the theorem of each inference rule and plane geometry, algebraically it is basic
The relevance of theorem and rule;In another example:Using internet, the big data for carrying out geometric reasoning is collected, by data collection, is built
Vertical, update inference rule library.
In view of in geometrical issues solution procedure, the addition of auxiliary line, auxiliary magnet, the embodiment of the present invention can be frequently involved
In, preferably the method further includes:
Add auxiliary line or/and auxiliary magnet;
According to the known conditions in step S101, solution rule is called to wait for described from the solution rule database
Geometrical issues are solved to be solved, including:
According to the auxiliary line or/and auxiliary magnet of the known conditions and addition, from the solution rule database
Solution rule is called to solve the geometrical issues to be solved;
Obtain obtaining title and each knot of solution rule and the solution rule that each conclusion uses respectively
By the condition and auxiliary line or/and auxiliary magnet of basis respectively.
According to the known conditions, solution rule is called to ask the geometry to be solved from the solution rule database
Topic is solved, until the mode for obtaining all conclusions that the geometrical issues to be solved need to obtain has very much, as shown in Fig. 2,
In this present embodiment, it is preferably accomplished by the following way:
Step S200:The auxiliary line with the known conditions and addition is called from the solution rule database
Or/and the relevant all solution rules of auxiliary magnet;
It is quick, accurate in order to ensure solution, each condition, auxiliary line, auxiliary can be established in solving rule database in advance
Point, conclusion and the correspondence for solving rule are helped, internet can be also applied, big data collection is carried out and is built by data collection
It stands, update each condition, auxiliary line, auxiliary magnet, conclusion and the correspondence for solving rule.
Step S201:According to the auxiliary line or/and auxiliary magnet of the known conditions and addition are relevant all asks
Solution rule, solves the known conditions, obtains solving all conclusions for obtaining to the known conditions, will to it is described
Know that condition solves all conclusions obtained as the first conclusion collection;
When implementing, the solution rule called from the solution rule database is and known conditions, auxiliary line, auxiliary
The related solution rule of point, conclusion, this kind association can also be collected by having algorithm, rule foundation by big data
Summary and induction since the relevant technologies are more mature, thus does not illustrate more herein.
Step S202:Each conclusion that first conclusion is concentrated judges whether and described the as known conditions
The relevant solution rule of each conclusion that one conclusion is concentrated, if not, thening follow the steps S203:It concentrates and searches from first conclusion
All conclusions that the geometrical issues to be solved need to obtain;If so, thening follow the steps S204:It calls and the first conclusion collection
In each conclusion it is relevant it is all solve rule to first conclusion concentrate each conclusions solve, obtain to described first
Each conclusion that conclusion is concentrated solves all conclusions obtained, each conclusion concentrated to first conclusion solution is obtained all
Conclusion is as the second conclusion collection;
In the step, each conclusion that the first conclusion is concentrated is concentrated as newly-increased known conditions to the first conclusion
Each conclusion when solving, solved to obtain in conjunction with original known conditions in geometrical issues to be solved and newly-increased known conditions
Second conclusion collection.Such as:Each conclusion that first conclusion is concentrated is added to the geometry to be solved as newly-increased known conditions
In the known conditions of problem, the geometrical issues to be solved of the newly-increased known conditions have been judged whether and have been added to
Know the relevant solution rule of condition.
Step S205:Each conclusion that second conclusion is concentrated judges whether and described the as known conditions
The relevant solution rule of each conclusion that two conclusions are concentrated, if it is not, then being concentrated from the first conclusion collection and second conclusion
Search all conclusions that the geometrical issues to be solved need to obtain;If it is, calling each knot concentrated with second conclusion
Each conclusion of second conclusion concentration is solved by relevant all rules that solve, obtains concentrating second conclusion
Each conclusion solve all conclusions for obtaining, all conclusions that each conclusion concentrated to second conclusion solution is obtained as
Third conclusion collection;
It is similar with the second conclusion collection is obtained, the conclusion that being solved to of third conclusion collection concentrates the first, second conclusion as
Solution show that details are not described herein after newly-increased known conditions is added in the original known conditions of geometrical issues to be solved.
Each conclusion that M conclusions are concentrated judges whether each knot concentrated with the M conclusions as known conditions
By relevant solution rule, the geometry to be solved is searched if it is not, then being concentrated from the first conclusion collection~M conclusions
All conclusions that problem need to obtain;If it is, calling the relevant all solution rules of each conclusion concentrated with the M conclusions
Each conclusion concentrated to the M conclusions solves, and obtains obtaining each conclusion solution that the M conclusions are concentrated all
Each conclusion concentrated to the M conclusions is solved all conclusions obtained as M+1 conclusion collection, M >=3 by conclusion;Until institute
It includes all conclusions that the geometrical issues to be solved need to obtain to state the first conclusion collection~M+1 conclusions concentration.
Being solved to the conclusion that the first~the M conclusions are concentrated being added to as newly-increased known conditions of M+1 conclusion collection is waited for
Solution show that details are not described herein after solving in the original known conditions of geometrical issues.
Ensure that it is quick, accurately obtain all conclusions that geometrical issues to be solved need to obtain, as shown in figure 3, this
It is preferably described to be needed up to the first conclusion collection~M+1 conclusions concentration includes the geometrical issues to be solved in embodiment
All conclusions arrived, including:
Step S300:From the solution rule database, the geometrical issues to be solved can be directly obtained by finding
All solutions rule for all conclusions that need to be obtained, rule set is solved as conclusion;
When implementing, respectively ask the acquisition of conclusion that must all have foundation, such as:The conclusion that geometrical issues to be solved need to obtain is
Certain geometric figure be parallelogram, then, can directly obtain the geometric figure be parallelogram solution rule-according to
According to including:Solve rule x1:Parallel quadrangle is parallelogram (defining criterion) to two groups of opposite side respectively;Solve rule
x2:One group of parallel and equal quadrangle of opposite side is parallelogram;Solve rule x3:Two groups of opposite side distinguish equal quadrangle
It is parallelogram;Solve rule x4:Two groups diagonally equal quadrangle is that (two groups of opposite side are parallel to be sentenced parallelogram respectively
It is fixed);Solve rule x5:The quadrangle that diagonal line is divided equally mutually is parallelogram.It is (x1 that conclusion, which solves rule set,;x2;x3;
x4)。
Step S301:It is found from the first conclusion collection~M+1 conclusions concentration and belongs to the conclusion solution rule set
All conclusions, all conclusions that the geometrical issues to be solved need to obtain are obtained according to the conclusion found.
In the embodiment of the present invention, it can use and obtain the known conditions of corresponding conclusion, solve rule etc. to be defined conclusion,
Complete knowledge network is embodied, in order to improve convenience when implementation, preferably the method further includes:
To each known conditions of the geometrical issues to be solved, each conclusion that need to be obtained, the auxiliary line of addition
Or/and each conclusion that auxiliary magnet, the first conclusion collection~M+1 conclusions are concentrated is numbered respectively, each auxiliary line, auxiliary magnet,
Known conditions and conclusion are corresponding with unique number respectively;
The solution path for all conclusions that the basis need to be obtained from the known conditions to the geometrical issues to be solved
The format of each conclusion is defined, obtains obtaining the solution rule and solution rule that each conclusion uses respectively
Title and each conclusion basis respectively condition, including:
It will be each according to the solution path for all conclusions that need to be obtained from the known conditions to the geometrical issues to be solved
The format of the conclusion is defined as:Conclusion+conclusion number, by solution rule+solution rule name, according to condition+condition number,
Auxiliary line or/and auxiliary magnet+auxiliary line or/and the auxiliary magnet number used.
It should be noted that in the embodiment of the present invention, can to each conclusion that the first conclusion collection~M+1 conclusions are concentrated respectively into
Row number, for each conclusion that N+1 conclusions are concentrated, the original known conditions of geometrical issues to be solved and the first conclusion collection
Each conclusion that~the N conclusions are concentrated is its 1≤N of known conditions≤M.
It is carried out in order to keep the scheme in the embodiment of the present invention more clear, in the present embodiment illustrated below:
If the stem of geometrical issues to be solved is:
As shown in Figure 8, it is known that arbitrary quadrilateral ABCD, point E, F, G, H are the midpoint on each side AB, BC, CD, DA respectively.Card
It is bright:Quadrangle EFGH is parallelogram.Realization method is as follows:
The known conditions of natural language description and conclusion are split into simple sentence --- it is Subject, Predicate and Object form as possible, obtains and wait asking
Each known conditions in solution geometrical issues and each conclusion that need to be obtained, have the case where multiple conclusions to split into multiple knots
By, then:
Known conditions has
Point E is the midpoint of AB;
Point F is the midpoint of BC;
Point G is the midpoint of CD;
Point H is the midpoint of DA.
Conclusion is
Quadrangle EFGH is parallelogram.
Addible auxiliary line is:
Connect AC, such as Fig. 9;
Connect BD, such as Figure 10;
AC is connected, BD, such as Figure 11 are connected.
The auxiliary line of all known conditions and addition is numbered:
# known conditions #:(1) point E is the midpoint of AB;(2) point F is the midpoint of BC;(3) point G is the midpoint of CD;(4) point H
It is the midpoint of DA;
# auxiliary lines/auxiliary magnet #:(5) AC is connected, by rule construct triangle;(6) BD is connected, by rule construct triangle
Shape;
The correspondence # of # auxiliary lines/auxiliary magnet and map file:[1] (5), such as Fig. 9;[2] (6), such as Figure 10;[3](5),
(6), such as Figure 11.
From above-mentioned, called in rule database and the auxiliary line of known conditions and addition is relevant all asks from solving
Solution rule, single step solve to obtain the first conclusion collection;Each conclusion is defined as (conclusion number)【Conclusion】, by rule【Rule name
Claim】, according to condition【Condition number】.
The conclusion that first conclusion is concentrated is listed as follows:
(7)【EH//BD】, by rule【Triangle neutrality line theorem】, according to condition【1;4;6】
(8)【FG//BD】, by rule【Triangle neutrality line theorem】, according to condition【2;3;6】
(9)【EF//AC】, by rule【Triangle neutrality line theorem】, according to condition【1;2;5】
(10)【GH//AC】, by rule【Triangle neutrality line theorem】, according to condition【3;4;5】
(11)【EH=1/2*BD】, by rule【Triangle neutrality line theorem】, according to condition【1;4;6】
(12)【FG=1/2*BD】, by rule【Triangle neutrality line theorem】, according to condition【2;3;6】
(13)【EF=1/2*AC】, by rule【Triangle neutrality line theorem】, according to condition【1;2;5】
(14)【GH=1/2*AC】, by rule【Triangle neutrality line theorem】, according to condition【3;4;5】
(15)【AE=BE】, by rule【The property at midpoint】, according to condition【1】
(16)【BF=FC】, by rule【The property at midpoint】, according to condition【2】
(17)【GC=GD】, by rule【The property at midpoint】, according to condition【3】
(18)【DH=HA】, by rule【The property at midpoint】, according to condition【4】.
The conclusion concentrated from the original known conditions of geometrical issues to be solved and the first conclusion is (both as the second conclusion
The known conditions of collection), include at least first conclusion concentrate conclusion, will call single step solve rule it is accessible it is all can
Energy conclusion is as the second conclusion collection.
The conclusion that second conclusion is concentrated is listed as follows:
(19)【EF//GH】, by rule【Parallel lines transmit】, according to condition【9;10】
(20)【EH//FG】, by rule【Parallel lines transmit】, according to condition【7;8】
(21)【EF=GH】, by rule【Equivalent is transmitted】, according to condition【13;14】
(22)【EH=FG】, by rule【Equivalent is transmitted】, according to condition【11;12】.
(three is as for the conclusion concentrated from the original known conditions of geometrical issues to be solved and the first, second conclusion
The known conditions of three conclusion collection), the conclusion that second conclusion is concentrated is included at least, single step will be called to solve rule accessible
Be possible to conclusion is as third conclusion collection.
The conclusion that third conclusion is concentrated is listed as follows:
(23)【EFGH is parallelogram】, by rule【The definition of parallelogram】, according to condition【19;20】
(24)【EFGH is parallelogram】, by rule【Parallelogram judgement 2】, according to condition【21;22】
(25)【EFGH is parallelogram】, by rule【Parallelogram judgement 4】, according to condition【19;22】
(26)【EFGH is parallelogram】, by rule【Parallelogram judgement 4】, according to condition【20;22】.
The knowledge that each conclusion is applied to is can be obtained according to each conclusion after third conclusion centralized definition, so as to
To the knowledge network of the geometrical issues to be solved as shown in figure 12.
Wherein, with the relevant selection for solving rule such as known conditions, the first conclusion collection, the second conclusion collection, can pass through
Have algorithm, rule foundation, also can collect summary and induction by big data, since the relevant technologies are more mature, thus
This does not illustrate more.
It is also carried out in order to keep the scheme in the embodiment of the present invention more clear, in the present embodiment illustrated below:
If the stem of geometrical issues to be solved is:
ParabolaA, B are met at 2 points with x-axis, meet at C points with y-axis, and (1) A (- 1,0) asks throwing
The analytic expression of object line and the coordinate of vertex D;(2) the shape of △ ABC is judged, it was demonstrated that your conclusion;(3) point M (m, 0) is in x-axis
One dynamic point seeks the value of m when the value minimum of CM+DM.
The known conditions of natural language description and conclusion are split into simple sentence --- it is Subject, Predicate and Object form as possible, obtains and wait asking
Each known conditions in solution geometrical issues and each conclusion that need to be obtained, have the case where multiple conclusions to split into multiple conclusions
So:
Known conditions has
Parabola2 points of A, B is met at x-axis;
ParabolaC points are met at y-axis;
A point coordinates (- 1,0);
Point M (m, 0) is a dynamic point in x-axis;
The value of CM+DM is minimum.
Conclusion has
1. parabolical analytic expression;2. the coordinate of vertex D;
Judge the shape of △ ABC, it was demonstrated that conclusion;
Seek the value of m.
Addible auxiliary line and auxiliary magnet are:
Make symmetric points Cs ' of the point C about x-axis, connects C ' D, such as Figure 13.
The auxiliary line of all known conditions and addition, auxiliary magnet are numbered:
# known conditions #:(1) parabola2 points of A, B is met at x-axis;(2) parabolaC points are met at y-axis;(3) A point coordinates (- 1,0);(4) point M (m, 0) is a dynamic point in x-axis【3】;
(5) value of CM+DM is minimum【3】;
# auxiliary lines/auxiliary magnet #:(6) make point C the symmetric points C ' about x-axis, connection C ' D;
The correspondence # of # auxiliary lines/auxiliary magnet and map file:[1]【6】, such as Figure 13.
From above-mentioned, from solving, calling in rule database is related to known conditions and the auxiliary line of addition, auxiliary magnet
All solutions rule, single step solve it is concluded that collection;Each conclusion is defined as (conclusion number)【Conclusion】, by rule【Rule
Title】, according to condition【Condition number】.
The conclusion that conclusion is concentrated is listed as follows:
(7)【】, by rule【Definition of the point in functional image】, according to condition【1;3】
(8)【】, by rule【It solves equation】, according to condition【7】
(9)【】, by rule【Equivalent substitution】, according to condition【1;8】, small to ask【1_1】
(10)【The coefficient of quadratic functionC=-2, the apex coordinate of quadratic function】, by rule【The apex coordinate formula of quadratic function】, according to condition【9】
(11)【The coordinate of vertex D is】, by rule【Equivalent substitution】, according to condition【10】, small to ask【1_2】
(12)【C point coordinates (0, -2)】, by rule【The intersection point of parabola and y-axis】, according to condition【2】
(13)【】, by rule【The intersection point of parabola and x-axis】, according to condition【1;9】
(14)【X=-1 or x=4】, by rule【It solves equation】, according to condition【13】
(15)【B point coordinates (4,0)】, by rule【The intersection point of parabola and x-axis】, according to condition【3;14】
(16)【In △ ABC, AB=4- (- 1)=5, 】, by rule【The range formula of point-to-point transmission】, according to condition【3;12;15】
(17)【AB2=BC2+AC2, △ ABC are right angled triangles】, by rule【The inverse theorem of Pythagorean theorem】, according to condition
【16】, small to ask【2】
(18)【The coordinate (0,2) of point C '】, by rule【The coordinate of symmetric points about x-axis】, according to condition【6;12】
(19)【If the analytic expression of straight line C ' D is y=k*x+b'】, by rule【The inclined cutout of straight line】, according to condition【6】
(20)【B '=2,】, by rule【Definition of the point in functional image】, according to condition【11;
18;19】
(21)【B '=2】, by rule【Solving equations】, according to condition【20】
(22)【】, by rule【Equivalent substitution】, according to condition【19;21】
(23)【The value of C ' M+DM is minimum】, by rule【Equivalent substitution】, according to condition【5】
(24)【Point M is on C ' D】, by rule【Line segment axiom】, according to condition【23】
(25)【】, by rule【Definition of the point in functional image】, according to condition【4;22;24】
(26)【】, by rule【It solves equation】, according to condition【25】, small to ask【3】
(27)【】, by rule【The vertex formula of quadratic function】, according to condition【9】
(28)【The coordinate of vertex D is】, by rule【The apex coordinate of quadratic function】, according to condition
【27】, small to ask【1_2】
(29)【The sum of two】, by rule【Vièta's formulas】, according to condition【3;9】
(30)【xB=4】, by rule【It solves equation】, according to condition【29】
(31)【Two products】, by rule【Vièta's formulas】, according to condition【3;9】
(32)【xB=4】, by rule【It solves equation】, according to condition【31】
(33)【B point coordinates (4,0)】, by rule【Point is in x-axis】, according to condition【1;32】
(34)【B point coordinates (4,0)】, by rule【Point is in x-axis】, according to condition【1;30】
(35)【In △ ABC, AB=4- (- 1)=5, 】, by rule【The range formula of point-to-point transmission】, according to condition【3;12;33】
(36)【AB2=BC2+AC2, △ ABC are right angled triangles】, by rule【The inverse theorem of Pythagorean theorem】, according to condition
【35】, small to ask【2】
(37)【In △ ABC, AB=4- (- 1)=5, 】, by rule【The range formula of point-to-point transmission】, according to condition【3;12;34】
(38)【AB2=BC2+AC2, △ ABC are right angled triangles】, by rule【The inverse theorem of Pythagorean theorem】, according to condition
【37】, small to ask【2】.
The knowledge that each conclusion is applied to is can be obtained according to each conclusion after conclusion centralized definition, so as to be somebody's turn to do
The knowledge network of geometrical issues to be solved, Figure 12 during corresponding knowledge network is illustrated with first is similar, does not make weight herein
Multiple explanation.
Knowledge network construction method provided in the embodiment of the present invention can be listed every in geometrical issues to be solved respectively
A known conditions and each conclusion that need to be obtained, and obtained each conclusion can be defined according to solution path, it embodies and obtains
The solution rule and solve the title of rule and the condition of each conclusion basis respectively that each conclusion uses respectively, can be by fixed
The conclusion of justice clearly shows knowledge network framework used by solving conclusion, the knowledge network frame being respectively adopted according to each conclusion
Structure can complete the knowledge network structure of geometrical issues to be solved so that user can clear, comprehensively, neatly grasp a variety of
Solution path meets actual demand.
Embodiment 2
As shown in figure 4, an embodiment of the present invention provides a kind of knowledge network construction devices, including:Pre- memory cell 500 is used
In prestoring solution rule database, the solution rule solved in rule database includes that the reasoning of plane geometry is advised
Then, axiom, definition and theorem and the fundamental theorem and rule of algebraically;Information obtainment unit 501, it is to be solved several for obtaining
Each known conditions in what problem and each conclusion that need to be obtained;Conclusion solves and format definition unit 502, for according to institute
Known conditions is stated, calls solution rule to solve the geometrical issues to be solved from the solution rule database, directly
To all conclusions that obtains the geometrical issues to be solved and need to obtain, asked according to from the known conditions to the geometry to be solved
The solution path for inscribing all conclusions that need to be obtained is defined the format of each conclusion, obtains obtaining each conclusion difference
The condition of the solution rule and the title for solving rule and each conclusion basis respectively that use.
As shown in figure 5, further including:Auxiliary line or/and auxiliary magnet adding device 503, for adding auxiliary line or/and auxiliary
Point;The conclusion solves and format definition unit 502, for according to the auxiliary line of the known conditions and addition or/and
Auxiliary magnet calls solution rule to solve the geometrical issues to be solved from the solution rule database, until
All conclusions that need to be obtained to the geometrical issues to be solved, according to from the known conditions to the geometrical issues need to be solved
The solution path of obtained all conclusions is defined the format of each conclusion, obtains obtaining each conclusion and uses respectively
Solution rule and the title for solving rule and each conclusion condition of basis and auxiliary line or/and auxiliary respectively
Point.
As shown in Figure 6, wherein the conclusion solves and format definition unit 502, including:Solve rule invocation subelement
600, for calling the auxiliary line or/and auxiliary magnet with the known conditions and addition from the solution rule database
Relevant all solution rules;
Conclusion solves subelement 601, for according to the auxiliary line or/and auxiliary magnet with the known conditions and addition
Relevant all solution rules, solve the known conditions, obtain solving all knots obtained to the known conditions
By using all conclusions obtained to known conditions solution as the first conclusion collection;Judge and solve subelement 602, is used for
Each conclusion that first conclusion is concentrated judges whether each conclusion concentrated with first conclusion as known conditions
Relevant solution rule, if it is not, then it is all to concentrate the lookup geometrical issues to be solved that need to obtain from first conclusion
Conclusion;If it is, calling the relevant all solution rules of each conclusion concentrated with first conclusion to first conclusion
Each conclusion concentrated is solved, and obtains solving all conclusions obtained to each conclusion that first conclusion is concentrated, will be to institute
Each conclusion for stating the first conclusion concentration solves all conclusions obtained as the second conclusion collection;Second conclusion is concentrated each
Conclusion judges whether the relevant solution rule of each conclusion concentrated with second conclusion as known conditions, if not,
All conclusions searched the geometrical issues to be solved and need to obtained then are concentrated from the first conclusion collection and second conclusion;Such as
Fruit is that then calling is concentrated second conclusion with the relevant all solutions rules of each conclusion that second conclusion is concentrated each
Conclusion is solved, and obtains solving all conclusions obtained to each conclusion that second conclusion is concentrated, will be to second knot
Each conclusion in analects solves all conclusions obtained as third conclusion collection;Each conclusion that M conclusions are concentrated is as known to
Condition judges whether the relevant solution rule of each conclusion concentrated with the M conclusions, if it is not, then from described first
Conclusion collection~M conclusions, which are concentrated, searches all conclusions that the geometrical issues to be solved need to obtain;If it is, call with
The relevant all rules that solve of each conclusion that the M conclusions are concentrated solve each conclusion of M conclusions concentration, obtain
All conclusions obtained are solved to each conclusion concentrated to the M conclusions, and each conclusion concentrated to the M conclusions is solved
All conclusions obtained are as M+1 conclusion collection, M >=3;Until it includes described that the first conclusion collection~M+1 conclusions, which are concentrated,
All conclusions that geometrical issues to be solved need to obtain.
The judgement and solution subelement 602, for from the solution rule database, finding can to directly obtain
All solutions rule for all conclusions that the geometrical issues to be solved need to obtain, rule set is solved as conclusion;From described
One conclusion collection~M+1 conclusions, which are concentrated to find, belongs to all conclusions that the conclusion solves rule set, according to the institute found
It states conclusion and obtains all conclusions that the geometrical issues to be solved need to obtain.
As shown in fig. 7, further including:Numbered cell 504, for each known conditions of the geometrical issues to be solved,
Each knot that the auxiliary line or/and auxiliary magnet, the first conclusion collection~M+1 conclusions of each conclusion, addition that need to obtain are concentrated
By being numbered respectively, each auxiliary line, auxiliary magnet, known conditions and conclusion are corresponding with unique number respectively;The conclusion is asked
Solution and format definition unit 502, for according to all knots that need to be obtained from the known conditions to the geometrical issues to be solved
The format of each conclusion is defined as by the solution path of opinion:Conclusion+conclusion number, by solution rule+solution rule name, root
According to condition+condition number, the auxiliary line or/and auxiliary magnet+auxiliary line or/and auxiliary magnet that use are numbered.
The technique effect and preceding method embodiment phase of the device that the embodiment of the present invention is provided, realization principle and generation
Together, to briefly describe, device embodiment part does not refer to place, can refer to corresponding contents in preceding method embodiment.
As shown in figure 14, the embodiment of the present invention additionally provides a kind of knowledge network construction device application scenarios schematic diagram, should
Device can be applied in server, host computer etc., and server, host computer include:Processor 400, memory 404,402 He of bus
Communication interface 403, the processor 400, communication interface 403 and memory 404 are connected by bus 402.
Wherein, memory 404 may include high-speed random access memory (RAM:Random Access Memory),
May further include non-labile memory (non-volatile memory), for example, at least a magnetic disk storage.By extremely
A few communication interface 403 (can be wired or wireless) is realized logical between the system network element and at least one other network element
Letter connection can use internet, wide area network, local network, Metropolitan Area Network (MAN) etc..
Processor 400 is used to execute the executable module in memory 404, such as computer program 401;Processor 400
Data flow is received by communication interface 403;
Bus 402 can be isa bus, pci bus or eisa bus etc..The bus can be divided into address bus, number
According to bus, controlling bus etc..It for ease of indicating, is only indicated with a four-headed arrow in Figure 14, it is not intended that only one total
Line or a type of bus.
Wherein, memory 404 is for storing program 401, and the processor 400 executes institute after receiving and executing instruction
Program 401 is stated, the method performed by device that the process that aforementioned any embodiment of the embodiment of the present invention discloses defines can be applied
It is realized in processor 400, or by processor 400.
In the concrete realization, program 401 may include program code, said program code include computer-managed instruction and
Algorithm etc.;
Processor 400 may be a kind of IC chip, the processing capacity with signal.It is above-mentioned during realization
Each step of method can be completed by the integrated logic circuit of the hardware in processor 400 or the instruction of software form.On
The processor 400 stated can be general processor, including central processing unit (Central Processing Unit, abbreviation
CPU), network processing unit (Network Processor, abbreviation NP) etc.;It can also be digital signal processor (DSP), special
Integrated circuit (ASIC), ready-made programmable gate array (FPGA) either other programmable logic device, discrete gate or transistor
Logical device, discrete hardware components.It may be implemented or execute disclosed each method, step and the logic in the embodiment of the present invention
Block diagram.General processor can be microprocessor or the processor can also be any conventional processor etc..In conjunction with this hair
The step of method disclosed in bright embodiment, can be embodied directly in hardware decoding processor and execute completion, or be handled with decoding
Hardware and software module combination in device execute completion.Software module can be located at random access memory, flash memory, read-only memory,
In the storage medium of this fields such as programmable read only memory or electrically erasable programmable memory, register maturation.This is deposited
Storage media is located at memory 404, and processor 400 reads the information in memory 404, and the step of the above method is completed in conjunction with its hardware
Suddenly.
The computer program product carried out in device that the embodiment of the present invention is provided, including store the meter of program code
Calculation machine readable storage medium storing program for executing, the instruction that said program code includes can be used for executing the method described in previous methods embodiment,
Specific implementation can be found in embodiment of the method, and details are not described herein.
It is apparent to those skilled in the art that for convenience and simplicity of description, the device of foregoing description
It with the specific work process of unit, can refer to corresponding processes in the foregoing method embodiment, details are not described herein.
Unless specifically stated otherwise, the opposite step of the component and step that otherwise illustrate in these embodiments, digital table
It is not limit the scope of the invention up to formula and numerical value.
In all examples being illustrated and described herein, any occurrence should be construed as merely illustrative, without
It is as limitation, therefore, other examples of exemplary embodiment can have different values.
In several embodiments provided herein, it should be understood that disclosed device and method can pass through it
Its mode is realized.The apparatus embodiments described above are merely exemplary, for example, the flow chart and block diagram in attached drawing are aobvious
The device of multiple embodiments according to the present invention, architectural framework in the cards, the work(of method and computer program product are shown
It can and operate.In this regard, each box in flowchart or block diagram can represent one of a module, section or code
Point, a part for the module, section or code includes one or more for implementing the specified logical function executable
Instruction.It should also be noted that in some implementations as replacements, the function of being marked in box can also be to be different from attached drawing
The sequence marked occurs.For example, two continuous boxes can essentially be basically executed in parallel, they sometimes can also be by
Opposite sequence executes, this is depended on the functions involved.It is also noted that each box in block diagram and or flow chart,
And the combination of the box in block diagram and or flow chart, function or the dedicated of action as defined in executing can be used to be based on hardware
System realize, or can realize using a combination of dedicated hardware and computer instructions.
The unit illustrated as separating component may or may not be physically separated, aobvious as unit
The component shown may or may not be physical unit, you can be located at a place, or may be distributed over multiple
In network element.Some or all of unit therein can be selected according to the actual needs to realize the mesh of this embodiment scheme
's.
In addition, each functional unit in each embodiment of the present invention can be integrated in a processing unit, it can also
It is that each unit physically exists alone, it can also be during two or more units be integrated in one unit.
It, can be with if the function is realized in the form of SFU software functional unit and when sold or used as an independent product
It is stored in a computer read/write memory medium.Based on this understanding, technical scheme of the present invention is substantially in other words
The part of the part that contributes to existing technology or the technical solution can be expressed in the form of software products, the meter
Calculation machine software product is stored in a storage medium, including some instructions are used so that a computer equipment (can be
People's computer, server or network equipment etc.) it performs all or part of the steps of the method described in the various embodiments of the present invention.
And storage medium above-mentioned includes:USB flash disk, mobile hard disk, read-only memory (ROM, Read-Only Memory), arbitrary access are deposited
The various media that can store program code such as reservoir (RAM, Random Access Memory), magnetic disc or CD.
The above description is merely a specific embodiment, but scope of protection of the present invention is not limited thereto, any
Those familiar with the art in the technical scope disclosed by the present invention, can easily think of the change or the replacement, and should all contain
Lid is within protection scope of the present invention.Therefore, the protection scope of the present invention shall be subject to the protection scope of the claims.
Claims (8)
1. a kind of knowledge network construction method, which is characterized in that be applied to knowledge network construction device, deposited in advance in described device
Contain solution rule database, the solution rule solved in rule database include the inference rule of plane geometry, axiom,
The fundamental theorem and rule of definition and theorem and algebraically, the method includes:
Each conclusion that the knowledge network construction device obtains each known conditions in geometrical issues to be solved and need to obtain;
According to the known conditions, called from the solution rule database solve rule to the geometrical issues to be solved into
Row solves, until obtaining all conclusions that the geometrical issues to be solved need to obtain, is waited for according to from the known conditions to described
The solution path for solving all conclusions that geometrical issues need to obtain is defined the format of each conclusion, obtains obtaining each institute
State the condition of solution rule and the title for solving rule that conclusion uses respectively and each conclusion basis respectively;
According to the known conditions, called from the solution rule database solve rule to the geometrical issues to be solved into
Row solves, until the step of obtaining all conclusions that the geometrical issues to be solved need to obtain includes:
From the solution rule database, all knots that the geometrical issues to be solved need to obtain can be directly obtained by finding
All solutions rule of opinion solves rule set as conclusion corresponding with each conclusion;
All conclusions corresponding with conclusion solution rule set are found from the first conclusion collection~M+1 conclusions concentration, according to
The conclusion found obtains all conclusions that the geometrical issues to be solved need to obtain;Wherein, the first conclusion Ji Bao
It includes and all conclusions obtained is solved to the known conditions;Second conclusion collection is included in each in the presence of being concentrated with first conclusion
When the relevant solution of conclusion is regular, call relevant all solution of each conclusion concentrated with first conclusion regular to described the
Each conclusion that one conclusion is concentrated is solved, and the obtained each conclusion concentrated to first conclusion solves all knots obtained
By;When third conclusion collection is included in solutions rule relevant in the presence of each conclusion for concentrating with second conclusion, calling with it is described
The relevant all rules that solve of each conclusion that second conclusion is concentrated solve each conclusion of second conclusion concentration, obtain
Each conclusion that second conclusion is concentrated solve all conclusions for obtaining;M+1 conclusion collection, which is included in, to be existed and M conclusions
When the relevant solution of each conclusion concentrated is regular, the relevant all solution rules of each conclusion concentrated with the M conclusions are called
Each conclusion concentrated to the M conclusions solves, and the obtained each conclusion concentrated to the M conclusions solves the institute obtained
There are conclusion, M >=3.
2. knowledge network construction method according to claim 1, which is characterized in that the method further includes:
Add auxiliary line or/and auxiliary magnet;
It is described according to the known conditions, called from the solution rule database and solve rule the geometry to be solved is asked
Topic is solved, including:
According to the auxiliary line or/and auxiliary magnet of the known conditions and addition, called from the solution rule database
Rule is solved to solve the geometrical issues to be solved;
Title and each knot for obtaining obtaining solution rule and the solution rule that each conclusion uses respectively
By the condition of basis respectively, including:
Obtain obtaining the title and each conclusion point of solution rule and the solution rule that each conclusion uses respectively
The condition and auxiliary line or/and auxiliary magnet of other basis.
3. knowledge network construction method according to claim 2, which is characterized in that it is described according to the known conditions, from
Solution rule is called to solve the geometrical issues to be solved in the solution rule database, until waiting asking described in obtaining
All conclusions that solution geometrical issues need to obtain, including:
It is called from the solution rule database related to the known conditions and the auxiliary line or/and auxiliary magnet of addition
All solutions rule;
According to the relevant all solutions rule of the auxiliary line or/and auxiliary magnet of the known conditions and addition, to described
Known conditions is solved, and is obtained solving all conclusions obtained to the known conditions, will be solved to the known conditions
All conclusions gone out are as the first conclusion collection;
Each conclusion that first conclusion is concentrated judges whether to concentrate with first conclusion each as known conditions
The relevant solution rule of conclusion, searches what the geometrical issues to be solved need to obtain if it is not, then being concentrated from first conclusion
All conclusions;If it is, calling the relevant all solution rules of each conclusion concentrated with first conclusion to described first
Each conclusion that conclusion is concentrated is solved, and obtains solving all conclusions obtained to each conclusion that first conclusion is concentrated, will
All conclusions obtained are solved as the second conclusion collection to each conclusion that first conclusion is concentrated;
Each conclusion that second conclusion is concentrated judges whether to concentrate with second conclusion each as known conditions
The relevant solution rule of conclusion, if it is not, then concentrating lookup described to be solved from the first conclusion collection and second conclusion
All conclusions that geometrical issues need to obtain;If it is, calling each conclusion concentrated with second conclusion is relevant all to ask
Each conclusion that solution rule concentrates second conclusion solves, and obtains solving each conclusion that second conclusion is concentrated
Each conclusion concentrated to second conclusion is solved all conclusions obtained as third conclusion collection by all conclusions gone out;
Each conclusion that M conclusions are concentrated judges whether each conclusion phase concentrated with the M conclusions as known conditions
The solution rule of pass, the geometrical issues to be solved are searched if it is not, then being concentrated from the first conclusion collection~M conclusions
All conclusions that need to be obtained;If it is, calling the relevant all solution rules of each conclusion concentrated with the M conclusions to institute
Each conclusion for stating M conclusions concentration is solved, and obtains solving all knots obtained to each conclusion that the M conclusions are concentrated
By all conclusions for obtaining each conclusion concentrated to M conclusions solution are as M+1 conclusion collection, M >=3;
Until the first conclusion collection~M+1 conclusions concentration includes all conclusions that the geometrical issues to be solved need to obtain.
4. knowledge network construction method according to claim 3, which is characterized in that the method further includes:
To each known conditions of the geometrical issues to be solved, each conclusion that need to be obtained, the auxiliary line of addition or/and
Each conclusion that auxiliary magnet, the first conclusion collection~M+1 conclusions are concentrated is numbered respectively, each auxiliary line, auxiliary magnet, known item
Part and conclusion are corresponding with unique number respectively;
The solution path for all conclusions that the basis need to be obtained from the known conditions to the geometrical issues to be solved is to each
The format of the conclusion is defined, and obtains obtaining the solution rule and the name for solving rule that each conclusion uses respectively
Claim and the condition of each conclusion basis respectively, including:
It will be each described according to the solution path for all conclusions that need to be obtained from the known conditions to the geometrical issues to be solved
The format of conclusion is defined as:Conclusion+conclusion number is used by solution rule+solution rule name according to condition+condition number
Auxiliary line or/and auxiliary magnet+auxiliary line or/and auxiliary magnet number.
5. a kind of knowledge network construction device, which is characterized in that including:
Pre- memory cell, for prestoring solution rule database, the solution rule solved in rule database includes flat
Inference rule, axiom, definition and the theorem of face geometry and the fundamental theorem and rule of algebraically;
Information obtainment unit, each conclusion for obtaining each known conditions in geometrical issues to be solved He need to obtain;
Conclusion solves and format definition unit, for according to the known conditions, calling and asking from the solution rule database
Solution rule solves the geometrical issues to be solved, until obtaining all knots that the geometrical issues to be solved need to obtain
By according to the solution path for all conclusions that need to be obtained from the known conditions to the geometrical issues to be solved to each knot
The format of opinion is defined, and obtains obtaining the solution rule and the title for solving rule that each conclusion uses respectively, with
And the condition of each conclusion basis respectively;
Conclusion solves and format definition unit is specifically used for from the solution rule database, and institute can be directly obtained by finding
All solutions rule for stating all conclusions that geometrical issues to be solved need to obtain, solves as conclusion corresponding with each conclusion
Rule set;All conclusions corresponding with conclusion solution rule set, root are found from the first conclusion collection~M+1 conclusions concentration
It is investigated that the conclusion found obtains all conclusions that the geometrical issues to be solved need to obtain;Wherein, the first conclusion collection
Include that all conclusions obtained are solved to the known conditions;Second conclusion collection is included in what presence was concentrated with first conclusion
When the relevant solution of each conclusion is regular, call the relevant all solutions of each conclusion concentrated with first conclusion regular to described
Each conclusion that first conclusion is concentrated is solved, and the obtained each conclusion concentrated to first conclusion solves all knots obtained
By;When third conclusion collection is included in solutions rule relevant in the presence of each conclusion for concentrating with second conclusion, calling with it is described
The relevant all rules that solve of each conclusion that second conclusion is concentrated solve each conclusion of second conclusion concentration, obtain
Each conclusion that second conclusion is concentrated solve all conclusions for obtaining;M+1 conclusion collection, which is included in, to be existed and M conclusions
When the relevant solution of each conclusion concentrated is regular, the relevant all solution rules of each conclusion concentrated with the M conclusions are called
Each conclusion concentrated to the M conclusions solves, and the obtained each conclusion concentrated to the M conclusions solves the institute obtained
There are conclusion, M >=3.
6. knowledge network construction device according to claim 5, which is characterized in that further include:
Auxiliary line or/and auxiliary magnet adding device, for adding auxiliary line or/and auxiliary magnet;
The conclusion solves and format definition unit, for according to the auxiliary line of the known conditions and addition or/and auxiliary
It helps a little, calls solution rule to solve the geometrical issues to be solved from the solution rule database, until obtaining
All conclusions that the geometrical issues to be solved need to obtain are needed according to from the known conditions to the geometrical issues to be solved
To the solution paths of all conclusions the format of each conclusion is defined, obtain obtaining what each conclusion used respectively
Solve rule and the title for solving rule and each conclusion condition of basis and auxiliary line or/and auxiliary magnet respectively.
7. knowledge network construction device according to claim 6, which is characterized in that the conclusion solves and format definition is single
Member, including:
Rule invocation subelement is solved, for calling the institute with the known conditions and addition from the solution rule database
State auxiliary line or/and the relevant all solution rules of auxiliary magnet;
Conclusion solves subelement, for according to relevant with the known conditions and the auxiliary line or/and auxiliary magnet of addition
All solution rules, solve the known conditions, obtain solving all conclusions obtained to the known conditions, will be right
The known conditions solves all conclusions obtained as the first conclusion collection;
Judge and solve subelement, each conclusion for concentrating first conclusion is judged whether as known conditions
The relevant solution rule of each conclusion concentrated with first conclusion, if it is not, then being concentrated described in lookup from first conclusion
All conclusions that geometrical issues to be solved need to obtain;If it is, calling each conclusion concentrated with first conclusion relevant
All rules that solve solve each conclusion of first conclusion concentration, obtain each conclusion concentrated to first conclusion
All conclusions obtained are solved, each conclusion concentrated to first conclusion is solved into all conclusions obtained as the second conclusion
Collection;
Each conclusion that second conclusion is concentrated judges whether to concentrate with second conclusion each as known conditions
The relevant solution rule of conclusion, if it is not, then concentrating lookup described to be solved from the first conclusion collection and second conclusion
All conclusions that geometrical issues need to obtain;If it is, calling each conclusion concentrated with second conclusion is relevant all to ask
Each conclusion that solution rule concentrates second conclusion solves, and obtains solving each conclusion that second conclusion is concentrated
Each conclusion concentrated to second conclusion is solved all conclusions obtained as third conclusion collection by all conclusions gone out;
Each conclusion that M conclusions are concentrated judges whether each conclusion phase concentrated with the M conclusions as known conditions
The solution rule of pass, the geometrical issues to be solved are searched if it is not, then being concentrated from the first conclusion collection~M conclusions
All conclusions that need to be obtained;If it is, calling the relevant all solution rules of each conclusion concentrated with the M conclusions to institute
Each conclusion for stating M conclusions concentration is solved, and obtains solving all knots obtained to each conclusion that the M conclusions are concentrated
By all conclusions for obtaining each conclusion concentrated to M conclusions solution are as M+1 conclusion collection, M >=3;Until described
First conclusion collection~M+1 conclusions concentration includes all conclusions that the geometrical issues to be solved need to obtain.
8. knowledge network construction device according to claim 7, which is characterized in that further include:
Numbered cell, for the geometrical issues to be solved each known conditions, need to obtain each conclusion, addition institute
Each conclusion that auxiliary line or/and auxiliary magnet, the first conclusion collection~M+1 conclusions are concentrated is stated to be numbered respectively, each auxiliary line,
Auxiliary magnet, known conditions and conclusion are corresponding with unique number respectively;
The conclusion solves and format definition unit, for being needed according to from the known conditions to the geometrical issues to be solved
To the solution paths of all conclusions the format of each conclusion is defined as:Conclusion+conclusion number, by solution rule+solution
Rule name, according to condition+condition number, the auxiliary line or/and auxiliary magnet+auxiliary line or/and auxiliary magnet that use are numbered.
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201510649030.XA CN105184372B (en) | 2015-10-09 | 2015-10-09 | Knowledge network construction method and device |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201510649030.XA CN105184372B (en) | 2015-10-09 | 2015-10-09 | Knowledge network construction method and device |
Publications (2)
Publication Number | Publication Date |
---|---|
CN105184372A CN105184372A (en) | 2015-12-23 |
CN105184372B true CN105184372B (en) | 2018-11-02 |
Family
ID=54906435
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201510649030.XA Active CN105184372B (en) | 2015-10-09 | 2015-10-09 | Knowledge network construction method and device |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN105184372B (en) |
Families Citing this family (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN106960064B (en) * | 2017-05-05 | 2020-01-14 | 电子科技大学 | Geometric auxiliary line adding method based on self-learning |
CN107977337A (en) * | 2017-12-07 | 2018-05-01 | 电子科技大学 | The automatic adding method of auxiliary line based on policy network and value network |
CN113570059A (en) * | 2021-07-21 | 2021-10-29 | 北京航天测控技术有限公司 | Spacecraft decision reasoning method, device and system |
Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN101493820A (en) * | 2008-01-25 | 2009-07-29 | 北京华深慧正系统工程技术有限公司 | Medicine Regulatory industry knowledge base platform and construct method thereof |
CN103116574A (en) * | 2013-02-22 | 2013-05-22 | 电子科技大学 | Method for mining domain process ontology from natural language text |
CN103279458A (en) * | 2013-02-22 | 2013-09-04 | 电子科技大学 | Construction and instantiation method of domain ontology |
-
2015
- 2015-10-09 CN CN201510649030.XA patent/CN105184372B/en active Active
Patent Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN101493820A (en) * | 2008-01-25 | 2009-07-29 | 北京华深慧正系统工程技术有限公司 | Medicine Regulatory industry knowledge base platform and construct method thereof |
CN103116574A (en) * | 2013-02-22 | 2013-05-22 | 电子科技大学 | Method for mining domain process ontology from natural language text |
CN103279458A (en) * | 2013-02-22 | 2013-09-04 | 电子科技大学 | Construction and instantiation method of domain ontology |
Non-Patent Citations (3)
Title |
---|
Interactive Learning Enviroment Based on Knowledge Network of Geometry Problems;Xiuqin Zhong etal.;《Computer Science & Education (ICCSE), 2015 10th International Conference on》;20150724;第53-58页 * |
基于Ontology的平面几何知识库设计;吴文渊 等;《计算机应用》;20020331;第22卷(第3期);第10-13页 * |
基于本体的几何学知识获取及知识表示;钟秀琴 等;《计算机学报》;20100131;第33卷(第1期);第167-174页 * |
Also Published As
Publication number | Publication date |
---|---|
CN105184372A (en) | 2015-12-23 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US9798774B1 (en) | Graph data search method and apparatus | |
JP6022650B2 (en) | Technology for routing service chain flow packets between virtual machines | |
US10120956B2 (en) | Methods and systems for distributed computation of graph data | |
CN107952243B (en) | Path determining method and device | |
CN106649391B (en) | Method and device for processing graph data | |
CN105184372B (en) | Knowledge network construction method and device | |
US20190007320A1 (en) | Virtual Network Function Load Balancer | |
CN104102549B (en) | A kind of method, apparatus and chip for realizing multithreading mutually exclusive operation | |
CN104809684A (en) | Graphic processing method, device and system | |
WO2020010982A1 (en) | Risk prevention and control method and system, and terminal device | |
TW201939403A (en) | Redemption code distribution | |
CN107766149A (en) | A kind of method and device of the ZooKeeper cluster configurations based on DUBBO | |
CN108694078A (en) | The interruption confirmed based on nearest interrupt requests indicator and work | |
CN113766047A (en) | Task grouping method and device, computer equipment and storage medium | |
CN103647754A (en) | Method and apparatus for drawing topological graph in cloud computing | |
US20240005446A1 (en) | Methods, systems, and non-transitory storage media for graphics memory allocation | |
WO2022268118A1 (en) | Adjustment method and apparatus for relationship diagram, and storage medium | |
CN105183699B (en) | Multipath solving method and device | |
CN113761381B (en) | Method, device, equipment and storage medium for recommending interest points | |
CN105677843A (en) | Method for automatically obtaining attribute of four boundaries of parcel | |
US11164348B1 (en) | Systems and methods for general-purpose temporal graph computing | |
CN114579311A (en) | Method, apparatus, device and storage medium for executing distributed computing task | |
CN108009099B (en) | Acceleration method and device applied to K-Mean clustering algorithm | |
CN111522606B (en) | Data processing method, device, equipment and storage medium | |
WO2021003704A1 (en) | Method and apparatus for performing geographically distributed process mapping employing privacy constraint condition, and terminal |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
C06 | Publication | ||
PB01 | Publication | ||
C10 | Entry into substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
GR01 | Patent grant | ||
GR01 | Patent grant |