CN105184372A - Knowledge network construction method and apparatus - Google Patents
Knowledge network construction method and apparatus Download PDFInfo
- Publication number
- CN105184372A CN105184372A CN201510649030.XA CN201510649030A CN105184372A CN 105184372 A CN105184372 A CN 105184372A CN 201510649030 A CN201510649030 A CN 201510649030A CN 105184372 A CN105184372 A CN 105184372A
- Authority
- CN
- China
- Prior art keywords
- conclusion
- rule
- solve
- concentrated
- conclusions
- 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.)
- Granted
Links
Landscapes
- Management, Administration, Business Operations System, And Electronic Commerce (AREA)
- Information Retrieval, Db Structures And Fs Structures Therefor (AREA)
Abstract
The embodiment of the invention provides a knowledge network construction method and apparatus, solving the problem that in the prior art, a geometry solving system can not directly present the knowledge network architecture employed by each solved conclusion, thereby not forming a knowledge network, or meeting actual demands. The knowledge network construction method is applied to the knowledge network construction apparatus. A solution rule database is pre-stored in the knowledge network construction apparatus. The method comprises: obtaining each known condition and each required conclusion of a geometry problem to be solved; and invoking solution rules to solve the geometry problem to be solved until obtaining all required conclusions of the geometry problem to be solved, and defining the format of each conclusion according to solution paths to obtain the solution rules required by each conclusion, the names of the solution rules, and conditions on which each conclusion is based. The knowledge network construction method directly presents the knowledge network architecture of each solved conclusion, meets actual demands, and is easy to popularize.
Description
Technical field
The present invention relates to geometry field, in particular to a kind of knowledge network construction method and device.
Background technology
Plane geometry refers to the geometry constructed according to Euclidian " euclid's elements ".Also Euclidean geometry is claimed.Plane geometry research be straight line in plane and quafric curve as the geometry of conic section-ellipse, hyperbolic curve, para-curve etc. and metric property, as area, length, angle, position relationship etc.
Geometry is applied comparatively wide in the life, work of people, based on its importance, and specifically created geometry.Along with the development of technology, now, have developed the system that automatically can complete geometry solving, as geometric proof system etc., inventor finds after deliberation, geometry solving system now directly cannot represent the knowledge network framework respectively solving conclusion and adopt, as, cannot embody respectively solve that conclusion uses respectively solve rule and solve the title of rule, and the condition etc. of each conclusion basis respectively, cannot knowledge network be formed, can not practical requirement.
Summary of the invention
In view of this, the object of the embodiment of the present invention is to provide knowledge network construction method and a device, directly cannot represent to improve geometry solving system of the prior art the knowledge network framework respectively solving conclusion and adopt, cannot knowledge network be formed, can not the problem of practical requirement.
To achieve these goals, the technical scheme of embodiment of the present invention employing is as follows:
First aspect, embodiments provide a knowledge network construction method, be applied to knowledge network construction device, be previously stored with in described device and solve rule database, the described rule that solves solved in rule database comprises the inference rule of plane geometry, axiom, definition and theorem, and the fundamental theorem Sum fanction of algebraically, described method comprises:
Each conclusion that described knowledge network construction device obtains each known conditions in geometrical issues to be solved and need obtain;
According to described known conditions, from described solve rule database call solve rule described geometrical issues to be solved is solved, until obtain all conclusions that described geometrical issues to be solved need obtain, the form of solution path to each described conclusion according to all conclusions that need obtain to described geometrical issues to be solved from described known conditions defines, obtain obtaining that each described conclusion uses respectively solves rule and describedly solve regular title, and the condition of each described conclusion basis respectively.
Second aspect, embodiments provides a kind of knowledge network construction device, comprising:
Prestore unit, solves rule database for prestoring, described in the rule that solves solved in rule database comprise the inference rule of plane geometry, axiom, definition and theorem, and the fundamental theorem Sum fanction of algebraically;
Information obtainment unit, for each known conditions obtained in geometrical issues to be solved and each conclusion that need obtain;
Conclusion solves and form definition unit, for according to described known conditions, from described solve rule database call solve rule described geometrical issues to be solved is solved, until obtain all conclusions that described geometrical issues to be solved need obtain, the form of solution path to each described conclusion according to all conclusions that need obtain to described geometrical issues to be solved from described known conditions defines, obtain obtaining that each described conclusion uses respectively solves rule and describedly solve regular title, and the condition of each described conclusion basis respectively.
The knowledge network construction method provided in the embodiment of the present invention and device, the each conclusion can listed each known conditions in geometrical issues to be solved respectively and need obtain, and can define each conclusion obtained according to solution path, what each conclusion of embodiment acquisition used respectively solves rule and solves the title of rule, and the condition of each conclusion basis respectively, the knowledge network framework solving conclusion and adopt can be clearly represented by the conclusion of definition, according to the knowledge network framework that each conclusion adopts respectively, knowledge network can be completed build, make user can be clear, comprehensively, grasp multiple solution path neatly, realistic demand.
For making above-mentioned purpose of the present invention, feature and advantage become apparent, preferred embodiment cited below particularly, and coordinate appended accompanying drawing, be described in detail below.
Accompanying drawing explanation
In order to be illustrated more clearly in the technical scheme of the embodiment of the present invention, be briefly described to the accompanying drawing used required in embodiment below, be to be understood that, the following drawings illustrate only some embodiment of the present invention, therefore the restriction to scope should be counted as, for those of ordinary skill in the art, under the prerequisite not paying creative work, other relevant accompanying drawings can also be obtained according to these accompanying drawings.
A kind of knowledge network that Fig. 1 shows the embodiment of the present invention 1 to be provided builds schematic flow sheet;
The another kind of knowledge network that Fig. 2 shows the embodiment of the present invention 1 to be provided builds schematic flow sheet;
The one geometrical issues to be solved that Fig. 3 shows the embodiment of the present invention 1 to be provided solves schematic flow sheet;
Fig. 4 shows a kind of apparatus structure schematic diagram that the embodiment of the present invention 2 provides;
Fig. 5 shows the another kind of apparatus structure schematic diagram that the embodiment of the present invention 2 provides; ;
A kind of conclusion that Fig. 6 shows the embodiment of the present invention 2 to be provided solves and the structural representation of form definition unit;
Fig. 7 shows the another kind of apparatus structure schematic diagram that the embodiment of the present invention 2 provides;
Fig. 8 shows the former figure of the geometrical issues a kind of to be solved that the embodiment of the present invention provides;
The one geometrical issues boost line to be solved that Fig. 9 shows the embodiment of the present invention to be provided adds schematic diagram;
The another kind geometrical issues boost line to be solved that Figure 10 shows the embodiment of the present invention to be provided adds schematic diagram;
The another kind geometrical issues boost line to be solved that Figure 11 shows the embodiment of the present invention to be provided adds schematic diagram;
Figure 12 shows a kind of knowledge network schematic diagram that the embodiment of the present invention provides;
The geometrical issues a kind of to be solved that Figure 13 shows the embodiment of the present invention to be provided adds the schematic diagram after boost line, auxiliary point;
Figure 14 shows the application scenarios schematic diagram of a kind of knowledge network construction device that the embodiment of the present invention 2 provides.
Embodiment
Below in conjunction with accompanying drawing in the embodiment of the present invention, be clearly and completely described the technical scheme in the embodiment of the present invention, obviously, described embodiment is only the present invention's part embodiment, instead of whole embodiments.The assembly of the embodiment of the present invention describing and illustrate in usual accompanying drawing herein can be arranged with various different configuration and design.Therefore, below to the detailed description of the embodiments of the invention provided in the accompanying drawings and the claimed scope of the present invention of not intended to be limiting, but selected embodiment of the present invention is only represented.Based on embodiments of the invention, the every other embodiment that those skilled in the art obtain under the prerequisite not making creative work, all belongs to the scope of protection of the invention.
Embodiment 1
As shown in Figure 1, embodiments provide a kind of knowledge network construction method, be applied to knowledge network construction device, be previously stored with in described device and solve rule database, the described rule that solves solved in rule database comprises the inference rule of plane geometry, axiom, definition and theorem, and the fundamental theorem Sum fanction of algebraically, described method comprises:
Step S100: each conclusion that described knowledge network construction device obtains each known conditions in geometrical issues to be solved and need obtain;
Preferred described knowledge network construction device obtains all known conditions in geometrical issues to be solved, and all conclusions that described geometrical issues to be solved need obtain;
When the known conditions in described geometrical issues to be solved or/and when the conclusion that described geometrical issues to be solved need obtain is multiple, by the multiple described known conditions of acquisition or/and conclusion splits, preferably be split as SVO form, each conclusion obtaining each known conditions in described geometrical issues to be solved and need obtain; Thus the known conditions of natural language description and conclusion are split into simple sentence.
Step S101: according to described known conditions, from described solve rule database call solve rule described geometrical issues to be solved is solved, until obtain all conclusions that described geometrical issues to be solved need obtain, the form of solution path to each described conclusion according to all conclusions that need obtain to described geometrical issues to be solved from described known conditions defines, obtain obtaining that each described conclusion uses respectively solves rule and describedly solve regular title, and the condition of each described conclusion basis respectively.
In the present embodiment, solution path refers to from known conditions, by calling the fundamental theorem Sum fanction etc. of the axiom relevant to geometrical issues to be solved, definition, theorem, consequence rule, algebraically, arrives a paths of conclusion.
Wherein, the fundamental theorem Sum fanction of the axiom of plane geometry, definition and theorem, algebraically can make reference to the text-book in content.According to known conditions, applied by the fundamental theorem Sum fanction of inference rule to above-mentioned axiom, definition and theorem, algebraically, conclusion can be obtained, when implementing, the inference rule of the fundamental theorem Sum fanction based on each axiom of plane geometry, definition and theorem, algebraically can be pre-defined, the acquisition of inference rule can pre-set, such as: according to knowledge known at present, set up the inference rule storehouse of geometric reasoning, define the relevance of fundamental theorem Sum fanction of each axiom of each inference rule and plane geometry, definition and theorem, algebraically; Again such as: applying Internet, carry out the large Data Collection of geometric reasoning, by Data Collection, set up, upgrade inference rule storehouse.
Consider in geometrical issues solution procedure, often can relate to the interpolation of boost line, auxiliary point, in the embodiment of the present invention, preferred described method also comprises:
Add boost line or/and auxiliary point;
According to described known conditions in step S101, from described solve rule database call solve rule described geometrical issues to be solved is solved, comprising:
According to the described boost line of described known conditions and interpolation or/and auxiliary point, from described solve rule database to call solve rule described geometrical issues to be solved solved;
Obtain obtaining that each described conclusion uses respectively solves rule and describedly solve regular title, and each described conclusion respectively the condition of basis and boost line or/and auxiliary point.
According to described known conditions, from described solve rule database call solve rule described geometrical issues to be solved is solved, until the mode obtaining all conclusions that described geometrical issues to be solved need obtain has a lot, as shown in Figure 2, in the present embodiment, realize preferably by with under type:
Step S200: call to the described boost line of described known conditions and interpolation or/and relevant all of auxiliary point solve rule from described solving rule database;
Quick, accurate in order to ensure what solve, the corresponding relation set up each condition, boost line, auxiliary point, conclusion and solve rule can solved in rule database in advance, also can applying Internet, carry out large Data Collection, by Data Collection, set up, upgrade each condition, boost line, auxiliary point, conclusion and solve the corresponding relation of rule.
Step S201: according to the described boost line to described known conditions and interpolation or/and relevant all of auxiliary point solve rule, described known conditions is solved, obtain solving to described known conditions all conclusions drawn, described known conditions will be solved to all conclusions of drawing as the first conclusion collection;
In time implementing, from the described rule that solves called rule database that solves be and known conditions, boost line, auxiliary point, the related rule that solves of conclusion, this kind of association can be set up by existing algorithm, rule, also by large Data Collection summary and induction, because correlation technique is comparatively ripe, thus more do not speak more bright at this.
Step S202: each conclusion described first conclusion concentrated is as known conditions, judge whether to exist and relevant to each conclusion that described first conclusion is concentrated solve rule, if not, then step S203 is performed: concentrate all conclusions of searching described geometrical issues to be solved and need obtain from described first conclusion; If, then perform step S204: call all the solve rules relevant to each conclusion that described first conclusion is concentrated and each conclusion that described first conclusion is concentrated is solved, obtain solving to each conclusion that described first conclusion is concentrated all conclusions drawn, each conclusion concentrated is solved all conclusions of drawing as the second conclusion collection to described first conclusion;
In this step, each conclusion the first conclusion concentrated, as newly-increased known conditions, when each conclusion concentrated the first conclusion solves, is carried out solving in conjunction with known conditions original in geometrical issues to be solved and newly-increased known conditions and is obtained the second conclusion collection.As: using as described in each conclusion of concentrating of the first conclusion as in the known conditions of geometrical issues to be solved as described in newly-increased known conditions is added into, judge whether to exist and relevant to the known conditions of the geometrical issues described to be solved that with the addition of described newly-increased known conditions solve rule.
Step S205: each conclusion described second conclusion concentrated is as known conditions, judge whether to exist and relevant to each conclusion that described second conclusion is concentrated solve rule, if not, then all conclusions of searching described geometrical issues to be solved and need obtain are concentrated from described first conclusion collection and described second conclusion; If, then call all the solve rules relevant to each conclusion that described second conclusion is concentrated to solve each conclusion that described second conclusion is concentrated, obtain solving to each conclusion that described second conclusion is concentrated all conclusions drawn, each conclusion concentrated is solved all conclusions of drawing as the 3rd conclusion collection to described second conclusion;
Similar with acquisition second conclusion collection, the conclusion first, second conclusion concentrated of being solved to of the 3rd conclusion collection is added into solve after in the original known conditions of geometrical issues to be solved as newly-increased known conditions and draws, does not repeat them here.
Each conclusion M conclusion concentrated is as known conditions, judge whether to exist and relevant to each conclusion that described M conclusion is concentrated solve rule, if not, then all conclusions of searching described geometrical issues to be solved and need obtain are concentrated from described first conclusion collection ~ described M conclusion; If, then call all the solve rules relevant to each conclusion that described M conclusion is concentrated to solve each conclusion that described M conclusion is concentrated, obtain solving to each conclusion that described M conclusion is concentrated all conclusions drawn, the each conclusion concentrated described M conclusion is solved all conclusions of drawing as M+1 conclusion collection, M >=3; Until described first conclusion collection ~ the M+1 conclusion concentrates all conclusions comprising described geometrical issues to be solved and need obtain.
The conclusion the first ~ the M conclusion concentrated of being solved to of M+1 conclusion collection is added into solve after in the original known conditions of geometrical issues to be solved as newly-increased known conditions and draws, does not repeat them here.
In order to ensure all conclusions that fast, accurately can obtain geometrical issues to be solved and need obtain, as shown in Figure 3, in the present embodiment, preferably described until described first conclusion collection ~ the M+1 conclusion concentrates all conclusions comprising described geometrical issues to be solved and need obtain, comprising:
Step S300: solve rule database from described, finds and directly can obtain all of all conclusions that described geometrical issues to be solved need obtain and solve rule, solve rule set as conclusion;
In time implementing, respectively ask the acquisition of conclusion all must have foundation, such as: the conclusion that geometrical issues to be solved need obtain for certain geometric figure be parallelogram, so, directly can obtain this geometric figure is that the rule-foundation that solves of parallelogram comprises: solving regular x1: two groups of opposite side quadrilateral parallel is respectively parallelogram (definition criterion); The quadrilateral solving regular x2: one group of opposite side parallel and equal is parallelogram; The quadrilateral solving regular x3: two groups of opposite side equal is respectively parallelogram; Solving regular x4: two groups of diagonal angles quadrilateral equal is respectively parallelogram (two groups of parallel judgements of opposite side); Solve regular x5: the quadrilateral that diagonal line is divided equally is mutually parallelogram.It is (x1 that conclusion solves rule set; X2; X3; X4).
Step S301: concentrate to find from described first conclusion collection ~ the M+1 conclusion and belong to all conclusions that described conclusion solves rule set, obtains according to the described conclusion found all conclusions that described geometrical issues to be solved need obtain.
In the embodiment of the present invention, can use obtain corresponding conclusion known conditions, solve rule etc. conclusion is defined, embody complete knowledge network, in order to improve convenience during enforcement, preferred described method also comprises:
To the described boost line of each known conditions of described geometrical issues to be solved, each conclusion that need obtain, interpolation or/and each conclusion that auxiliary point, the first conclusion collection ~ the M+1 conclusion are concentrated is numbered respectively, each boost line, auxiliary point, known conditions and conclusion are respectively to having unique number;
The form of solution path to each described conclusion of all conclusions that described basis need obtain from described known conditions to described geometrical issues to be solved defines, obtain obtaining that each described conclusion uses respectively solves rule and describedly solve regular title, and the condition of each described conclusion basis respectively, comprising:
The form of each described conclusion is defined as by the solution path according to all conclusions that need obtain to described geometrical issues to be solved from described known conditions: conclusion+conclusion numbering, by solving rule+solve rule name, according to condition+condition number, the boost line of use is or/and auxiliary point+boost line is or/and auxiliary point numbering.
It should be noted that, in the embodiment of the present invention, each conclusion that first conclusion collection ~ the M+1 conclusion is concentrated can be numbered respectively, for each conclusion that N+1 conclusion is concentrated, each conclusion that the original known conditions of geometrical issues to be solved and the first conclusion collection ~ the N conclusion are concentrated is its known conditions 1≤N≤M.
In order to make the scheme in the embodiment of the present invention more clear and definite, in the present embodiment, carry out following illustrating:
If the stem of geometrical issues to be solved is:
As shown in Figure 8, known arbitrary quadrilateral ABCD, some E, F, G, H are the mid point on each limit of AB, BC, CD, DA respectively.Prove: quadrilateral EFGH is parallelogram.Implementation is as follows:
The known conditions of natural language description and conclusion are split into simple sentence---be SVO form, each conclusion obtaining each known conditions in geometrical issues to be solved and need obtain, has the situation of multiple conclusion will split into multiple conclusion as far as possible, so:
Known conditions has
Point E is the mid point of AB;
Point F is the mid point of BC;
Point G is the mid point of CD;
Point H is the mid point of DA.
Conclusion is
Quadrilateral EFGH is parallelogram.
Addible boost line is:
Connect AC, as Fig. 9;
Connect BD, as Figure 10;
Connect AC, connect BD, as Figure 11.
The boost line of all known conditions and interpolation is numbered:
# known conditions #:(1) put the mid point that E is AB; (2) mid point that F is BC is put; (3) mid point that G is CD is put; (4) mid point that H is DA is put;
# boost line/auxiliary point #:(5) connect AC, by rule construct triangle; (6) BD is connected, by rule construct triangle;
The corresponding relation #:[1 of # boost line/auxiliary point and map file] (5), as Fig. 9; [2] (6), as Figure 10; [3] (5), (6), as Figure 11.
From above-mentioned, relevant to the boost line of known conditions and interpolation allly solve rule from solving rule database to call, single step solves and obtains the first conclusion collection; Each conclusion is defined as (conclusion numbering) [conclusion], by rule [rule name], 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 [character of mid point], according to condition [1]
(16) [BF=FC], by rule [character of mid point], according to condition [2]
(17) [GC=GD], by rule [character of mid point], according to condition [3]
(18) [DH=HA], by rule [character of mid point], according to condition [4].
From the conclusion (the two is as the known conditions of the second conclusion collection) that the original known conditions of geometrical issues to be solved and the first conclusion are concentrated, at least comprise the conclusion that first conclusion is concentrated, will call single step and solve regular accessible likely conclusion as the second conclusion collection.
The conclusion that second conclusion is concentrated is listed as follows:
(19) [EF//GH], by rule [parallel lines transmission], according to condition [9; 10]
(20) [EH//FG], by rule [parallel lines transmission], according to condition [7; 8]
(21) [EF=GH], by rule [equivalent transmission], according to condition [13; 14]
(22) [EH=FG], by rule [equivalent transmission], according to condition [11; 12].
From the conclusion (three is as the known conditions of the 3rd conclusion collection) that the original known conditions of geometrical issues to be solved and first, second conclusion are concentrated, at least comprise the conclusion that second conclusion is concentrated, will call single step and solve regular accessible likely conclusion as the 3rd conclusion collection.
The conclusion that 3rd conclusion is concentrated is listed as follows:
(23) [EFGH is parallelogram], by rule [definition of parallelogram], according to condition [19; 20]
(24) [EFGH is parallelogram], by rule [parallelogram judges 2], according to condition [21; 22]
(25) [EFGH is parallelogram], by rule [parallelogram judges 4], according to condition [19; 22]
(26) [EFGH is parallelogram], by rule [parallelogram judges 4], according to condition [20; 22].
Can obtain according to each conclusion after the 3rd conclusion centralized definition the knowledge that each conclusion is applied to, thus the knowledge network of this geometrical issues to be solved as shown in figure 12 can be obtained.
Wherein, relevant to known conditions, the first conclusion collection, the second conclusion collection etc. solves choosing of rule, can be set up, also by large Data Collection summary and induction by existing algorithm, rule, because correlation technique is comparatively ripe, thus more do not speak more bright at this.
In order to make the scheme in the embodiment of the present invention more clear and definite, in the present embodiment, also carry out following illustrating:
If the stem of geometrical issues to be solved is:
Para-curve.
meet at A, B 2 point with x-axis, meet at C point with y-axis, and A (-1,0). (1) ask the coordinate of parabolical analytic expression and summit D; (2) judge the shape of △ ABC, prove your conclusion; (3) putting M (m, 0) is a dynamic point in x-axis, when the value of CM+DM is minimum, asks the value of m.
The known conditions of natural language description and conclusion are split into simple sentence---be SVO form, each conclusion obtaining each known conditions in geometrical issues to be solved and need obtain, has the situation of multiple conclusion will split into multiple conclusion so as far as possible:
Known conditions has
Para-curve.
a, B 2 point is met at x-axis;
Para-curve.
c point is met at y-axis;
A point coordinate (-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 summit D;
Judge the shape of △ ABC, prove conclusion;
Ask the value of m.
Addible boost line and auxiliary point are:
Make some C about the symmetric points C ' of x-axis, connect C ' D, as Figure 13.
The boost line of all known conditions and interpolation, auxiliary point are numbered:
# known conditions #:(1) para-curve
a, B 2 point is met at x-axis; (2) para-curve
c point is met at y-axis; (3) A point coordinate (-1,0); (4) some M (m, 0) is a dynamic point [3] in x-axis; (5) value of CM+DM minimum [3];
# boost line/auxiliary point #:(6) make some C about the symmetric points C ' of x-axis, connect C ' D;
The corresponding relation #:[1 of # boost line/auxiliary point and map file] [6], as Figure 13.
From above-mentioned, relevant to the boost line of known conditions and interpolation, auxiliary point allly solve rule from solving rule database to call, single step solves and obtains conclusion collection; Each conclusion is defined as (conclusion numbering) [conclusion], by rule [rule name], according to condition [condition number].
The conclusion that conclusion is concentrated is listed as follows:
(7) [
], by rule [putting the definition in functional image], according to condition [1; 3]
(8) [
], by rule [solving an equation], according to condition [7]
(9) [
], by rule [equivalent substitution], according to condition [1; 8], littlely to ask [1_1]
(10) [the coefficient of quadratic function
c=-2, the apex coordinate of quadratic function
], by rule [the apex coordinate formula of quadratic function], according to condition [9]
(11) [coordinate of summit D is
], by rule [equivalent substitution], according to condition [10], littlely to ask [1_2]
(12) [C point coordinate (0 ,-2)], by rule [intersection point of para-curve and y-axis], according to condition [2]
(13) [
], by rule [intersection point of para-curve and x-axis], according to condition [1; 9]
(14) [x=-1 or x=4], by rule [solving an equation], according to condition [13]
(15) [B point coordinate (4,0)], by rule [intersection point of para-curve and x-axis], according to condition [3; 14]
(16) [in △ ABC, AB=4-(-1)=5,
], by rule [range formula of point-to-point transmission], according to condition [3; 12; 15]
(17) [AB
2=BC
2+ AC
2, △ ABC is right-angle triangle], by rule [inverse theorem of Pythagorean theorem], according to condition [16], littlely to ask [2]
(18) [coordinate (0,2) of some C '], by rule [coordinates about the symmetric points of x-axis], according to condition [6; 12]
(19) [analytic expression of straight line C ' D is set as y=k*x+b'], by rule [inclined cutout of straight line], according to condition [6]
(20) [b '=2,
], by rule [putting the definition 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) [C ' value of M+DM minimum], by rule [equivalent substitution], according to condition [5]
(24) [some M is on C ' D], by rule [line segment axiom], according to condition [23]
(25) [
], by rule [putting the definition in functional image], according to condition [4; 22; 24]
(26) [
], by rule [solving an equation], according to condition [25], littlely to ask [3]
(27) [
], by rule [the summit formula of quadratic function], according to condition [9]
(28) [coordinate of summit D is
], by rule [apex coordinate of quadratic function], according to condition [27], littlely to ask [1_2]
(29) [two sums
], by rule [Vièta's formulas], according to condition [3; 9]
(30) [x
b=4], by rule [solving an equation], according to condition [29]
(31) [two long-pending
], by rule [Vièta's formulas], according to condition [3; 9]
(32) [x
b=4], by rule [solving an equation], according to condition [31]
(33) [B point coordinate (4,0)], by rule [putting in x-axis], according to condition [1; 32]
(34) [B point coordinate (4,0)], by rule [putting in x-axis], according to condition [1; 30]
(35) [in △ ABC, AB=4-(-1)=5,
], by rule [range formula of point-to-point transmission], according to condition [3; 12; 33]
(36) [AB
2=BC
2+ AC
2, △ ABC is right-angle triangle], by rule [inverse theorem of Pythagorean theorem], according to condition [35], littlely to ask [2]
(37) [in △ ABC, AB=4-(-1)=5,
], by rule [range formula of point-to-point transmission], according to condition [3; 12; 34]
(38) [AB
2=BC
2+ AC
2, △ ABC is right-angle triangle], by rule [inverse theorem of Pythagorean theorem], according to condition [37], littlely to ask [2].
Can obtain according to each conclusion after conclusion centralized definition the knowledge that each conclusion is applied to, thus can obtain the knowledge network of this geometrical issues to be solved, the Figure 12 during corresponding knowledge network and first illustrate is similar, does not do repeat specification at this.
The knowledge network construction method provided in the embodiment of the present invention, the each conclusion can listed each known conditions in geometrical issues to be solved respectively and need obtain, and can define each conclusion obtained according to solution path, what each conclusion of embodiment acquisition used respectively solves rule and solves the title of rule, and the condition of each conclusion basis respectively, the knowledge network framework solving conclusion and adopt can be clearly represented by the conclusion of definition, according to the knowledge network framework that each conclusion adopts respectively, the knowledge network that can complete geometrical issues to be solved builds, make user can be clear, comprehensively, grasp multiple solution path neatly, realistic demand.
Embodiment 2
As shown in Figure 4, embodiments provide a kind of knowledge network construction device, comprise: prestore unit 500, rule database is solved for prestoring, the described rule that solves solved in rule database comprises the inference rule of plane geometry, axiom, definition and theorem, and the fundamental theorem Sum fanction of algebraically; Information obtainment unit 501, for each known conditions obtained in geometrical issues to be solved and each conclusion that need obtain; Conclusion solves and form definition unit 502, for according to described known conditions, from described solve rule database call solve rule described geometrical issues to be solved is solved, until obtain all conclusions that described geometrical issues to be solved need obtain, the form of solution path to each described conclusion according to all conclusions that need obtain to described geometrical issues to be solved from described known conditions defines, obtain obtaining that each described conclusion uses respectively solves rule and describedly solve regular title, and the condition of each described conclusion basis respectively.
As shown in Figure 5, also comprise: boost line or/and auxiliary point adding device 503, for adding boost line or/and auxiliary point, described conclusion solves and form definition unit 502, for according to the described boost line of described known conditions and interpolation or/and auxiliary point, from described solve rule database call solve rule described geometrical issues to be solved is solved, until obtain all conclusions that described geometrical issues to be solved need obtain, the form of solution path to each described conclusion according to all conclusions that need obtain to described geometrical issues to be solved from described known conditions defines, obtain obtaining that each described conclusion uses respectively solves rule and describedly solve regular title, and each described conclusion respectively the condition of basis and boost line or/and auxiliary point.
As shown in Figure 6, wherein, described conclusion solves and form definition unit 502, comprising: solve rule invocation subelement 600, for calling to the described boost line of described known conditions and interpolation or/and relevant all of auxiliary point solve rule from described solving in rule database;
Conclusion solves subelement 601, for according to the described boost line to described known conditions and interpolation or/and relevant all of auxiliary point solve rule, described known conditions is solved, obtain solving to described known conditions all conclusions drawn, described known conditions will be solved to all conclusions of drawing as the first conclusion collection; Judge and solve subelement 602, for using described first conclusion concentrate each conclusion as known conditions, judge whether to exist and relevant to each conclusion that described first conclusion is concentrated solve rule, if not, then all conclusions of searching described geometrical issues to be solved and need obtain are concentrated from described first conclusion; If, then call all the solve rules relevant to each conclusion that described first conclusion is concentrated to solve each conclusion that described first conclusion is concentrated, obtain solving to each conclusion that described first conclusion is concentrated all conclusions drawn, each conclusion concentrated is solved all conclusions of drawing as the second conclusion collection to described first conclusion; The each conclusion described second conclusion concentrated is as known conditions, judge whether to exist and relevant to each conclusion that described second conclusion is concentrated solve rule, if not, then all conclusions of searching described geometrical issues to be solved and need obtain are concentrated from described first conclusion collection and described second conclusion; If, then call all the solve rules relevant to each conclusion that described second conclusion is concentrated to solve each conclusion that described second conclusion is concentrated, obtain solving to each conclusion that described second conclusion is concentrated all conclusions drawn, each conclusion concentrated is solved all conclusions of drawing as the 3rd conclusion collection to described second conclusion; Each conclusion M conclusion concentrated is as known conditions, judge whether to exist and relevant to each conclusion that described M conclusion is concentrated solve rule, if not, then all conclusions of searching described geometrical issues to be solved and need obtain are concentrated from described first conclusion collection ~ described M conclusion; If, then call all the solve rules relevant to each conclusion that described M conclusion is concentrated to solve each conclusion that described M conclusion is concentrated, obtain solving to each conclusion that described M conclusion is concentrated all conclusions drawn, the each conclusion concentrated described M conclusion is solved all conclusions of drawing as M+1 conclusion collection, M >=3; Until described first conclusion collection ~ the M+1 conclusion concentrates all conclusions comprising described geometrical issues to be solved and need obtain.
Described judgement and solve subelement 602, for solving in rule database from described, finding and directly can obtain all of all conclusions that described geometrical issues to be solved need obtain and solve rule, solving rule set as conclusion; Concentrate to find from described first conclusion collection ~ the M+1 conclusion and belong to all conclusions that described conclusion solves rule set, according to all conclusions that the described geometrical issues to be solved of described conclusion acquisition found need obtain.
As shown in Figure 7, also comprise: numbered cell 504, for each known conditions to described geometrical issues to be solved, each conclusion that need obtain, interpolation described boost line or/and auxiliary point, the first conclusion collection ~ the M+1 conclusion concentrate each conclusion be numbered respectively, each boost line, auxiliary point, known conditions and conclusion are respectively to having unique number; Described conclusion solves and form definition unit 502, for the form of each described conclusion being defined as according to the solution path of all conclusions that need obtain to described geometrical issues to be solved from described known conditions: conclusion+conclusion numbering, by solving rule+solve rule name, according to condition+condition number, the boost line of use is or/and auxiliary point+boost line is or/and auxiliary point numbering.
The device that the embodiment of the present invention provides, its technique effect realizing principle and generation is identical with preceding method embodiment, is concise and to the point description, and the not mentioned part of device embodiment part can with reference 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, this device can be applicable in server, host computer etc., server, host computer comprise: processor 400, storer 404, bus 402 and communication interface 403, described processor 400, communication interface 403 are connected by bus 402 with storer 404.
Wherein, storer 404 may comprise high-speed random access memory (RAM:RandomAccessMemory), still may comprise non-labile storer (non-volatilememory), such as at least one magnetic disk memory.Realize the communication connection between this system network element and at least one other network element by least one communication interface 403 (can be wired or wireless), can internet be used, wide area network, local network, Metropolitan Area Network (MAN) etc.
Processor 400 for the executable module in execute store 404, such as computer program 401; Processor 400 is by communication interface 403 receiving data stream;
Bus 402 can be isa bus, pci bus or eisa bus etc.Described bus can be divided into address bus, data bus, control bus etc.For ease of representing, only representing with a four-headed arrow in Figure 14, but not representing the bus only having a bus or a type.
Wherein, storer 404 is for storage program 401, and described processor 400, after receiving execution instruction, performs described program 401, the method performed by device of the procedure definition that aforementioned embodiment of the present invention any embodiment discloses can be applied in processor 400, or is realized by processor 400.
In specific implementation, program 401 can comprise program code, and described program code comprises computer-managed instruction and algorithm etc.;
Processor 400 may be a kind of integrated circuit (IC) chip, has the processing power of signal.In implementation procedure, each step of said method can be completed by the instruction of the integrated logic circuit of the hardware in processor 400 or software form.Above-mentioned processor 400 can be general processor, comprises central processing unit (CentralProcessingUnit is called for short CPU), network processing unit (NetworkProcessor is called for short NP) etc.; Can also be digital signal processor (DSP), special IC (ASIC), ready-made programmable gate array (FPGA) or other programmable logic device (PLD), discrete gate or transistor logic, discrete hardware components.Can realize or perform disclosed each method, step and the logic diagram in the embodiment of the present invention.The processor etc. of general processor can be microprocessor or this processor also can be any routine.Step in conjunction with the method disclosed in the embodiment of the present invention directly can be presented as that hardware decoding processor is complete, or combines complete by the hardware in decoding processor and software module.Software module can be positioned at random access memory, flash memory, ROM (read-only memory), in the storage medium of this area maturations such as programmable read only memory or electrically erasable programmable storer, register.This storage medium is positioned at storer 404, and processor 400 reads the information in storer 404, completes the step of said method in conjunction with its hardware.
The computer program that what the embodiment of the present invention provided carry out in device, comprise the computer-readable recording medium storing program code, the instruction that described program code comprises can be used for performing the method described in previous methods embodiment, specific implementation see embodiment of the method, can not repeat them here.
Those skilled in the art can be well understood to, and for convenience and simplicity of description, the device of foregoing description and the specific works process of unit, with reference to the corresponding process in preceding method embodiment, can not repeat them here.
Unless specifically stated otherwise, otherwise the relative step of the parts of setting forth in these embodiments and step, numerical expression and numerical value do not limit the scope of the invention.
In all examples be illustrated and described herein, any occurrence should be construed as merely exemplary, instead of as restriction, therefore, other examples of exemplary embodiment can have different values.
In several embodiments that the application provides, should be understood that disclosed apparatus and method can realize by another way.Device embodiment described above is only schematic, and such as, the process flow diagram in accompanying drawing and block diagram show device according to multiple embodiment of the present invention, the architectural framework in the cards of method and computer program product, function and operation.In this, each square frame in process flow diagram or block diagram can represent a part for module, program segment or a code, and a part for described module, program segment or code comprises one or more executable instruction for realizing the logic function specified.Also it should be noted that at some as in the realization of replacing, the function marked in square frame also can be different from occurring in sequence of marking in accompanying drawing.Such as, in fact two continuous print square frames can perform substantially concurrently, and they also can perform by contrary order sometimes, and this determines according to involved function.Also it should be noted that, the combination of the square frame in each square frame in block diagram and/or process flow diagram and block diagram and/or process flow diagram, can realize by the special hardware based system of the function put rules into practice or action, or can realize with the combination of specialized hardware and computer instruction.
The described unit illustrated as separating component or can may not be and physically separates, and the parts as unit display can be or may not be physical location, namely can be positioned at a place, or also can be distributed in multiple network element.Some or all of unit wherein can be selected according to the actual needs to realize the object of the present embodiment scheme.
In addition, each functional unit in each embodiment of the present invention can be integrated in a processing unit, also can be that the independent physics of unit exists, also can two or more unit in a unit integrated.
If described function using the form of SFU software functional unit realize and as independently production marketing or use time, can be stored in a computer read/write memory medium.Based on such understanding, the part of the part that technical scheme of the present invention contributes to prior art in essence in other words or this technical scheme can embody with the form of software product, this computer software product is stored in a storage medium, comprising some instructions in order to make a computer equipment (can be personal computer, server, or the network equipment etc.) perform all or part of step of method described in each embodiment of the present invention.And aforesaid storage medium comprises: USB flash disk, portable hard drive, ROM (read-only memory) (ROM, Read-OnlyMemory), random access memory (RAM, RandomAccessMemory), magnetic disc or CD etc. various can be program code stored medium.
The above; be only the specific embodiment of the present invention, but protection scope of the present invention is not limited thereto, is anyly familiar with those skilled in the art in the technical scope that the present invention discloses; change can be expected easily or replace, all should be encompassed within protection scope of the present invention.Therefore, protection scope of the present invention should described be as the criterion with the protection domain of claim.
Claims (10)
1. a knowledge network construction method, it is characterized in that, be applied to knowledge network construction device, be previously stored with in described device and solve rule database, the described rule that solves solved in rule database comprises the inference rule of plane geometry, axiom, definition and theorem, and the fundamental theorem Sum fanction of algebraically, described method comprises:
Each conclusion that described knowledge network construction device obtains each known conditions in geometrical issues to be solved and need obtain;
According to described known conditions, from described solve rule database call solve rule described geometrical issues to be solved is solved, until obtain all conclusions that described geometrical issues to be solved need obtain, the form of solution path to each described conclusion according to all conclusions that need obtain to described geometrical issues to be solved from described known conditions defines, obtain obtaining that each described conclusion uses respectively solves rule and describedly solve regular title, and the condition of each described conclusion basis respectively.
2. knowledge network construction method according to claim 1, is characterized in that, described method also comprises:
Add boost line or/and auxiliary point;
Described according to described known conditions, from described solve rule database call solve rule described geometrical issues to be solved is solved, comprising:
According to the described boost line of described known conditions and interpolation or/and auxiliary point, from described solve rule database to call solve rule described geometrical issues to be solved solved;
Describedly obtain obtaining that each described conclusion uses respectively solves rule and describedly solve regular title, and the condition of each described conclusion basis respectively, comprising:
Obtain obtaining that each described conclusion uses respectively solves rule and describedly solve regular title, and each described conclusion respectively the condition of basis and boost line or/and auxiliary point.
3. knowledge network construction method according to claim 2, it is characterized in that, described according to described known conditions, from described solve rule database call solve rule described geometrical issues to be solved is solved, until obtain all conclusions that described geometrical issues to be solved need obtain, comprising:
Call to the described boost line of described known conditions and interpolation or/and relevant all of auxiliary point solve rule from described solving rule database;
According to the described boost line to described known conditions and interpolation or/and relevant all of auxiliary point solve rule, described known conditions is solved, obtain solving to described known conditions all conclusions drawn, described known conditions will be solved to all conclusions of drawing as the first conclusion collection;
The each conclusion described first conclusion concentrated, as known conditions, judges whether to exist and relevant to each conclusion that described first conclusion is concentrated solves rule, if not, then concentrates all conclusions of searching described geometrical issues to be solved and need obtain from described first conclusion; If, then call all the solve rules relevant to each conclusion that described first conclusion is concentrated to solve each conclusion that described first conclusion is concentrated, obtain solving to each conclusion that described first conclusion is concentrated all conclusions drawn, each conclusion concentrated is solved all conclusions of drawing as the second conclusion collection to described first conclusion;
The each conclusion described second conclusion concentrated is as known conditions, judge whether to exist and relevant to each conclusion that described second conclusion is concentrated solve rule, if not, then all conclusions of searching described geometrical issues to be solved and need obtain are concentrated from described first conclusion collection and described second conclusion; If, then call all the solve rules relevant to each conclusion that described second conclusion is concentrated to solve each conclusion that described second conclusion is concentrated, obtain solving to each conclusion that described second conclusion is concentrated all conclusions drawn, each conclusion concentrated is solved all conclusions of drawing as the 3rd conclusion collection to described second conclusion;
Each conclusion M conclusion concentrated is as known conditions, judge whether to exist and relevant to each conclusion that described M conclusion is concentrated solve rule, if not, then all conclusions of searching described geometrical issues to be solved and need obtain are concentrated from described first conclusion collection ~ described M conclusion; If, then call all the solve rules relevant to each conclusion that described M conclusion is concentrated to solve each conclusion that described M conclusion is concentrated, obtain solving to each conclusion that described M conclusion is concentrated all conclusions drawn, the each conclusion concentrated described M conclusion is solved all conclusions of drawing as M+1 conclusion collection, M >=3;
Until described first conclusion collection ~ the M+1 conclusion concentrates all conclusions comprising described geometrical issues to be solved and need obtain.
4. knowledge network construction method according to claim 3, is characterized in that, described until described first conclusion collection ~ the M+1 conclusion concentrates all conclusions comprising described geometrical issues to be solved and need obtain, and comprising:
Solve rule database from described, find and directly can obtain all of all conclusions that described geometrical issues to be solved need obtain and solve rule, solve rule set as conclusion;
Concentrate to find from described first conclusion collection ~ the M+1 conclusion and belong to all conclusions that described conclusion solves rule set, according to all conclusions that the described geometrical issues to be solved of described conclusion acquisition found need obtain.
5. knowledge network construction method according to claim 4, is characterized in that, described method also comprises:
To the described boost line of each known conditions of described geometrical issues to be solved, each conclusion that need obtain, interpolation or/and each conclusion that auxiliary point, the first conclusion collection ~ the M+1 conclusion are concentrated is numbered respectively, each boost line, auxiliary point, known conditions and conclusion are respectively to having unique number;
The form of solution path to each described conclusion of all conclusions that described basis need obtain from described known conditions to described geometrical issues to be solved defines, obtain obtaining that each described conclusion uses respectively solves rule and describedly solve regular title, and the condition of each described conclusion basis respectively, comprising:
The form of each described conclusion is defined as by the solution path according to all conclusions that need obtain to described geometrical issues to be solved from described known conditions: conclusion+conclusion numbering, by solving rule+solve rule name, according to condition+condition number, the boost line of use is or/and auxiliary point+boost line is or/and auxiliary point numbering.
6. a knowledge network construction device, is characterized in that, comprising:
Prestore unit, solves rule database for prestoring, described in the rule that solves solved in rule database comprise the inference rule of plane geometry, axiom, definition and theorem, and the fundamental theorem Sum fanction of algebraically;
Information obtainment unit, for each known conditions obtained in geometrical issues to be solved and each conclusion that need obtain;
Conclusion solves and form definition unit, for according to described known conditions, from described solve rule database call solve rule described geometrical issues to be solved is solved, until obtain all conclusions that described geometrical issues to be solved need obtain, the form of solution path to each described conclusion according to all conclusions that need obtain to described geometrical issues to be solved from described known conditions defines, obtain obtaining that each described conclusion uses respectively solves rule and describedly solve regular title, and the condition of each described conclusion basis respectively.
7. knowledge network construction device according to claim 6, is characterized in that, also comprise:
Boost line or/and auxiliary point adding device, for adding boost line or/and auxiliary point;
Described conclusion solves and form definition unit, for according to the described boost line of described known conditions and interpolation or/and auxiliary point, from described solve rule database call solve rule described geometrical issues to be solved is solved, until obtain all conclusions that described geometrical issues to be solved need obtain, the form of solution path to each described conclusion according to all conclusions that need obtain to described geometrical issues to be solved from described known conditions defines, obtain obtaining that each described conclusion uses respectively solves rule and describedly solve regular title, and each described conclusion respectively the condition of basis and boost line or/and auxiliary point.
8. knowledge network construction device according to claim 7, is characterized in that, described conclusion solves and form definition unit, comprising:
Solve rule invocation subelement, for calling to the described boost line of described known conditions and interpolation or/and relevant all of auxiliary point solve rule from described solving in rule database;
Conclusion solves subelement, for according to the described boost line to described known conditions and interpolation or/and relevant all of auxiliary point solve rule, described known conditions is solved, obtain solving to described known conditions all conclusions drawn, described known conditions will be solved to all conclusions of drawing as the first conclusion collection;
Judge and solve subelement, for using described first conclusion concentrate each conclusion as known conditions, judge whether to exist and relevant to each conclusion that described first conclusion is concentrated solve rule, if not, then all conclusions of searching described geometrical issues to be solved and need obtain are concentrated from described first conclusion; If, then call all the solve rules relevant to each conclusion that described first conclusion is concentrated to solve each conclusion that described first conclusion is concentrated, obtain solving to each conclusion that described first conclusion is concentrated all conclusions drawn, each conclusion concentrated is solved all conclusions of drawing as the second conclusion collection to described first conclusion;
The each conclusion described second conclusion concentrated is as known conditions, judge whether to exist and relevant to each conclusion that described second conclusion is concentrated solve rule, if not, then all conclusions of searching described geometrical issues to be solved and need obtain are concentrated from described first conclusion collection and described second conclusion; If, then call all the solve rules relevant to each conclusion that described second conclusion is concentrated to solve each conclusion that described second conclusion is concentrated, obtain solving to each conclusion that described second conclusion is concentrated all conclusions drawn, each conclusion concentrated is solved all conclusions of drawing as the 3rd conclusion collection to described second conclusion;
Each conclusion M conclusion concentrated is as known conditions, judge whether to exist and relevant to each conclusion that described M conclusion is concentrated solve rule, if not, then all conclusions of searching described geometrical issues to be solved and need obtain are concentrated from described first conclusion collection ~ described M conclusion; If, then call all the solve rules relevant to each conclusion that described M conclusion is concentrated to solve each conclusion that described M conclusion is concentrated, obtain solving to each conclusion that described M conclusion is concentrated all conclusions drawn, the each conclusion concentrated described M conclusion is solved all conclusions of drawing as M+1 conclusion collection, M >=3; Until described first conclusion collection ~ the M+1 conclusion concentrates all conclusions comprising described geometrical issues to be solved and need obtain.
9. knowledge network construction device according to claim 8, it is characterized in that, described judgement and solve subelement, for solving in rule database from described, find and directly can obtain all of all conclusions that described geometrical issues to be solved need obtain and solve rule, solve rule set as conclusion; Concentrate to find from described first conclusion collection ~ the M+1 conclusion and belong to all conclusions that described conclusion solves rule set, according to all conclusions that the described geometrical issues to be solved of described conclusion acquisition found need obtain.
10. knowledge network construction device according to claim 9, is characterized in that, also comprise:
Numbered cell, for each known conditions to described geometrical issues to be solved, each conclusion that need obtain, interpolation described boost line or/and auxiliary point, the first conclusion collection ~ the M+1 conclusion concentrate each conclusion be numbered respectively, each boost line, auxiliary point, known conditions and conclusion are respectively to having unique number;
Described conclusion solves and form definition unit, for the form of each described conclusion being defined as according to the solution path of all conclusions that need obtain to described geometrical issues to be solved from described known conditions: conclusion+conclusion numbering, by solving rule+solve rule name, according to condition+condition number, the boost line of use is or/and auxiliary point+boost line is or/and auxiliary point numbering.
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 true CN105184372A (en) | 2015-12-23 |
| CN105184372B 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) |
Cited By (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN106960064A (en) * | 2017-05-05 | 2017-07-18 | 电子科技大学 | A kind of geometry boost line adding method based on self study |
| 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 |
|---|
| XIUQIN ZHONG ETAL.: "Interactive Learning Enviroment Based on Knowledge Network of Geometry Problems", 《COMPUTER SCIENCE & EDUCATION (ICCSE), 2015 10TH INTERNATIONAL CONFERENCE ON》 * |
| 吴文渊 等: "基于Ontology的平面几何知识库设计", 《计算机应用》 * |
| 钟秀琴 等: "基于本体的几何学知识获取及知识表示", 《计算机学报》 * |
Cited By (4)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN106960064A (en) * | 2017-05-05 | 2017-07-18 | 电子科技大学 | A kind of geometry boost line adding method based on self study |
| 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 |
Also Published As
| Publication number | Publication date |
|---|---|
| CN105184372B (en) | 2018-11-02 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| EP3885963A1 (en) | Method and apparatus for determining causality, electronic device and storage medium | |
| US9177096B2 (en) | Timing closure using transistor sizing in standard cells | |
| CN112749300B (en) | Method, apparatus, device, storage medium and program product for video classification | |
| CN105224708A (en) | The determination method and apparatus at networking in integrated circuit | |
| CN113011155B (en) | Method, apparatus, device and storage medium for text matching | |
| CN105184372A (en) | Knowledge network construction method and apparatus | |
| US9959381B2 (en) | Placing and routing debugging logic | |
| CN114416310A (en) | Multiprocessor load balancing method, computing device and storage medium | |
| US20220128372A1 (en) | Method for path planning, electronic device and storage medium | |
| CN114363167B (en) | Network segment information processing method and device, electronic equipment and storage medium | |
| CN108228557B (en) | Sequence labeling method and device | |
| CN105302875A (en) | Interactive problem solving method, server and system | |
| CN106802958A (en) | Conversion method and system of the CAD data to GIS data | |
| CN111368860A (en) | Relocation method and terminal equipment | |
| US20140310248A1 (en) | Verification support program, verification support apparatus, and verification support method | |
| CN106651408B (en) | Data analysis method and device | |
| TWI777319B (en) | Method and device for determining stem cell density, computer device and storage medium | |
| CN113761381B (en) | Method, device, equipment and storage medium for recommending interest points | |
| CN109783134B (en) | Front-end page configuration method and device and electronic equipment | |
| CN105183699A (en) | Multipath solving method and device | |
| JP2017207843A (en) | Metadata registration method, metadata registration program and metadata registration device | |
| CN114117063A (en) | Entity alignment method, device, electronic equipment and computer readable storage medium | |
| CN109840609B (en) | Goods picking point data verification method and device, storage medium and electronic equipment | |
| CN107688613B (en) | Data packet processing rule optimization method and computing device | |
| CN111027196A (en) | Simulation analysis task processing method and device for power equipment and storage medium |
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 |