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

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

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

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