基于描述邏輯的定性空間推理研究.pdf

1、定性空間推理結(jié)合了定性推理、空間推理與人工智能，它已經(jīng)成為人工智能領(lǐng)域的一個研究熱點。定性空間推理研究人類對幾何空間中的空間對象及其關(guān)系定性認知常識的表示與處理。作為空間關(guān)系的重要組成部分，空間拓撲關(guān)系研究空間對象在拓撲變換下不變的性質(zhì)，它是定性空間關(guān)系建立的基礎(chǔ)。因此，空間拓撲關(guān)系的表示與推理非常重要。
　　 目前，空間拓撲關(guān)系的研究取得了很大進展，但這些研究若直接使用一階邏輯，而不附加任何約束，則一方面破壞了知識的結(jié)構(gòu)特性，

2、不便于用來驅(qū)動推理，另一方面，對獲得可判定和有效性的推理問題來說，一階邏輯表達能力太強。始于20世紀80年代的描述邏輯，是一階謂詞邏輯的一個可判定的子集，它能夠提供可判定的推理服務(wù)，因此，描述邏輯在十多年來受到人們的特別關(guān)注，并且作為知識表示的工具，在越來越多的領(lǐng)域中得到較好的應(yīng)用，但是目前在定性空間推理方面的應(yīng)用的研究還較少。本論文將描述邏輯應(yīng)用到空間推理中，充分利用描述邏輯較強的表達和推理能力，提高空間推理的準確性和可判定性。本文主

3、要進行了以下幾個方面的研究工作：
　　 ①定性空間具體域分析了現(xiàn)有各種空間拓撲關(guān)系表示方法，然后結(jié)合描述邏輯，給出了定性空間具體域，該具體域包括空間對象的基元集合以及空間對象間拓撲關(guān)系集合。在此基礎(chǔ)上，對具體域中表達的空間拓撲關(guān)系進行符號化表示，用描述邏輯的形式表達空間關(guān)系。
　　 ②基于描述邏輯關(guān)系斷言的空間拓撲關(guān)系推理規(guī)則給出了基于描述邏輯關(guān)系斷言的空間拓撲關(guān)系推理規(guī)則，并用實例說明了推理規(guī)則的運用。