CN105302875A - Interactive problem solving method, server and system - Google Patents
Interactive problem solving method, server and system Download PDFInfo
- Publication number
- CN105302875A CN105302875A CN201510648990.4A CN201510648990A CN105302875A CN 105302875 A CN105302875 A CN 105302875A CN 201510648990 A CN201510648990 A CN 201510648990A CN 105302875 A CN105302875 A CN 105302875A
- Authority
- CN
- China
- Prior art keywords
- known conditions
- rule
- described user
- conclusion
- geometrical issues
- 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.)
- Pending
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F16/00—Information retrieval; Database structures therefor; File system structures therefor
- G06F16/30—Information retrieval; Database structures therefor; File system structures therefor of unstructured textual data
- G06F16/33—Querying
- G06F16/338—Presentation of query results
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F16/00—Information retrieval; Database structures therefor; File system structures therefor
- G06F16/30—Information retrieval; Database structures therefor; File system structures therefor of unstructured textual data
- G06F16/33—Querying
- G06F16/3331—Query processing
- G06F16/3332—Query translation
- G06F16/3334—Selection or weighting of terms from queries, including natural language queries
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Computational Linguistics (AREA)
- Data Mining & Analysis (AREA)
- Databases & Information Systems (AREA)
- Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Artificial Intelligence (AREA)
- Management, Administration, Business Operations System, And Electronic Commerce (AREA)
Abstract
Embodiments of the invention provide an interactive problem solving method, a server and a system, so that the problem that the convenience needs to be improved due to the fact that a user needs to answer questions by handwriting in the prior art is improved. The interactive problem solving method comprises: obtaining a to-be-solved geometric problem selected by a user; sending each known condition of the to-be-solved geometric problem, all solving rules related with the known conditions, and all conclusions capable of being directly obtained by performing one-step reasoning on each known condition to a user terminal; obtaining the known conditions, the solving rules and the conclusions selected by the user and sent by the user terminal; judging whether the conclusions selected by the user can be directly obtained or not according to the known conditions and the solving rules selected by the user, and if so, adding the selected conclusions as newly added known conditions into the known conditions of the to-be-solved geometric problem. With the interactive problem solving method, the user can perform intelligent click-type question answer on a platform, so that the method is convenient to use and good in interactive experience, meets actual demands, and is easy to popularize and apply.
Description
Technical field
The present invention relates to geometry field, in particular to the interactive problem solving method of one and server and system.
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.Inventor finds after deliberation, and in prior art, user is mainly by hand-written answer, and very inconvenient, Interactive Experience has much room for improvement.
Summary of the invention
In view of this, the object of the embodiment of the present invention is to provide an interactive problem solving method and server and system, to improve mainly by hand-written answer in prior art, very inconvenient, the problem that Interactive Experience has much room for improvement.
To achieve these goals, the technical scheme of embodiment of the present invention employing is as follows:
First aspect, embodiments provide an interactive problem solving method, be applied to interactive problem solving system, described system comprises server and user terminal, be previously stored with geometrical issues storehouse to be solved in described server 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, and described method comprises:
The geometrical issues to be solved that the user that described server obtains the transmission of described user terminal selects in described geometrical issues storehouse to be solved;
By each known conditions of described geometrical issues to be solved, relevant to described known conditions allly solve rule, and all conclusions that one-step inference can directly obtain are carried out to each described known conditions be sent to described user terminal according to solving rule;
Obtain the known conditions of described user's selection that described user terminal sends, solve rule and conclusion;
Judge the known conditions selected according to described user and solve rule, whether directly can obtain the conclusion that described user selects, if so, then the conclusion described user selected is added in the known conditions of described geometrical issues to be solved as newly-increased known conditions.
In conjunction with first aspect, embodiments provide the first possible embodiment of first aspect, wherein, described method also comprises:
By comprise the geometrical issues described to be solved of described newly-increased known conditions each known conditions, relevant to each known conditions of the geometrical issues described to be solved comprising described newly-increased known conditions allly solve rule, and all conclusions that one-step inference can directly obtain carried out to the described known conditions comprising the geometrical issues described to be solved of described newly-increased known conditions be sent to described user terminal according to solving rule;
Again obtain the known conditions of described user's selection that described user terminal sends, solve rule and conclusion, known conditions that described user this time selects comprises newly-increased known conditions described at least one;
Judge the known conditions that the described user that basis obtains again selects and solve rule, the conclusion that the described user that whether can directly again be obtained selects, if so, then the described conclusion that the described user again obtained selects is added in the known conditions of described geometrical issues to be solved as newly-increased known conditions;
Until the described user sent according to described user terminal select known conditions, solve rule and conclusion directly can draw the conclusion drawn needed for described geometrical issues to be solved.
In conjunction with first aspect, embodiments provide the embodiment that the second of first aspect is possible, wherein, the auxiliary point and/or boost line that can select to add also is previously stored with in described geometrical issues to be solved in described server, and distinguish corresponding figure after adding each described auxiliary point and/or boost line, described method also comprises:
The stem of the geometrical issues described to be solved that described user is selected in described geometrical issues storehouse to be solved and former figure, and the auxiliary point of interpolation and/or boost line in described geometrical issues to be solved, can be selected to be sent to described user terminal;
Described method also comprises:
The user obtaining the transmission of described user terminal selects auxiliary point and/or the boost line of interpolation;
Figure after the described user of interpolation is selected the described auxiliary point of interpolation and/or boost line is sent to described user terminal;
Described by each known conditions of described geometrical issues to be solved, relevant to described known conditions allly solve rule, and all conclusions that one-step inference can directly obtain are carried out to each described known conditions be sent to described user terminal according to solving rule, comprising:
By each known conditions of described geometrical issues to be solved, to the described boost line of described known conditions and interpolation or/and relevant all of auxiliary point solve rule, and according to solving rule to the described boost line of each described known conditions and interpolation or/and auxiliary point carries out all conclusions that one-step inference can directly obtain be sent to described user terminal.
In conjunction with first aspect, embodiments provide the third possible embodiment of first aspect, wherein, whether the known conditions that described judgement is selected according to described user and solve rule, directly can obtain the conclusion that described user selects, also comprise:
If not, then again by each known conditions of described geometrical issues to be solved, relevant to described known conditions allly solve rule, and all conclusions that one-step inference can directly obtain carried out to each described known conditions be sent to described user terminal according to the described rule that solves.
Second aspect, embodiments provide a kind of interactive problem solving server, be applied to interactive problem solving system, described system comprises user terminal and described server, and described server comprises:
Prestore unit, for prestoring geometrical issues storehouse to be solved and solve rule database, 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;
The first information obtains unit, the geometrical issues to be solved that the user sent for obtaining described user terminal selects in described geometrical issues storehouse to be solved;
First information transmitting element, for by each known conditions of described geometrical issues to be solved, relevant to described known conditions allly solve rule, and all conclusions that one-step inference can directly obtain carried out to each described known conditions be sent to described user terminal according to solving rule;
Second information obtainment unit, the known conditions that the described user sent selects, solves rule and conclusion for obtaining described user terminal;
First judging unit, for judging the known conditions selected according to described user and solving rule, whether directly can obtain the conclusion that described user selects, if so, then the conclusion described user selected is added in the known conditions of described geometrical issues to be solved as newly-increased known conditions.
In conjunction with second aspect, embodiments provide the first possible embodiment of second aspect, wherein, also comprise:
Second information transmitting unit, for the geometrical issues described to be solved by comprising described newly-increased known conditions each known conditions, relevant to each known conditions of the geometrical issues described to be solved comprising described newly-increased known conditions allly solve rule, and all conclusions that one-step inference can directly obtain carried out to the described known conditions comprising the geometrical issues described to be solved of described newly-increased known conditions be sent to described user terminal according to solving rule;
3rd information obtainment unit, the known conditions that the described user sent selects, solves rule and conclusion for again obtaining described user terminal, and known conditions that described user this time selects comprises newly-increased known conditions described at least one;
Second judging unit, for judging the known conditions that the described user that basis obtains again selects and solving rule, the conclusion that the described user that whether can directly again be obtained selects, if so, then the described conclusion that the described user again obtained selects is added in the known conditions of described geometrical issues to be solved as newly-increased known conditions;
Until the described user sent according to described user terminal select known conditions, solve rule and conclusion directly can draw the conclusion drawn needed for described geometrical issues to be solved.
In conjunction with second aspect, embodiments provide the embodiment that the second of second aspect is possible, wherein, the described unit that prestores, also for prestoring in described geometrical issues to be solved the auxiliary point and/or boost line that can select to add, and figure corresponding respectively after adding each described auxiliary point and/or boost line;
Described server also comprises:
3rd information transmitting unit, for the stem of geometrical issues described to be solved described user selected in described geometrical issues storehouse to be solved and former figure, and the auxiliary point that adds and/or boost line in described geometrical issues to be solved, can be selected to be sent to described user terminal;
Described server also comprises:
4th information obtainment unit, the user sent for obtaining described user terminal selects auxiliary point and/or the boost line of interpolation;
4th information transmitting unit, is sent to described user terminal for the figure after the described user of interpolation is selected the described auxiliary point of interpolation and/or boost line;
Described first information transmitting element, for by each known conditions of described geometrical issues to be solved, to the described boost line of described known conditions and interpolation or/and relevant all of auxiliary point solve rule, and according to solving rule to the described boost line of each described known conditions and interpolation or/and auxiliary point carries out all conclusions that one-step inference can directly obtain be sent to described user terminal.
In conjunction with second aspect, embodiments provide the third possible embodiment of second aspect, wherein, described first judging unit, also for judging the known conditions selected according to described user and solving rule, whether directly can obtain the conclusion that described user selects, if not, then again by each known conditions of described geometrical issues to be solved, relevant to described known conditions allly solve rule, and all conclusions that one-step inference can directly obtain carried out to each described known conditions be sent to described user terminal according to the described rule that solves.
The third aspect, embodiments provide a kind of interactive problem solving system, comprise server and user terminal, be previously stored with geometrical issues storehouse to be solved in described server 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 user terminal, for obtain and show described server send information, obtain the content that user selects in the information of display, the content that user selects is sent to described server, the content that described user selects comprises geometrical issues to be solved, known conditions, solves rule and conclusion;
Described server, the geometrical issues to be solved that the user sent for obtaining described user terminal selects in described geometrical issues storehouse to be solved; By each known conditions of described geometrical issues to be solved, relevant to described known conditions allly solve rule, and all conclusions that one-step inference can directly obtain are carried out to each described known conditions be sent to described user terminal according to solving rule; Obtain the known conditions of described user's selection that described user terminal sends, solve rule and conclusion; Judge the known conditions selected according to described user and solve rule, whether directly can obtain the conclusion that described user selects, if so, then the conclusion described user selected is added in the known conditions of described geometrical issues to be solved as newly-increased known conditions.
In conjunction with the third aspect, embodiments provide the first possible embodiment of the third aspect, wherein, described server also for, by comprise the geometrical issues described to be solved of described newly-increased known conditions each known conditions, relevant to each known conditions of the geometrical issues described to be solved comprising described newly-increased known conditions allly solve rule, and all conclusions that one-step inference can directly obtain carried out to the described known conditions comprising the geometrical issues described to be solved of described newly-increased known conditions be sent to described user terminal according to solving rule; Again obtain the known conditions of described user's selection that described user terminal sends, solve rule and conclusion, known conditions that described user this time selects comprises newly-increased known conditions described at least one; Judge the known conditions that the described user that basis obtains again selects and solve rule, the conclusion that the described user that whether can directly again be obtained selects, if so, then the described conclusion that the described user again obtained selects is added in the known conditions of described geometrical issues to be solved as newly-increased known conditions; Until the described user sent according to described user terminal select known conditions, solve rule and conclusion directly can draw the conclusion drawn needed for described geometrical issues to be solved.
The interactive problem solving method provided in the embodiment of the present invention and server and system, breach in prior art mainly through the hand-written thinking limitation completing geometrical issues answer, by the ingehious design to interactive system, achieve a multiple choice innovatively, geometrical issues database to be solved, the optional known conditions of each geometrical issues to be solved, optional rule, the optional conclusion etc. of solving can be sent to user terminal and show by server, by user at user terminal point multiple choice, easy to operate, Interactive Experience is good, and efficiency is high.
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.
Fig. 1 shows the interactive problem solving schematic flow sheet of one that the embodiment of the present invention 1 provides;
Fig. 2 shows the interactive problem solving schematic flow sheet of one that the embodiment of the present invention 1 provides;
Fig. 3 shows a kind of boost line that the embodiment of the present invention 1 provides or/and auxiliary point adding method schematic diagram;
Fig. 4 shows the former figure of one geometrical issues to be solved that the embodiment of the present invention 1 provides;
The one geometrical issues boost line to be solved that Fig. 5 shows the embodiment of the present invention 1 to be provided adds schematic diagram;
The another kind geometrical issues boost line to be solved that Fig. 6 shows the embodiment of the present invention 1 to be provided adds schematic diagram;
The another kind geometrical issues boost line to be solved that Fig. 7 shows the embodiment of the present invention 1 to be provided adds schematic diagram;
Fig. 8 shows the one interactive problem solving interface schematic diagram that the embodiment of the present invention 1 provides;
Fig. 9 shows the one interactive problem solving interface schematic diagram that the embodiment of the present invention 1 provides;
Figure 10 shows the one interactive problem solving interface schematic diagram that the embodiment of the present invention 1 provides;
Figure 11 shows the one interactive problem solving interface schematic diagram that the embodiment of the present invention 1 provides;
Figure 12 shows the structured flowchart of a kind of interactive problem solving server that the embodiment of the present invention 2 provides;
Figure 13 shows the structured flowchart of a kind of interactive problem solving server that the embodiment of the present invention 2 provides;
Figure 14 shows the structured flowchart of a kind of interactive problem solving server that the embodiment of the present invention 2 provides;
Figure 15 shows the system chart of a kind of interactive problem solving system that the embodiment of the present invention 3 provides;
Figure 16 shows the interactive problem solving knowledge network diagram of one that the embodiment of the present invention provides;
Figure 17 shows the another kind interactive problem solving server schematic diagram 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 interactive problem solving method, be applied to interactive problem solving system, described system comprises server and user terminal, be previously stored with geometrical issues storehouse to be solved in described server 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, and described method comprises:
Step S100: the geometrical issues to be solved that the user that described server obtains the transmission of described user terminal selects in described geometrical issues storehouse to be solved;
Preferred, users selects geometrical issues to be solved by a some selection operation on the subscriber terminal, and wherein, the geometrical issues to be solved that user clicks is comprise the problem in the geometrical issues storehouse to be solved that prestores in the server.When implementing, user obtains the problem in geometrical issues storehouse to be solved by user terminal, and the problem solved needed for being obtained by keyword search etc. is also selected; User also can input geometrical issues to be solved voluntarily.
Step S101: by each known conditions of described geometrical issues to be solved, relevant to described known conditions allly solve rule, and all conclusions that one-step inference can directly obtain are carried out to each described known conditions be sent to described user terminal according to solving rule;
During enforcement, by server intelligently by all known conditions, relevant to known conditions solve rule, the conclusion drawn is solved to known conditions single step be sent to user terminal, make user without the need to hand-written answer, by clicking known conditions, solve rule, conclusion can complete single step and solve.Wherein, relevant to the known conditions rule that solves comprises: what can solve the combination of single known conditions or multiple known conditions solves rule.
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.
Step S102: obtain the known conditions of described user's selection that described user terminal sends, solve rule and conclusion;
Step S103: judge the known conditions selected according to described user and solve rule, whether directly can obtain the conclusion that described user selects, if so, then step S104 is performed: the conclusion described user selected is added in the known conditions of described geometrical issues to be solved as newly-increased known conditions.
It should be noted that, judge the known conditions selected according to described user and solve rule, whether directly can obtain the conclusion that described user selects, that known conditions, the logical relation solved between rule, conclusion that user selects are judged, user's multiselect, select known conditions less, solve rule, conclusion time can directly be pointed out, also can point out according to the request of user.
Draw the known conditions selected according to described user if judge and solve the conclusion that rule directly cannot obtain described user selection, then perform step S105: again by each known conditions of described geometrical issues to be solved, relevant to described known conditions allly solve rule, and all conclusions that one-step inference can directly obtain are carried out to each described known conditions be sent to described user terminal according to the described rule that solves, prompting user reselects, until the known conditions reselected according to user and solve rule, the conclusion that described user selects directly can be obtained.
It should be noted that, the conclusion now obtained may be middle junction opinion, but not the final conclusion obtained needed for geometrical issues to be solved, complete geometrical issues to be solved when the final conclusion that the conclusion now obtained obtains needed for geometrical issues to be solved and solve; When the final conclusion obtained needed for the non-geometrical issues to be solved of the conclusion now obtained, as shown in Figure 2, then also need to perform following steps:
Step S200: by comprise the geometrical issues described to be solved of described newly-increased known conditions each known conditions, relevant to each known conditions of the geometrical issues described to be solved comprising described newly-increased known conditions allly solve rule, and all conclusions that one-step inference can directly obtain carried out to the described known conditions comprising the geometrical issues described to be solved of described newly-increased known conditions be sent to described user terminal according to solving rule;
Step S201: again obtain the known conditions of described user's selection that described user terminal sends, solve rule and conclusion, known conditions that described user this time selects comprises newly-increased known conditions described at least one;
Step S202: judge the known conditions that the described user that basis obtains again selects and solve rule, the conclusion that the described user that whether can directly again be obtained selects, if so, then step S203 is performed: be added in the known conditions of described geometrical issues to be solved using the described conclusion that the described user again obtained selects as newly-increased known conditions; If not, then perform step S204: again by each known conditions of described geometrical issues to be solved, relevant to described known conditions allly solve rule, and all conclusions that one-step inference can directly obtain are carried out to each described known conditions be sent to described user terminal according to the described rule that solves, prompting user reselects.
Until the described user sent according to described user terminal select known conditions, solve rule and conclusion directly can draw the conclusion drawn needed for described geometrical issues to be solved.
In above-mentioned, each conclusion obtained first time, as newly-increased known conditions, when obtaining second time conclusion, can solve in conjunction with known conditions original in geometrical issues to be solved and newly-increased known conditions (each conclusion that first time obtains).
Consider in geometrical issues solution procedure, often can relate to the interpolation of boost line, auxiliary point, in the embodiment of the present invention, the auxiliary point and/or boost line that can select to add also is previously stored with in described geometrical issues to be solved in preferred described server, and distinguish corresponding figure after adding each described auxiliary point and/or boost line, as shown in Figure 3, described method also comprises:
The stem of the geometrical issues described to be solved that described user is selected in described geometrical issues storehouse to be solved and former figure, and the auxiliary point of interpolation and/or boost line in described geometrical issues to be solved, can be selected to be sent to described user terminal;
Described method also comprises:
Step S300: the user obtaining the transmission of described user terminal selects auxiliary point and/or the boost line of interpolation;
Step S301: the figure after the described user of interpolation is selected the described auxiliary point of interpolation and/or boost line is sent to described user terminal;
Described by each known conditions of described geometrical issues to be solved, relevant to described known conditions allly solve rule, and all conclusions that one-step inference can directly obtain are carried out to each described known conditions be sent to described user terminal according to solving rule, comprising:
By each known conditions of described geometrical issues to be solved, to the described boost line of described known conditions and interpolation or/and relevant all of auxiliary point solve rule, and according to solving rule to the described boost line of each described known conditions and interpolation or/and auxiliary point carries out all conclusions that one-step inference can directly obtain be sent to described user terminal.
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.
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.
In order to make the scheme in the embodiment of the present invention more clear and definite, the implementation of the present embodiment comprises the following steps:
By stem, the former figure of geometrical issues to be solved that user selects, and the auxiliary point that adds and/or boost line can be selected in geometrical issues to be solved to be sent to user terminal show;
Obtain boost line that user selects or/and auxiliary point, boost line that user selects will be added or/and figure after auxiliary point is sent to user terminal and shows on former figure;
By each known conditions of geometrical issues to be solved, to the boost line of known conditions and interpolation or/and relevant all of auxiliary point solve rule, and according to solving rule to the boost line of each known conditions and interpolation or/and auxiliary point carries out all conclusions that one-step inference can directly obtain is sent to described user terminal and shows; Option preferably in this step and the stem in previous step, on former figure, add boost line that user selects or/and the figure after auxiliary point shows on the subscriber terminal side by side.
User clicks known conditions by multiselect frame etc. on the subscriber terminal, solves rule, conclusion;
Judge according to user select known conditions and solve rule, whether directly can obtain the conclusion that user selects, if, then the conclusion that user selects is added in the known conditions of geometrical issues to be solved as newly-increased known conditions, will from the original known conditions of geometrical issues to be solved, user selects the conclusion obtained as ground floor; If not, then again by each known conditions of geometrical issues to be solved, relevant to known conditions allly solve rule, and all conclusions that one-step inference can directly obtain are carried out to each known conditions be sent to user terminal according to solving rule, prompting user reselects.
The all conclusions obtained needed for geometrical issues to be solved if cannot obtain according to ground floor conclusion, then also need to solve further, from the original known conditions of geometrical issues to be solved and ground floor conclusion (at least comprising a conclusion in ground floor conclusion), calling and relevant solve rule and solve, obtain second layer conclusion, by that analogy, until obtain to be solved final in conjunction with problem needed for all conclusions of obtaining.
In the present embodiment, preferred Interactive Solving carries out based on the knowledge network as shown in figure 16 built, select interface can be: [conclusion radio list] by rule [regular radio list] according to condition [list of condition multiselect].
If the stem of the geometrical issues to be solved that user selects is:
As shown in Figure 4, 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 list of condition multiselect comprises
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.
Addible boost line comprises
Connect AC, as Fig. 5; Connect BD, as Fig. 6; Connect AC, connect BD, as Fig. 7.
Relevant solve rule and comprise
Triangle neutrality line theorem; The character of mid point.
Conclusion radio list comprises
【EH//BD】；【FG//BD】；【EF//AC】；【GH//AC】；【EH＝1/2*BD】；【FG＝1/2*BD】；【EF＝1/2*AC】；【GH＝1/2*AC】；【AE＝BE】；【BF＝FC】；【GC＝GD】；【DH＝HA】。As shown in Figure 8, Figure 9.
When implementing, what can specify that user can only select a conclusion and correspondence at every turn solves rule, condition, and what also can specify that user can select multiple conclusion and correspondence at every turn solves rule, condition, until obtain above-mentioned all conclusions as the first conclusion collection.
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, single step will be called and solve the accessible all conclusions of rule as the second conclusion collection.
The condition multiselect list of the second conclusion collection comprises
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; [EH//BD]; [FG//BD]; [EF//AC]; [GH//AC]; [EH=1/2*BD]; [FG=1/2*BD]; [EF=1/2*AC]; [GH=1/2*AC]; [AE=BE]; [BF=FC]; [GC=GD]; [DH=HA].
Relevant solve rule and comprise
Parallel lines transmit; Equivalent is transmitted.
Conclusion radio list comprises
【EF//GH】；【EH//FG】；【EF＝GH】；【EH＝FG】。As shown in Figure 10, Figure 11.
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.
When implementing, what can specify that user can only select a conclusion and correspondence at every turn solves rule, condition, and what also can specify that user can select multiple conclusion and correspondence at every turn solves rule, condition, until obtain above-mentioned all conclusions as the 3rd conclusion collection.
The condition multiselect list of the 3rd conclusion collection comprises
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; [EH//BD]; [FG//BD]; [EF//AC]; [GH//AC]; [EH=1/2*BD]; [FG=1/2*BD]; [EF=1/2*AC]; [GH=1/2*AC]; [AE=BE]; [BF=FC]; [GC=GD]; [DH=HA]; [EF//GH]; [EH//FG]; [EF=GH]; [EH=FG].
Relevant solve rule and comprise
The definition of parallelogram; Parallelogram judges 2; Parallelogram judges 4.
Conclusion radio list comprises
EFGH is parallelogram.
The knowledge that each conclusion is applied to can be obtained according to each conclusion after the 3rd conclusion centralized definition.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.
The interactive problem solving method provided in the embodiment of the present invention, breach in prior art mainly through the hand-written thinking limitation completing geometrical issues answer, by the ingehious design to interactive system, achieve a multiple choice innovatively, geometrical issues database to be solved, the optional known conditions of each geometrical issues to be solved, optional rule, the optional conclusion etc. of solving can be sent to user terminal and show by server, by user at user terminal point multiple choice, easy to operate, Interactive Experience is good, and efficiency is high.
Embodiment 2
Embodiments provide a kind of interactive problem solving server, be applied to interactive problem solving system, described system comprises user terminal and described server, as shown in figure 12, described server comprises: prestore unit 500, for prestoring geometrical issues storehouse to be solved and solve rule database, 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; The first information obtains unit 501, the geometrical issues to be solved that the user sent for obtaining described user terminal selects in described geometrical issues storehouse to be solved; First information transmitting element 502, for by each known conditions of described geometrical issues to be solved, relevant to described known conditions allly solve rule, and all conclusions that one-step inference can directly obtain carried out to each described known conditions be sent to described user terminal according to solving rule; Second information obtainment unit 503, the known conditions that the described user sent selects, solves rule and conclusion for obtaining described user terminal; First judging unit 504, for judging the known conditions selected according to described user and solving rule, whether directly can obtain the conclusion that described user selects, if so, then the conclusion described user selected is added in the known conditions of described geometrical issues to be solved as newly-increased known conditions.
As shown in figure 13, also comprise: the second information transmitting unit 600, for the geometrical issues described to be solved by comprising described newly-increased known conditions each known conditions, relevant to each known conditions of the geometrical issues described to be solved comprising described newly-increased known conditions allly solve rule, and all conclusions that one-step inference can directly obtain carried out to the described known conditions comprising the geometrical issues described to be solved of described newly-increased known conditions be sent to described user terminal according to solving rule;
3rd information obtainment unit 601, the known conditions that the described user sent selects, solves rule and conclusion for again obtaining described user terminal, and known conditions that described user this time selects comprises newly-increased known conditions described at least one; Second judging unit 602, for judging the known conditions that the described user that basis obtains again selects and solving rule, the conclusion that the described user that whether can directly again be obtained selects, if so, then the described conclusion that the described user again obtained selects is added in the known conditions of described geometrical issues to be solved as newly-increased known conditions; Until the described user sent according to described user terminal select known conditions, solve rule and conclusion directly can draw the conclusion drawn needed for described geometrical issues to be solved.
The described unit 500 that prestores, also for prestoring in described geometrical issues to be solved the auxiliary point and/or boost line that can select to add, and figure corresponding respectively after adding each described auxiliary point and/or boost line;
As shown in figure 14, described server also comprises: the 3rd information transmitting unit 700, for the stem of geometrical issues described to be solved described user selected in described geometrical issues storehouse to be solved and former figure, and the auxiliary point that adds and/or boost line in described geometrical issues to be solved, can be selected to be sent to described user terminal; Described server also comprises: the 4th information obtainment unit 701, and the user sent for obtaining described user terminal selects auxiliary point and/or the boost line of interpolation;
4th information transmitting unit 702, is sent to described user terminal for the figure after the described user of interpolation is selected the described auxiliary point of interpolation and/or boost line; Described first information transmitting element 502, for by each known conditions of described geometrical issues to be solved, to the described boost line of described known conditions and interpolation or/and relevant all of auxiliary point solve rule, and according to solving rule to the described boost line of each described known conditions and interpolation or/and auxiliary point carries out all conclusions that one-step inference can directly obtain be sent to described user terminal.
Described first judging unit 504, also for judging the known conditions selected according to described user and solving rule, whether directly can obtain the conclusion that described user selects, if not, then again by each known conditions of described geometrical issues to be solved, relevant to described known conditions allly solve rule, and all conclusions that one-step inference can directly obtain carried out to each described known conditions be sent to described user terminal according to the described rule that solves.
The server 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 server example part can with reference to corresponding contents in preceding method embodiment.
As shown in figure 17, the embodiment of the present invention additionally provides a kind of structural representation of interactive problem solving server, comprising: 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 13, but not representing the bus only having a bus or a type.
Wherein, storer 404 is for storage program 401, described processor 400 is after receiving execution instruction, perform described program 401, the method performed by server 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 server, 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.
Embodiment 3
As shown in figure 15, embodiments provide a kind of interactive problem solving system, comprise server 900 and user terminal 800, be previously stored with geometrical issues storehouse to be solved in described server 900 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 user terminal 800, for obtain and show described server 900 send information, obtain the content that user selects in the information of display, the content that user selects is sent to described server 900, and the content that described user selects comprises geometrical issues to be solved, known conditions, solves rule and conclusion;
Described server 900, the geometrical issues to be solved that the user sent for obtaining described user terminal 800 selects in described geometrical issues storehouse to be solved; By each known conditions of described geometrical issues to be solved, relevant to described known conditions allly solve rule, and all conclusions that one-step inference can directly obtain are carried out to each described known conditions be sent to described user terminal 800 according to solving rule; Obtain the known conditions of described user's selection that described user terminal 800 sends, solve rule and conclusion; Judge the known conditions selected according to described user and solve rule, whether directly can obtain the conclusion that described user selects, if so, then the conclusion described user selected is added in the known conditions of described geometrical issues to be solved as newly-increased known conditions.
Described server 900 also for, by comprise the geometrical issues described to be solved of described newly-increased known conditions each known conditions, relevant to each known conditions of the geometrical issues described to be solved comprising described newly-increased known conditions allly solve rule, and all conclusions that one-step inference can directly obtain carried out to the described known conditions comprising the geometrical issues described to be solved of described newly-increased known conditions be sent to described user terminal 800 according to solving rule; Again obtain the known conditions of described user's selection that described user terminal 800 sends, solve rule and conclusion, known conditions that described user this time selects comprises newly-increased known conditions described at least one; Judge the known conditions that the described user that basis obtains again selects and solve rule, the conclusion that the described user that whether can directly again be obtained selects, if so, then the described conclusion that the described user again obtained selects is added in the known conditions of described geometrical issues to be solved as newly-increased known conditions; Until the described user sent according to described user terminal 800 select known conditions, solve rule and conclusion directly can draw the conclusion drawn needed for described geometrical issues to be solved.
The system that the embodiment of the present invention provides, its technique effect realizing principle and generation and previous embodiment 1, embodiment 2 are identical, and be concise and to the point description, the not mentioned part of system embodiment part, can with reference to corresponding contents in previous embodiment.
Those skilled in the art can be well understood to, and for convenience and simplicity of description, the server 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.
In several embodiments that the application provides, should be understood that disclosed server and method can realize by another way.Server example described above is only schematic, and such as, the process flow diagram in accompanying drawing and block diagram show server 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. an interactive problem solving method, it is characterized in that, be applied to interactive problem solving system, described system comprises server and user terminal, be previously stored with geometrical issues storehouse to be solved in described server 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, and described method comprises:
The geometrical issues to be solved that the user that described server obtains the transmission of described user terminal selects in described geometrical issues storehouse to be solved;
By each known conditions of described geometrical issues to be solved, relevant to described known conditions allly solve rule, and all conclusions that one-step inference can directly obtain are carried out to each described known conditions be sent to described user terminal according to solving rule;
Obtain the known conditions of described user's selection that described user terminal sends, solve rule and conclusion;
Judge the known conditions selected according to described user and solve rule, whether directly can obtain the conclusion that described user selects, if so, then the conclusion described user selected is added in the known conditions of described geometrical issues to be solved as newly-increased known conditions.
2. interactive problem solving method according to claim 1, is characterized in that, described method also comprises:
By comprise the geometrical issues described to be solved of described newly-increased known conditions each known conditions, relevant to each known conditions of the geometrical issues described to be solved comprising described newly-increased known conditions allly solve rule, and all conclusions that one-step inference can directly obtain carried out to the described known conditions comprising the geometrical issues described to be solved of described newly-increased known conditions be sent to described user terminal according to solving rule;
Again obtain the known conditions of described user's selection that described user terminal sends, solve rule and conclusion, known conditions that described user this time selects comprises newly-increased known conditions described at least one;
Judge the known conditions that the described user that basis obtains again selects and solve rule, the conclusion that the described user that whether can directly again be obtained selects, if so, then the described conclusion that the described user again obtained selects is added in the known conditions of described geometrical issues to be solved as newly-increased known conditions;
Until the described user sent according to described user terminal select known conditions, solve rule and conclusion directly can draw the conclusion drawn needed for described geometrical issues to be solved.
3. interactive problem solving method according to claim 1, it is characterized in that, the auxiliary point and/or boost line that can select to add also is previously stored with in described geometrical issues to be solved in described server, and distinguish corresponding figure after adding each described auxiliary point and/or boost line, described method also comprises:
The stem of the geometrical issues described to be solved that described user is selected in described geometrical issues storehouse to be solved and former figure, and the auxiliary point of interpolation and/or boost line in described geometrical issues to be solved, can be selected to be sent to described user terminal;
Described method also comprises:
The user obtaining the transmission of described user terminal selects auxiliary point and/or the boost line of interpolation;
Figure after the described user of interpolation is selected the described auxiliary point of interpolation and/or boost line is sent to described user terminal;
Described by each known conditions of described geometrical issues to be solved, relevant to described known conditions allly solve rule, and all conclusions that one-step inference can directly obtain are carried out to each described known conditions be sent to described user terminal according to solving rule, comprising:
By each known conditions of described geometrical issues to be solved, to the described boost line of described known conditions and interpolation or/and relevant all of auxiliary point solve rule, and according to solving rule to the described boost line of each described known conditions and interpolation or/and auxiliary point carries out all conclusions that one-step inference can directly obtain be sent to described user terminal.
4. interactive problem solving method according to claim 1, is characterized in that, the known conditions that described judgement is selected according to described user and solve rule, whether directly can obtain the conclusion that described user selects, also comprise:
If not, then again by each known conditions of described geometrical issues to be solved, relevant to described known conditions allly solve rule, and all conclusions that one-step inference can directly obtain carried out to each described known conditions be sent to described user terminal according to the described rule that solves.
5. an interactive problem solving server, is characterized in that, is applied to interactive problem solving system, and described system comprises user terminal and described server, and described server comprises:
Prestore unit, for prestoring geometrical issues storehouse to be solved and solve rule database, 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;
The first information obtains unit, the geometrical issues to be solved that the user sent for obtaining described user terminal selects in described geometrical issues storehouse to be solved;
First information transmitting element, for by each known conditions of described geometrical issues to be solved, relevant to described known conditions allly solve rule, and all conclusions that one-step inference can directly obtain carried out to each described known conditions be sent to described user terminal according to solving rule;
Second information obtainment unit, the known conditions that the described user sent selects, solves rule and conclusion for obtaining described user terminal;
First judging unit, for judging the known conditions selected according to described user and solving rule, whether directly can obtain the conclusion that described user selects, if so, then the conclusion described user selected is added in the known conditions of described geometrical issues to be solved as newly-increased known conditions.
6. interactive problem solving server according to claim 5, is characterized in that, also comprise:
Second information transmitting unit, for the geometrical issues described to be solved by comprising described newly-increased known conditions each known conditions, relevant to each known conditions of the geometrical issues described to be solved comprising described newly-increased known conditions allly solve rule, and all conclusions that one-step inference can directly obtain carried out to the described known conditions comprising the geometrical issues described to be solved of described newly-increased known conditions be sent to described user terminal according to solving rule;
3rd information obtainment unit, the known conditions that the described user sent selects, solves rule and conclusion for again obtaining described user terminal, and known conditions that described user this time selects comprises newly-increased known conditions described at least one;
Second judging unit, for judging the known conditions that the described user that basis obtains again selects and solving rule, the conclusion that the described user that whether can directly again be obtained selects, if so, then the described conclusion that the described user again obtained selects is added in the known conditions of described geometrical issues to be solved as newly-increased known conditions;
Until the described user sent according to described user terminal select known conditions, solve rule and conclusion directly can draw the conclusion drawn needed for described geometrical issues to be solved.
7. interactive problem solving server according to claim 5, it is characterized in that, the described unit that prestores, also for prestoring in described geometrical issues to be solved the auxiliary point and/or boost line that can select to add, and figure corresponding respectively after adding each described auxiliary point and/or boost line;
Described server also comprises:
3rd information transmitting unit, for the stem of geometrical issues described to be solved described user selected in described geometrical issues storehouse to be solved and former figure, and the auxiliary point that adds and/or boost line in described geometrical issues to be solved, can be selected to be sent to described user terminal;
Described server also comprises:
4th information obtainment unit, the user sent for obtaining described user terminal selects auxiliary point and/or the boost line of interpolation;
4th information transmitting unit, is sent to described user terminal for the figure after the described user of interpolation is selected the described auxiliary point of interpolation and/or boost line;
Described first information transmitting element, for by each known conditions of described geometrical issues to be solved, to the described boost line of described known conditions and interpolation or/and relevant all of auxiliary point solve rule, and according to solving rule to the described boost line of each described known conditions and interpolation or/and auxiliary point carries out all conclusions that one-step inference can directly obtain be sent to described user terminal.
8. interactive problem solving server according to claim 5, it is characterized in that, described first judging unit, also for judging the known conditions selected according to described user and solving rule, whether directly can obtain the conclusion that described user selects, if not, then again by each known conditions of described geometrical issues to be solved, relevant to described known conditions allly solve rule, and all conclusions that one-step inference can directly obtain carried out to each described known conditions be sent to described user terminal according to the described rule that solves.
9. an interactive problem solving system, it is characterized in that, comprise server and user terminal, be previously stored with geometrical issues storehouse to be solved in described server 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 user terminal, for obtain and show described server send information, obtain the content that user selects in the information of display, the content that user selects is sent to described server, the content that described user selects comprises geometrical issues to be solved, known conditions, solves rule and conclusion;
Described server, the geometrical issues to be solved that the user sent for obtaining described user terminal selects in described geometrical issues storehouse to be solved; By each known conditions of described geometrical issues to be solved, relevant to described known conditions allly solve rule, and all conclusions that one-step inference can directly obtain are carried out to each described known conditions be sent to described user terminal according to solving rule; Obtain the known conditions of described user's selection that described user terminal sends, solve rule and conclusion; Judge the known conditions selected according to described user and solve rule, whether directly can obtain the conclusion that described user selects, if so, then the conclusion described user selected is added in the known conditions of described geometrical issues to be solved as newly-increased known conditions.
10. interactive problem solving system according to claim 9, it is characterized in that, described server also for, by comprise the geometrical issues described to be solved of described newly-increased known conditions each known conditions, relevant to each known conditions of the geometrical issues described to be solved comprising described newly-increased known conditions allly solve rule, and all conclusions that one-step inference can directly obtain carried out to the described known conditions comprising the geometrical issues described to be solved of described newly-increased known conditions be sent to described user terminal according to solving rule; Again obtain the known conditions of described user's selection that described user terminal sends, solve rule and conclusion, known conditions that described user this time selects comprises newly-increased known conditions described at least one; Judge the known conditions that the described user that basis obtains again selects and solve rule, the conclusion that the described user that whether can directly again be obtained selects, if so, then the described conclusion that the described user again obtained selects is added in the known conditions of described geometrical issues to be solved as newly-increased known conditions; Until the described user sent according to described user terminal select known conditions, solve rule and conclusion directly can draw the conclusion drawn needed for described geometrical issues to be solved.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201510648990.4A CN105302875A (en) | 2015-10-09 | 2015-10-09 | Interactive problem solving method, server and system |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201510648990.4A CN105302875A (en) | 2015-10-09 | 2015-10-09 | Interactive problem solving method, server and system |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| CN105302875A true CN105302875A (en) | 2016-02-03 |
Family
ID=55200145
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN201510648990.4A Pending CN105302875A (en) | 2015-10-09 | 2015-10-09 | Interactive problem solving method, server and system |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN105302875A (en) |
Cited By (4)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN107977337A (en) * | 2017-12-07 | 2018-05-01 | 电子科技大学 | The automatic adding method of auxiliary line based on policy network and value network |
| CN110096692A (en) * | 2018-01-29 | 2019-08-06 | 亿度慧达教育科技（北京）有限公司 | A kind of Semantic Information Processing method and apparatus |
| CN111340662A (en) * | 2020-02-25 | 2020-06-26 | 上海乂学教育科技有限公司 | Geometric certification question making system |
| CN111881410A (en) * | 2020-07-15 | 2020-11-03 | 广州大学 | Processing system, method, display method and device of point geometric data information |
Citations (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN1794233A (en) * | 2005-12-28 | 2006-06-28 | 刘文印 | Network user interactive asking answering method and its system |
| CN103473224A (en) * | 2013-09-30 | 2013-12-25 | 成都景弘智能科技有限公司 | Problem semantization method based on problem solving process |
| CN104933158A (en) * | 2015-06-26 | 2015-09-23 | 百度在线网络技术（北京）有限公司 | Training method and device and reasoning method and device for mathematical problem solving model |
-
2015
- 2015-10-09 CN CN201510648990.4A patent/CN105302875A/en active Pending
Patent Citations (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN1794233A (en) * | 2005-12-28 | 2006-06-28 | 刘文印 | Network user interactive asking answering method and its system |
| CN103473224A (en) * | 2013-09-30 | 2013-12-25 | 成都景弘智能科技有限公司 | Problem semantization method based on problem solving process |
| CN104933158A (en) * | 2015-06-26 | 2015-09-23 | 百度在线网络技术（北京）有限公司 | Training method and device and reasoning method and device for mathematical problem solving model |
Non-Patent Citations (3)
| Title |
|---|
| XIUQIN ZHONG 等: ""Interactive Learning Environment Based on Knowledge Network of Geometry Problems"", 《THE 10TH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE & EDUCATION (ICCSE 2015)》 * |
| 钟秀琴 等: ""基于本体与Prolog的平面几何定理证明"", 《电子科技大学学报》 * |
| 钟秀琴 等: ""基于本体的几何学知识获取及知识表示"", 《计算机学报》 * |
Cited By (5)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN107977337A (en) * | 2017-12-07 | 2018-05-01 | 电子科技大学 | The automatic adding method of auxiliary line based on policy network and value network |
| CN110096692A (en) * | 2018-01-29 | 2019-08-06 | 亿度慧达教育科技（北京）有限公司 | A kind of Semantic Information Processing method and apparatus |
| CN110096692B (en) * | 2018-01-29 | 2021-04-09 | 亿度慧达教育科技（北京）有限公司 | Semantic information processing method and device |
| CN111340662A (en) * | 2020-02-25 | 2020-06-26 | 上海乂学教育科技有限公司 | Geometric certification question making system |
| CN111881410A (en) * | 2020-07-15 | 2020-11-03 | 广州大学 | Processing system, method, display method and device of point geometric data information |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| CN108255653B (en) | Product testing method and terminal thereof | |
| CN105302875A (en) | Interactive problem solving method, server and system | |
| US10878006B2 (en) | Systems to interleave search results and related methods therefor | |
| US11237888B2 (en) | Message processing method and system, storage medium and electronic device | |
| CN110807002B (en) | Report generation method, system and equipment based on workflow and storage medium | |
| WO2020199749A1 (en) | Feedback-based information pushing method and apparatus, and electronic device | |
| CN112506581B (en) | Method, apparatus, electronic device and readable storage medium for rendering applet | |
| CN112925900B (en) | Search information processing method, device, equipment and storage medium | |
| CN104796784A (en) | Video playing method and device in application program | |
| CN105094603A (en) | Method and device for related inputting | |
| CN106155542A (en) | Image processing method and device | |
| WO2015014157A1 (en) | Mobile terminal-based song recommendation method and device | |
| CN104881350A (en) | Method and device for confirming user experience and method and device for assisting in user experience confirmation | |
| US10073912B2 (en) | Computer systems to monitor one or more networked electronic resources for one or more adverse performance conditions and related methods therefor | |
| CN105511849A (en) | Method, device and system for application program display | |
| CN106850838A (en) | The control method and system of mobile terminal cloud application | |
| US11468125B2 (en) | Resource search method and related product | |
| US20190171989A1 (en) | Dynamic Workflow Control Based on Database Logic | |
| CN112364185A (en) | Method and device for determining characteristics of multimedia resource, electronic equipment and storage medium | |
| CN105184372A (en) | Knowledge network construction method and apparatus | |
| WO2017075974A1 (en) | Input sequence processing method, apparatus, device, and non-volatile computer storage medium | |
| US10289740B2 (en) | Computer systems to outline search content and related methods therefor | |
| CN106910093A (en) | The method and device that dining room is recommended | |
| CN112698908A (en) | Cloud computing resource expansion processing method and device, storage medium and processor | |
| CN113691403B (en) | Topology node configuration method, related device and computer program product |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| C06 | Publication | ||
| PB01 | Publication | ||
| C10 | Entry into substantive examination | ||
| SE01 | Entry into force of request for substantive examination | ||
| RJ01 | Rejection of invention patent application after publication |
Application publication date: 20160203 |
|
| RJ01 | Rejection of invention patent application after publication |