交互式問題求解方法及服務(wù)器及系統(tǒng)的制作方法
【技術(shù)領(lǐng)域】
[0001]本發(fā)明涉及幾何學(xué)領(lǐng)域，具體而言，涉及一種交互式問題求解方法及服務(wù)器及系統(tǒng)。
【背景技術(shù)】
[0002]平面幾何指按照歐幾里得的《幾何原本》構(gòu)造的幾何學(xué)。也稱歐幾里得幾何。平面幾何研究的是平面上的直線和二次曲線如圓錐曲線一橢圓、雙曲線、拋物線等的幾何結(jié)構(gòu)和度量性質(zhì)，如面積、長度、角度、位置關(guān)系等。
[0003]幾何在人們的生活、工作中應(yīng)用較廣，基于其重要性，專門形成了幾何學(xué)。發(fā)明人經(jīng)研究發(fā)現(xiàn)，現(xiàn)有技術(shù)中，用戶主要是通過手寫答題，十分不便，互動體驗有待提高。

【發(fā)明內(nèi)容】

[0004]有鑒于此，本發(fā)明實施例的目的在于提供一交互式問題求解方法及服務(wù)器及系統(tǒng)，以改善現(xiàn)有技術(shù)中主要是通過手寫答題，十分不便，互動體驗有待提高的問題。
[0005]為了實現(xiàn)上述目的，本發(fā)明實施例采用的技術(shù)方案如下:
[0006]第一方面，本發(fā)明實施例提供了一交互式問題求解方法，應(yīng)用于交互式問題求解系統(tǒng)，所述系統(tǒng)包括服務(wù)器和用戶終端，所述服務(wù)器中預(yù)先存儲有待求解幾何問題庫和求解規(guī)則數(shù)據(jù)庫，所述求解規(guī)則數(shù)據(jù)庫中的求解規(guī)則包括平面幾何的推理規(guī)則、公理、定義和定理，以及代數(shù)的基本定理和規(guī)則，所述方法包括:
[0007]所述服務(wù)器獲得所述用戶終端發(fā)送的用戶在所述待求解幾何問題庫中選擇的待求解幾何問題；
[0008]將所述待求解幾何問題的每個已知條件、與所述已知條件相關(guān)的所有求解規(guī)則，以及根據(jù)求解規(guī)則對各所述已知條件進(jìn)行單步推理可直接得到的所有結(jié)論發(fā)送至所述用戶終端；
[0009]獲得所述用戶終端發(fā)送的所述用戶選擇的已知條件、求解規(guī)則和結(jié)論；
[0010]判斷根據(jù)所述用戶選擇的已知條件和求解規(guī)則，是否能直接得到所述用戶選擇的結(jié)論，如果是，則將所述用戶選擇的結(jié)論作為新增已知條件添加至所述待求解幾何問題的已知條件中。
[0011]結(jié)合第一方面，本發(fā)明實施例提供了第一方面的第一種可能的實施方式，其中，所述方法還包括:
[0012]將包括所述新增已知條件的所述待求解幾何問題的每個已知條件、與包括所述新增已知條件的所述待求解幾何問題的每個已知條件相關(guān)的所有求解規(guī)則，以及根據(jù)求解規(guī)則對所述包括所述新增已知條件的所述待求解幾何問題的已知條件進(jìn)行單步推理可直接得到的所有結(jié)論發(fā)送至所述用戶終端；
[0013]再次獲得所述用戶終端發(fā)送的所述用戶選擇的已知條件、求解規(guī)則和結(jié)論，所述用戶此次選擇的已知條件中包括至少一個所述新增已知條件；
[0014]判斷根據(jù)再次獲得的所述用戶選擇的已知條件和求解規(guī)則，是否能直接得到再次獲得的所述用戶選擇的結(jié)論，如果是，則將再次獲得的所述用戶選擇的所述結(jié)論作為新增已知條件添加至所述待求解幾何問題的已知條件中；
[0015]直至根據(jù)所述用戶終端發(fā)送的所述用戶選擇的已知條件、求解規(guī)則和結(jié)論能夠直接得出所述待求解幾何問題所需得出的結(jié)論。
[0016]結(jié)合第一方面，本發(fā)明實施例提供了第一方面的第二種可能的實施方式，其中，所述服務(wù)器中還預(yù)先存儲有所述待求解幾何問題中可選擇添加的輔助點和/或輔助線，以及添加各所述輔助點和/或輔助線后分別對應(yīng)的圖，所述方法還包括:
[0017]將所述用戶在所述待求解幾何問題庫中選擇的所述待求解幾何問題的題干和原圖，以及所述待求解幾何問題中可選擇添加的輔助點和/或輔助線發(fā)送至所述用戶終端；
[0018]所述方法還包括:
[0019]獲得所述用戶終端發(fā)送的用戶選擇添加的輔助點和/或輔助線；
[0020]將添加所述用戶選擇添加的所述輔助點和/或輔助線后的圖發(fā)送至所述用戶終端;
[0021]所述將所述待求解幾何問題的每個已知條件、與所述已知條件相關(guān)的所有求解規(guī)貝1J，以及根據(jù)求解規(guī)則對各所述已知條件進(jìn)行單步推理可直接得到的所有結(jié)論發(fā)送至所述用戶終端，包括:
[0022]將所述待求解幾何問題的每個已知條件、與所述已知條件和添加的所述輔助線或/和輔助點相關(guān)的所有求解規(guī)則，以及根據(jù)求解規(guī)則對各所述已知條件及添加的所述輔助線或/和輔助點進(jìn)行單步推理可直接得到的所有結(jié)論發(fā)送至所述用戶終端。
[0023]結(jié)合第一方面，本發(fā)明實施例提供了第一方面的第三種可能的實施方式，其中，所述判斷根據(jù)所述用戶選擇的已知條件和求解規(guī)則，是否能直接得到所述用戶選擇的結(jié)論，還包括:
[0024]如果否，則重新將所述待求解幾何問題的每個已知條件、與所述已知條件相關(guān)的所有求解規(guī)則，以及根據(jù)所述求解規(guī)則對各所述已知條件進(jìn)行單步推理可直接得到的所有結(jié)論發(fā)送至所述用戶終端。
[0025]第二方面，本發(fā)明實施例提供了一種交互式問題求解服務(wù)器，應(yīng)用于交互式問題求解系統(tǒng)，所述系統(tǒng)包括用戶終端和所述服務(wù)器，所述服務(wù)器包括:
[0026]預(yù)存單元，用于預(yù)先存儲待求解幾何問題庫和求解規(guī)則數(shù)據(jù)庫，所述求解規(guī)則數(shù)據(jù)庫中的求解規(guī)則包括平面幾何的推理規(guī)則、公理、定義和定理，以及代數(shù)的基本定理和規(guī)則；
[0027]第一信息獲得單元，用于獲得所述用戶終端發(fā)送的用戶在所述待求解幾何問題庫中選擇的待求解幾何問題；
[0028]第一信息發(fā)送單元，用于將所述待求解幾何問題的每個已知條件、與所述已知條件相關(guān)的所有求解規(guī)則，以及根據(jù)求解規(guī)則對各所述已知條件進(jìn)行單步推理可直接得到的所有結(jié)論發(fā)送至所述用戶終端；
[0029]第二信息獲得單元，用于獲得所述用戶終端發(fā)送的所述用戶選擇的已知條件、求解規(guī)則和結(jié)論；
[0030]第一判斷單元，用于判斷根據(jù)所述用戶選擇的已知條件和求解規(guī)則，是否能直接得到所述用戶選擇的結(jié)論，如果是，則將所述用戶選擇的結(jié)論作為新增已知條件添加至所述待求解幾何問題的已知條件中。
[0031]結(jié)合第二方面，本發(fā)明實施例提供了第二方面的第一種可能的實施方式，其中，還包括:
[0032]第二信息發(fā)送單元，用于將包括所述新增已知條件的所述待求解幾何問題的每個已知條件、與包括所述新增已知條件的所述待求解幾何問題的每個已知條件相關(guān)的所有求解規(guī)則，以及根據(jù)求解規(guī)則對所述包括所述新增已知條件的所述待求解幾何問題的已知條件進(jìn)行單步推理可直接得到的所有結(jié)論發(fā)送至所述用戶終端；
[0033]第三信息獲得單元，用于再次獲得所述用戶終端發(fā)送的所述用戶選擇的已知條件、求解規(guī)則和結(jié)論，所述用戶此次選擇的已知條件中包括至少一個所述新增已知條件；
[0034]第二判斷單元，用于判斷根據(jù)再次獲得的所述用戶選擇的已知條件和求解規(guī)則，是否能直接得到再次獲得的所述用戶選擇的結(jié)論，如果是，則將再次獲得的所述用戶選擇的所述結(jié)論作為新增已知條件添加至所述待求解幾何問題的已知條件中；
[0035]直至根據(jù)所述用戶終端發(fā)送的所述用戶選擇的已知條件、求解規(guī)則和結(jié)論能夠直接得出所述待求解幾何問題所需得出的結(jié)論。
[0036]結(jié)合第二方面，本發(fā)明實施例提供了第二方面的第二種可能的實施方式，其中，所述預(yù)存單元，還用于預(yù)先存儲所述待求解幾何問題中可選擇添加的輔助點和/或輔助線，以及添加各所述輔助點和/或輔助線后分別對應(yīng)的圖；
[0037]所述服務(wù)器還包括:
[0038]第三信息發(fā)送單元，用于將所述用戶在所述待求解幾何問題庫中選擇的所述待求解幾何問題的題干和原圖，以及所述待求解幾何問題中可選擇添加的輔助點和/或輔助線發(fā)送至所述用戶終端；
[0039]所述服務(wù)器還包括:
[0040]第四信息獲得單元，用于獲得所述用戶終端發(fā)送的用戶選擇添加的輔助點和/或輔助線；
[0041]第四信息發(fā)送單元，用于將添加所述用戶選擇添加的所述輔助點和/或輔助線后的圖發(fā)送至所述用戶終端；
[0042]所述第一信息發(fā)送單元，用于將所述待求解幾何問題的每個已知條件、與所述已知條件和添加的所述輔助線或/和輔助點相關(guān)的所有求解規(guī)則，以及根據(jù)求解規(guī)則對各所述已知條件及添加的所述輔助線或/和輔助點進(jìn)行單步推理可直接得到的所有結(jié)論發(fā)送至所述用戶終端。
[0043]結(jié)合第二方面，本發(fā)明實施例提供了第二方面的第三種可能的實施方式，其中，所述第一判斷單元，還用于判斷根據(jù)所述用戶選擇的已知條件和求解規(guī)則，是否能直接得到所述用戶選擇的結(jié)論，如果否，則重新將所述待求解幾何問題的每個已知條件、與所述已知條件相關(guān)的所有求解規(guī)則，以及根據(jù)所述求解規(guī)則對各所述已知條件進(jìn)行單步推理可直接得到的所有結(jié)論發(fā)送至所述用戶終端。
[0044]第三方面，本發(fā)明實施例提供了一種交互式問題求解系統(tǒng)，包括服務(wù)器和用戶終端，所述服務(wù)器中預(yù)先存儲有待求解幾何問題庫和求解規(guī)則數(shù)據(jù)庫，所述求解規(guī)則數(shù)據(jù)庫中的求解規(guī)則包括平面幾何的推理規(guī)則、公理、定義和定理，以及代數(shù)的基本定理和規(guī)則；
[0045]所述用戶終端，用于獲得并顯示所述服務(wù)器發(fā)送的信息，獲得用戶在顯示的信息中選擇的內(nèi)容，將用戶選擇的內(nèi)容發(fā)送至所述服務(wù)器，所述用戶選擇的內(nèi)容包括待求解幾何問題、已知條件、求解規(guī)則和結(jié)論；
[0046]所述服務(wù)器，用于獲得所述用戶終端發(fā)送的用戶在所述待求解幾何問題庫中選擇的待求解幾何問題；將所述待求解幾何問題的每個已知條件、與所述已知條件相關(guān)的所有求解規(guī)則，以及根據(jù)求解規(guī)則對各所述已知條件進(jìn)行單步推理可直接得到的所有結(jié)論發(fā)送至所述用戶終端；獲得所述用戶終端發(fā)送的所述用戶選擇的已知條件、求解規(guī)則和結(jié)論；判斷根據(jù)所述用戶選擇的已知條件和求解規(guī)則，是否能直接得到所述用戶選擇的結(jié)論，如果是，則將所述用戶選擇的結(jié)論