交互式問(wèn)題求解方法及服務(wù)器及系統(tǒng)的制作方法
【技術(shù)領(lǐng)域】
[0001]本發(fā)明涉及幾何學(xué)領(lǐng)域，具體而言，涉及一種交互式問(wèn)題求解方法及服務(wù)器及系統(tǒng)。
【背景技術(shù)】
[0002]平面幾何指按照歐幾里得的《幾何原本》構(gòu)造的幾何學(xué)。也稱歐幾里得幾何。平面幾何研究的是平面上的直線和二次曲線如圓錐曲線一橢圓、雙曲線、拋物線等的幾何結(jié)構(gòu)和度量性質(zhì)，如面積、長(zhǎng)度、角度、位置關(guān)系等。
[0003]幾何在人們的生活、工作中應(yīng)用較廣，基于其重要性，專門形成了幾何學(xué)。發(fā)明人經(jīng)研究發(fā)現(xiàn)，現(xiàn)有技術(shù)中，用戶主要是通過(guò)手寫答題，十分不便，互動(dòng)體驗(yàn)有待提高。
【發(fā)明內(nèi)容】
[0004]有鑒于此，本發(fā)明實(shí)施例的目的在于提供一交互式問(wèn)題求解方法及服務(wù)器及系統(tǒng)，以改善現(xiàn)有技術(shù)中主要是通過(guò)手寫答題，十分不便，互動(dòng)體驗(yàn)有待提高的問(wèn)題。
[0005]為了實(shí)現(xiàn)上述目的，本發(fā)明實(shí)施例采用的技術(shù)方案如下:
[0006]第一方面，本發(fā)明實(shí)施例提供了一交互式問(wèn)題求解方法，應(yīng)用于交互式問(wèn)題求解系統(tǒng)，所述系統(tǒng)包括服務(wù)器和用戶終端，所述服務(wù)器中預(yù)先存儲(chǔ)有待求解幾何問(wèn)題庫(kù)和求解規(guī)則數(shù)據(jù)庫(kù)，所述求解規(guī)則數(shù)據(jù)庫(kù)中的求解規(guī)則包括平面幾何的推理規(guī)則、公理、定義和定理，以及代數(shù)的基本定理和規(guī)則，所述方法包括:
[0007]所述服務(wù)器獲得所述用戶終端發(fā)送的用戶在所述待求解幾何問(wèn)題庫(kù)中選擇的待求解幾何問(wèn)題；
[0008]將所述待求解幾何問(wèn)題的每個(gè)已知條件、與所述已知條件相關(guān)的所有求解規(guī)則，以及根據(jù)求解規(guī)則對(duì)各所述已知條件進(jìn)行單步推理可直接得到的所有結(jié)論發(fā)送至所述用戶終端；
[0009]獲得所述用戶終端發(fā)送的所述用戶選擇的已知條件、求解規(guī)則和結(jié)論；
[0010]判斷根據(jù)所述用戶選擇的已知條件和求解規(guī)則，是否能直接得到所述用戶選擇的結(jié)論，如果是，則將所述用戶選擇的結(jié)論作為新增已知條件添加至所述待求解幾何問(wèn)題的已知條件中。
[0011]結(jié)合第一方面，本發(fā)明實(shí)施例提供了第一方面的第一種可能的實(shí)施方式，其中，所述方法還包括:
[0012]將包括所述新增已知條件的所述待求解幾何問(wèn)題的每個(gè)已知條件、與包括所述新增已知條件的所述待求解幾何問(wèn)題的每個(gè)已知條件相關(guān)的所有求解規(guī)則，以及根據(jù)求解規(guī)則對(duì)所述包括所述新增已知條件的所述待求解幾何問(wèn)題的已知條件進(jìn)行單步推理可直接得到的所有結(jié)論發(fā)送至所述用戶終端；
[0013]再次獲得所述用戶終端發(fā)送的所述用戶選擇的已知條件、求解規(guī)則和結(jié)論，所述用戶此次選擇的已知條件中包括至少一個(gè)所述新增已知條件；
[0014]判斷根據(jù)再次獲得的所述用戶選擇的已知條件和求解規(guī)則，是否能直接得到再次獲得的所述用戶選擇的結(jié)論，如果是，則將再次獲得的所述用戶選擇的所述結(jié)論作為新增已知條件添加至所述待求解幾何問(wèn)題的已知條件中；
[0015]直至根據(jù)所述用戶終端發(fā)送的所述用戶選擇的已知條件、求解規(guī)則和結(jié)論能夠直接得出所述待求解幾何問(wèn)題所需得出的結(jié)論。
[0016]結(jié)合第一方面，本發(fā)明實(shí)施例提供了第一方面的第二種可能的實(shí)施方式，其中，所述服務(wù)器中還預(yù)先存儲(chǔ)有所述待求解幾何問(wèn)題中可選擇添加的輔助點(diǎn)和/或輔助線，以及添加各所述輔助點(diǎn)和/或輔助線后分別對(duì)應(yīng)的圖，所述方法還包括:
[0017]將所述用戶在所述待求解幾何問(wèn)題庫(kù)中選擇的所述待求解幾何問(wèn)題的題干和原圖，以及所述待求解幾何問(wèn)題中可選擇添加的輔助點(diǎn)和/或輔助線發(fā)送至所述用戶終端；
[0018]所述方法還包括:
[0019]獲得所述用戶終端發(fā)送的用戶選擇添加的輔助點(diǎn)和/或輔助線；
[0020]將添加所述用戶選擇添加的所述輔助點(diǎn)和/或輔助線后的圖發(fā)送至所述用戶終端;
[0021]所述將所述待求解幾何問(wèn)題的每個(gè)已知條件、與所述已知條件相關(guān)的所有求解規(guī)貝1J，以及根據(jù)求解規(guī)則對(duì)各所述已知條件進(jìn)行單步推理可直接得到的所有結(jié)論發(fā)送至所述用戶終端，包括:
[0022]將所述待求解幾何問(wèn)題的每個(gè)已知條件、與所述已知條件和添加的所述輔助線或/和輔助點(diǎn)相關(guān)的所有求解規(guī)則，以及根據(jù)求解規(guī)則對(duì)各所述已知條件及添加的所述輔助線或/和輔助點(diǎn)進(jìn)行單步推理可直接得到的所有結(jié)論發(fā)送至所述用戶終端。
[0023]結(jié)合第一方面，本發(fā)明實(shí)施例提供了第一方面的第三種可能的實(shí)施方式，其中，所述判斷根據(jù)所述用戶選擇的已知條件和求解規(guī)則，是否能直接得到所述用戶選擇的結(jié)論，還包括:
[0024]如果否，則重新將所述待求解幾何問(wèn)題的每個(gè)已知條件、與所述已知條件相關(guān)的所有求解規(guī)則，以及根據(jù)所述求解規(guī)則對(duì)各所述已知條件進(jìn)行單步推理可直接得到的所有結(jié)論發(fā)送至所述用戶終端。
[0025]第二方面，本發(fā)明實(shí)施例提供了一種交互式問(wèn)題求解服務(wù)器，應(yīng)用于交互式問(wèn)題求解系統(tǒng)，所述系統(tǒng)包括用戶終端和所述服務(wù)器，所述服務(wù)器包括:
[0026]預(yù)存單元，用于預(yù)先存儲(chǔ)待求解幾何問(wèn)題庫(kù)和求解規(guī)則數(shù)據(jù)庫(kù)，所述求解規(guī)則數(shù)據(jù)庫(kù)中的求解規(guī)則包括平面幾何的推理規(guī)則、公理、定義和定理，以及代數(shù)的基本定理和規(guī)則；
[0027]第一信息獲得單元，用于獲得所述用戶終端發(fā)送的用戶在所述待求解幾何問(wèn)題庫(kù)中選擇的待求解幾何問(wèn)題；
[0028]第一信息發(fā)送單元，用于將所述待求解幾何問(wèn)題的每個(gè)已知條件、與所述已知條件相關(guān)的所有求解規(guī)則，以及根據(jù)求解規(guī)則對(duì)各所述已知條件進(jìn)行單步推理可直接得到的所有結(jié)論發(fā)送至所述用戶終端；
[0029]第二信息獲得單元，用于獲得所述用戶終端發(fā)送的所述用戶選擇的已知條件、求解規(guī)則和結(jié)論；
[0030]第一判斷單元，用于判斷根據(jù)所述用戶選擇的已知條件和求解規(guī)則，是否能直接得到所述用戶選擇的結(jié)論，如果是，則將所述用戶選擇的結(jié)論作為新增已知條件添加至所述待求解幾何問(wèn)題的已知條件中。
[0031]結(jié)合第二方面，本發(fā)明實(shí)施例提供了第二方面的第一種可能的實(shí)施方式，其中，還包括:
[0032]第二信息發(fā)送單元，用于將包括所述新增已知條件的所述待求解幾何問(wèn)題的每個(gè)已知條件、與包括所述新增已知條件的所述待求解幾何問(wèn)題的每個(gè)已知條件相關(guān)的所有求解規(guī)則，以及根據(jù)求解規(guī)則對(duì)所述包括所述新增已知條件的所述待求解幾何問(wèn)題的已知條件進(jìn)行單步推理可直接得到的所有結(jié)論發(fā)送至所述用戶終端；
[0033]第三信息獲得單元，用于再次獲得所述用戶終端發(fā)送的所述用戶選擇的已知條件、求解規(guī)則和結(jié)論，所述用戶此次選擇的已知條件中包括至少一個(gè)所述新增已知條件；
[0034]第二判斷單元，用于判斷根據(jù)再次獲得的所述用戶選擇的已知條件和求解規(guī)則，是否能直接得到再次獲得的所述用戶選擇的結(jié)論，如果是，則將再次獲得的所述用戶選擇的所述結(jié)論作為新增已知條件添加至所述待求解幾何問(wèn)題的已知條件中；
[0035]直至根據(jù)所述用戶終端發(fā)送的所述用戶選擇的已知條件、求解規(guī)則和結(jié)論能夠直接得出所述待求解幾何問(wèn)題所需得出的結(jié)論。
[0036]結(jié)合第二方面，本發(fā)明實(shí)施例提供了第二方面的第二種可能的實(shí)施方式，其中，所述預(yù)存單元，還用于預(yù)先存儲(chǔ)所述待求解幾何問(wèn)題中可選擇添加的輔助點(diǎn)和/或輔助線，以及添加各所述輔助點(diǎn)和/或輔助線后分別對(duì)應(yīng)的圖；
[0037]所述服務(wù)器還包括:
[0038]第三信息發(fā)送單元，用于將所述用戶在所述待求解幾何問(wèn)題庫(kù)中選擇的所述待求解幾何問(wèn)題的題干和原圖，以及所述待求解幾何問(wèn)題中可選擇添加的輔助點(diǎn)和/或輔助線發(fā)送至所述用戶終端；
[0039]所述服務(wù)器還包括:
[0040]第四信息獲得單元，用于獲得所述用戶終端發(fā)送的用戶選擇添加的輔助點(diǎn)和/或輔助線；
[0041]第四信息發(fā)送單元，用于將添加所述用戶選擇添加的所述輔助點(diǎn)和/或輔助線后的圖發(fā)送至所述用戶終端；
[0042]所述第一信息發(fā)送單元，用于將所述待求解幾何問(wèn)題的每個(gè)已知條件、與所述已知條件和添加的所述輔助線或/和輔助點(diǎn)相關(guān)的所有求解規(guī)則，以及根據(jù)求解規(guī)則對(duì)各所述已知條件及添加的所述輔助線或/和輔助點(diǎn)進(jìn)行單步推理可直接得到的所有結(jié)論發(fā)送至所述用戶終端。
[0043]結(jié)合第二方面，本發(fā)明實(shí)施例提供了第二方面的第三種可能的實(shí)施方式，其中，所述第一判斷單元，還用于判斷根據(jù)所述用戶選擇的已知條件和求解規(guī)則，是否能直接得到所述用戶選擇的結(jié)論，如果否，則重新將所述待求解幾何問(wèn)題的每個(gè)已知條件、與所述已知條件相關(guān)的所有求解規(guī)則，以及根據(jù)所述求解規(guī)則對(duì)各所述已知條件進(jìn)行單步推理可直接得到的所有結(jié)論發(fā)送至所述用戶終端。
[0044]第三方面，本發(fā)明實(shí)施例提供了一種交互式問(wèn)題求解系統(tǒng)，包括服務(wù)器和用戶終端，所述服務(wù)器中預(yù)先存儲(chǔ)有待求解幾何問(wèn)題庫(kù)和求解規(guī)則數(shù)據(jù)庫(kù)，所述求解規(guī)則數(shù)據(jù)庫(kù)中的求解規(guī)則包括平面幾何的推理規(guī)則、公理、定義和定理，以及代數(shù)的基本定理和規(guī)則；
[0045]所述用戶終端，用于獲得并顯示所述服務(wù)器發(fā)送的信息，獲得用戶在顯示的信息中選擇的內(nèi)容，將用戶選擇的內(nèi)容發(fā)送至所述服務(wù)器，所述用戶選擇的內(nèi)容包括待求解幾何問(wèn)題、已知條件、求解規(guī)則和結(jié)論；
[0046]所述服務(wù)器，用于獲得所述用戶終端發(fā)送的用戶在所述待求解幾何問(wèn)題庫(kù)中選擇的待求解幾何問(wèn)題；將所述待求解幾何問(wèn)題的每個(gè)已知條件、與所述已知條件相關(guān)的所有求解規(guī)則，以及根據(jù)求解規(guī)則對(duì)各所述已知條件進(jìn)行單步推理可直接得到的所有結(jié)論發(fā)送至所述用戶終端；獲得所述用戶終端發(fā)送的所述用戶選擇的已知條件、求解規(guī)則和結(jié)論；判斷根據(jù)所述用戶選擇的已知條件和求解規(guī)則，是否能直接得到所述用戶選擇的結(jié)論，如果是，則將所述用戶選擇的結(jié)論