多路徑求解方法及裝置的制造方法
【技術領域】
[0001]本發(fā)明涉及幾何學領域，具體而言，涉及一種多路徑求解方法及裝置。
【背景技術】
[0002]平面幾何指按照歐幾里得的《幾何原本》構造的幾何學。也稱歐幾里得幾何。平面幾何研究的是平面上的直線和二次曲線如圓錐曲線一橢圓、雙曲線、拋物線等的幾何結構和度量性質，如面積、長度、角度、位置關系等。
[0003]幾何在人們的生活、工作中應用較廣，基于其重要性，專門形成了幾何學。隨著技術的發(fā)展，現(xiàn)今，已經開發(fā)出了可以自動完成幾何求解的系統(tǒng)，如幾何證明系統(tǒng)等，發(fā)明人經研究發(fā)現(xiàn)，現(xiàn)今的幾何求解系統(tǒng)只會給出一種求解路徑，無法滿足實際需求。

【發(fā)明內容】

[0004]有鑒于此，本發(fā)明實施例的目的在于提供一多路徑求解方法及裝置，以改善現(xiàn)有技術中只會給出一種求解路徑，無法滿足實際需求的問題。
[0005]為了實現(xiàn)上述目的，本發(fā)明實施例采用的技術方案如下:
[0006]第一方面，本發(fā)明實施例提供了一多路徑求解方法，應用于多路徑求解裝置，所述裝置中預先存儲有求解規(guī)則數(shù)據庫，所述求解規(guī)則數(shù)據庫中的求解規(guī)則包括平面幾何的推理規(guī)則、公理、定義和定理，以及代數(shù)的基本定理和規(guī)則，所述方法包括:
[0007]所述多路徑求解裝置獲得待求解幾何問題中的已知條件，以及所述待求解幾何問題需得到的結論；
[0008]根據所述已知條件，從所述求解規(guī)則數(shù)據庫中調用求解規(guī)則對所述待求解幾何問題進行求解，獲得根據所述已知條件得到所述結論的所有求解路徑。
[0009]結合第一方面，本發(fā)明實施例提供了第一方面的第一種可能的實施方式，其中，所述根據所述已知條件，從所述求解規(guī)則數(shù)據庫中調用求解規(guī)則對所述待求解幾何問題進行求解，獲得根據所述已知條件得到所述結論的所有求解路徑，包括:
[0010]從所述求解規(guī)則數(shù)據庫中，查找到能夠直接獲得所述結論的所有求解規(guī)則，作為結論求解規(guī)則集；
[0011]根據所述已知條件，從所述求解規(guī)則數(shù)據庫中調用求解規(guī)則對所述待求解幾何問題進行求解，獲得第一種求解路徑；
[0012]判斷所述第一種求解路徑應用了所述結論求解規(guī)則集中的哪種求解規(guī)則，將已被應用了的求解規(guī)則從所述求解規(guī)則數(shù)據庫中去除；
[0013]再次根據所述已知條件，從去除已被應用了的求解規(guī)則的所述求解規(guī)則數(shù)據庫中調用求解規(guī)則對所述待求解幾何問題進行求解；
[0014]判斷能否獲得第二種求解路徑，如果否，則結束全部流程；如果是，則判斷所述第二種求解路徑應用了所述結論求解規(guī)則集中的哪種求解規(guī)則，將已被所述第二種求解路徑應用了的求解規(guī)則從所述求解規(guī)則數(shù)據庫中去除；
[0015]再次根據所述已知條件，從去除已被應用了的求解規(guī)則的所述求解規(guī)則數(shù)據庫中調用求解規(guī)則對所述待求解幾何問題進行求解；
[0016]判斷能否獲得第M種求解路徑，M > 2，如果否，則結束全部流程；如果是，則判斷所述第M種求解路徑應用了所述結論求解規(guī)則集中的哪種求解規(guī)則，將已被所述第M種求解路徑應用了的求解規(guī)則從所述求解規(guī)則數(shù)據庫中去除，直至獲得根據所述已知條件得到所述結論的所有求解路徑。
[0017]結合第一方面的第一種可能的實施方式，本發(fā)明實施例提供了第一方面的第二種可能的實施方式，其中，所述將已被應用了的求解規(guī)則從所述求解規(guī)則數(shù)據庫中去除，包括:
[0018]將已被應用了的求解規(guī)則從所述求解規(guī)則數(shù)據庫中隱藏；
[0019]所述方法還包括:
[0020]在所述獲得根據所述已知條件得到所述結論的所有求解路徑之后，將已被應用了的求解規(guī)則解除隱藏。
[0021]結合第一方面，或第一方面的第一種、第二種可能的實施方式，本發(fā)明實施例提供了第一方面的第三種可能的實施方式，其中，所述根據所述已知條件，從所述求解規(guī)則數(shù)據庫中調用求解規(guī)則對所述待求解幾何問題進行求解，獲得根據所述已知條件得到所述結論的所有求解路徑，包括:
[0022]從所述求解規(guī)則數(shù)據庫中調用與所述已知條件相關的所有求解規(guī)則；
[0023]根據與所述已知條件相關的所有求解規(guī)則，對所述已知條件進行求解，得到對所述已知條件求解得出的所有結論，將對所述已知條件求解得出的所有結論作為第一結論集;
[0024]判斷是否存在與所述第一結論集中的各結論相關的求解規(guī)則，如果否，則在從對所述已知條件到所述第一結論集的求解路徑中查找所述待求解幾何問題的求解路徑；如果是，則調用與所述第一結論集中的各結論相關的所有求解規(guī)則對所述第一結論集中的各結論進行求解，得到對所述第一結論集中的各結論求解得出的所有結論，將對所述第一結論集中的各結論求解得出的所有結論作為第二結論集；
[0025]判斷是否存在與所述第二結論集中的各結論相關的求解規(guī)則，如果否，則在從對所述已知條件到所述第一結論集的求解路徑中和從對所述第一結論集到所述第二結論集的求解路徑中查找所述待求解幾何問題的求解路徑；如果是，則對第N結論集中的各結論求解，得到第N+1結論集，N彡2 ;
[0026]直至獲得根據所述已知條件得到所述待求解幾何問題需得到的結論的所有求解路徑。
[0027]結合第一方面的第三種可能的實施方式，本發(fā)明實施例提供了第一方面的第四種可能的實施方式，其中，還包括:將獲得的每一種求解路徑進行存儲和顯示。
[0028]第二方面，本發(fā)明實施例提供了一種多路徑求解裝置，包括:
[0029]存儲模塊，用于存儲求解規(guī)則數(shù)據庫，所述求解規(guī)則數(shù)據庫中的求解規(guī)則包括平面幾何的推理規(guī)則、公理、定義和定理，以及代數(shù)的基本定理和規(guī)則；
[0030]信息獲得模塊，用于獲得待求解幾何問題中的已知條件，以及所述待求解幾何問題需得到的結論；
[0031]求解路徑獲得模塊，用于根據所述已知條件，從所述求解規(guī)則數(shù)據庫中調用求解規(guī)則對所述待求解幾何問題進行求解，獲得根據所述已知條件得到所述結論的所有求解路徑。
[0032]本發(fā)明實施例中所提供的多路徑求解方法及裝置，會獲得根據待求解幾何問題中的已知條件得到待求解幾何問題中的結論的所有求解路徑，與現(xiàn)有技術中僅獲得一種求解路徑相比，能夠展示一題多解求解過程，基于獲得的所有求解路徑，能夠實現(xiàn)交互式學習，具有較強的可擴展性，符合實際需求。
[0033]為使本發(fā)明的上述目的、特征和優(yōu)點能更明顯易懂，下文特舉較佳實施例，并配合所附附圖，作詳細說明如下。
【附圖說明】
[0034]為了更清楚地說明本發(fā)明實施例的技術方案，下面將對實施例中所需要使用的附圖作簡單地介紹，應當理解，以下附圖僅示出了本發(fā)明的某些實施例，因此不應被看作是對范圍的限定，對于本領域普通技術人員來講，在不付出創(chuàng)造性勞動的前提下，還可以根據這些附圖獲得其他相關的附圖。
[0035]圖1示出了本發(fā)明實施例1所提供的一種多路徑求解流程示意圖；
[0036]圖2示出了本發(fā)明實施例1所提供的另一種多路徑求解流程示意圖；
[0037]圖3示出了本發(fā)明實施例1所提供的求解方法示意圖；
[0038]圖4示出了本發(fā)明實施例1所提供的第一、第二種求解路徑示意圖；
[0039]圖5示出了本發(fā)明實施例1所提供的第三種求解路徑示意圖；
[0040]圖6示出了本發(fā)明實施例1所提供的另一種多路徑求解流程示意圖；
[0041]圖7示出了本發(fā)明實施例2所提供的一種多路徑求解裝置的結構框圖；
[0042]圖8示出了本發(fā)明實施例2所提供的另一種多路徑求解裝置的結構框圖；
[0043]圖9示出了本發(fā)明實施例2所提供的一種求解路徑獲得模塊的結構框圖；
[0044]圖10示出了本發(fā)明實施例2所提供的另一種求解路徑獲得模塊的結構框圖；
[0045]圖11示出了本發(fā)明實施例2所提供的另一種多路徑求解裝置的結構框圖；
[0046]圖12示出了本發(fā)明實施例所提供的一種多路徑求解知識網絡示意圖；
[0047]圖13示出了本發(fā)明實施例所提供的一種多路徑求解知識網絡構建示意圖；
[0048]圖14示出了本發(fā)明實施例2所提供的另一種多路徑求解裝置的結構框圖。
【具體實施方式】
[0049]下面將結合本發(fā)明實施例中附圖，對本發(fā)明實施例中的技