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

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

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

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