一個結(jié)合規(guī)則與本體的推理平臺的設(shè)計與實現(xiàn).pdf

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

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

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