1、國家863項(xiàng)目“開放域知識(shí)關(guān)聯(lián)、推理與檢索關(guān)鍵技術(shù)”提出將實(shí)現(xiàn)高考地理自動(dòng)答題作為主要考核指標(biāo)之一。一大類高考地理題目本身或其子問題是推理類問題，因此，構(gòu)建地理知識(shí)庫并研究實(shí)現(xiàn)與之相適應(yīng)的推理系統(tǒng)是求解此類問題的關(guān)鍵。目前，由基于描述邏輯的地理本體和地理知識(shí)規(guī)則集組成的知識(shí)庫的構(gòu)建是實(shí)現(xiàn)地理知識(shí)獲取、集成、管理、推理的主要方法。另外，回答集程序(ASP)語言是一種具有非單調(diào)推理能力的新型邏輯程序設(shè)計(jì)語言，具有直觀的知識(shí)表示形式和較強(qiáng)的容

2、變能力，從而成為求解復(fù)雜問題的一種知識(shí)規(guī)則表示和推理工具。因此，本文研究設(shè)計(jì)一種面向知識(shí)問答的結(jié)合ASP和本體的語言ASP4QA，目標(biāo)是設(shè)計(jì)實(shí)現(xiàn)一個(gè)ASP4QA的推理平臺(tái)，并將其用于高考地理推理類問題的求解，為以后的高考地理推理類問題求解系統(tǒng)構(gòu)建提供基礎(chǔ)。
　　本文的主要工作包括:1）設(shè)計(jì)一個(gè)面向知識(shí)問答的結(jié)合ASP和本體的語言ASP4QA;2)設(shè)計(jì)ASP4QA程序（或稱之為ASP4QA知識(shí)庫）的求解算法并探討其優(yōu)化方法;3）設(shè)計(jì)

3、與實(shí)現(xiàn)ASP4QA程序的求解器和推理平臺(tái);4）以高考地理中典型的推理問題為例，驗(yàn)證ASP4QA語言及其推理平臺(tái)的可用性。
　　本文的主要成果有:1）基于ASP語法設(shè)計(jì)了ASP4QA語言的語法，并且基于ASP的回答集語義提出了ASP4QA的穩(wěn)定模型語義;2）設(shè)計(jì)了ASP4QA程序的基本求解算法，并提出了其兩種優(yōu)化算法:重寫優(yōu)化算法和查詢消減算法;3）基于ASP求解器clingo和本體推理機(jī)Jena實(shí)現(xiàn)了ASP4QA求解器，在此基礎(chǔ)上