【正文】 在這種情況下，可能要用到關(guān)于空間配置的定性推理。 空間推理的關(guān)鍵屬性： (1) 空間推理是以空間和存在于空間中的空間對象為研究對象 。 影響空間認(rèn)知的各種因素 性別 : Daly (1994) 在其報告中提到，按空間視覺能力高低 (有空間能力測試量表獲得 ) 將男、女被試排隊。 利用 9元組進(jìn)行 空間推理 是空間關(guān)系理論成果的另一重要應(yīng)用， 例如，人們用 9元組模型組建 空間關(guān)系的組合表 ，建立檢測拓?fù)潢P(guān)系一致性的推理機(jī)制 ， 通過 9元組建立空間關(guān)系之間的 概念鄰接模型 ，推導(dǎo) 空間關(guān)系的漸變過程 ，用于反映空間實(shí)體的變形過程。 例如，馬路旁的一棟房屋與馬路相鄰，但在幾何上并不相連，若欲判斷這種在人們看來一目了然的側(cè)向相鄰關(guān)系，采用線段交叉法，不僅要花費(fèi)較長的檢索與處理時間，而且往往要將一些面狀實(shí)體處理為多邊形 (polygon)。 相離關(guān)系描述 9元組模型雖然能較完備地描述空間拓?fù)潢P(guān)系，但 主要適用于 區(qū)分在空間上具有公共部分的兩實(shí)體的拓?fù)潢P(guān)系 ，而 難以區(qū)分 地理空間中 廣泛存在的鄰近關(guān)系 和 其它多種多樣的相離關(guān)系 。 投影法 是將空間目標(biāo)投影到特定的坐標(biāo)軸上，通過各目標(biāo)投影間的關(guān)系去描述與定義方向關(guān)系。 該方法用空間目標(biāo)的 Voronoi區(qū)域 (Voronoi region)作為其外部，對原 Egenhofer等人的 9元組模型進(jìn)行了改進(jìn)，建立了一種基于 Voronoi的新 9元組模型，簡稱為 V9I模型。 最具代表性的是 Randell等人提出的空間邏輯，基于 區(qū)域連結(jié)的定義 運(yùn)用 邏輯演算 的方法描述了 空間區(qū)域間的 8種關(guān)系 ，并發(fā)展了一種 基于空間邏輯的推理機(jī)制 。 此外， 空間關(guān)系 還與 空間范圍大小 或 空間尺度有關(guān) 。 例如一個橡皮圈能變形成一個圓圈或一個方圈。 主要內(nèi)容： 空間關(guān)系理論 ； 空間認(rèn)知理論 ； 空間推理理論 ； 空間數(shù)據(jù)模型理論； 地理信息機(jī)理理論； 地理信息不確定性理論； 等等。 還有其他的理論嗎？ 空間關(guān)系理論 空間關(guān)系是 GIS的 重要理論問題之一 ，在 GIS空間數(shù)據(jù)建模 、 空間查詢 、 空間分析 、 空間推理 、 制圖綜合 、 地圖理解 等過程中起著重要的作用。但是一個橡皮圈不能由拓?fù)渥儞Q成為一個阿拉伯?dāng)?shù)字 8。 郭慶勝根據(jù)區(qū)域范圍將空間關(guān)系區(qū)分為 全局性 與 區(qū)域性 空間關(guān)系，前者是指地理實(shí)體群之間的關(guān)系，后者指通常情況下的簡單實(shí)體間的關(guān)系。 1) C(x， y)：表示 x與 y相連。 陳軍的 V9I模型 Egenhofer的 9元組模型 由于該模型既考慮了空間實(shí)體的內(nèi)部和邊界，又將Voronoi區(qū)域看作一個整體，因而該模型有機(jī)地集成了 交叉 與 交互 方法的優(yōu)點(diǎn)，能夠克服原 9元組模型的一些缺點(diǎn)，包括無法區(qū)分相離關(guān)系、難以計算目標(biāo)的補(bǔ)等。 其中的投影可以是 正射投影 ，也可以是 斜率投影 。 陳軍等用基于 Voronoi的 9元組交集模型 —— V9I模型區(qū)分了 多種相離關(guān)系 ，李成名用其描述定義了 鄰近關(guān)系 ，并將結(jié)果用于 空間鄰近查詢 、 空間關(guān)系的推斷 。 若將 N個空間目標(biāo)做為 N個生長點(diǎn)，將整個連續(xù)空間劃分為 Voronoi鋪蓋 (Voronoi tesselation)，則每一空間目標(biāo)唯一地被一個 Voronoi區(qū)包含，不僅清晰地表達(dá)側(cè)向鄰近關(guān)系，而且空間目標(biāo)的修改、插入、移動等均成為局部操作， 空間實(shí)體 (如用于數(shù)字化的鼠標(biāo)，行駛中的車輛 )亦因此能夠在行進(jìn)過程中動態(tài)地確定相鄰空間目標(biāo)、障礙物等， 在空間數(shù)據(jù)動態(tài)處理與分析方面有著重要的應(yīng)用價值。 空間認(rèn)知理論 空間認(rèn)知理論 人類對周圍環(huán)境的認(rèn)知是通過 感覺器官 接收刺激，經(jīng)由中樞神經(jīng)系統(tǒng)將大量的信息綜合、分類、加工，從而形成各種知覺、思維、意識和情感。 完成心理旋轉(zhuǎn)作業(yè)后的實(shí)驗(yàn)結(jié)果表明，性別和技能水平上的差異是存在的，男被試的平均旋轉(zhuǎn)速度快于女被試。 我們不能脫離空間和存在于空間中的空間對象來研究空間推理 。 定性空間表示包括許多不同的方面，我們不僅要判定什么樣的空間實(shí)體是我們可以接受的 ， 同時還要考慮描述這些空間實(shí)體之間關(guān)系的不同方法。 (2)定性空間推理 當(dāng)描述一個空間配置或?qū)@樣的配置進(jìn)行推理的時候，要獲得精確、定量的數(shù)據(jù)通常是不可能的或不必要的。 在國外， 近年來成立了許多專門從事空間推理方面研究的協(xié)會和聯(lián)盟， 如 NCGIA (Nat ional Center for Geographic and Analysis)， USGS ( U. S. Geo logical Survey)， 歐洲定性空間推理網(wǎng) SPACENET 以及匹茲堡大學(xué)的空間信息研究組和慕尼黑大學(xué)空間推理研究組等等。 人對空間對象的立體感覺主要來自雙眼視差的橫向視察。 空間關(guān)系理論的應(yīng)用 空間分析在某種程度上是在 處理 空間實(shí)體之間的相互關(guān)系 ， 如 點(diǎn)模式識別 是在處理點(diǎn)狀目標(biāo)之間的鄰近關(guān)系與分布， 疊置分析 則處理多個空間目標(biāo)之間的相交、重疊等拓?fù)潢P(guān)系， 網(wǎng)絡(luò)分析 處理的空間實(shí)體之間的拓?fù)溧徑优c關(guān)聯(lián)， 鄰域分析 是在相互鄰近的空間實(shí)體之間進(jìn)行的。 基于 Voronoi圖的表達(dá)方法 關(guān)系表法等傳統(tǒng)的空間關(guān)系表達(dá)方法往往要求空間目標(biāo)在幾何上相連或相接，難以表達(dá) 側(cè)向相鄰關(guān)系 (lateral spatial adjacency)。 一些學(xué)者根據(jù)模糊理論進(jìn)行了距離關(guān)系的定性描述，如距離分級的方法，但仍沒有一個滿意的形式化統(tǒng)一數(shù)學(xué)模型。 方向關(guān)系的定性描述 主要有 投影法 (projection)和 錐形法(cone)。 實(shí)線為 Delaunay三角形，虛線為Voronoi圖。 其基本思想是運(yùn)用空間目標(biāo)的整體，而不是將目標(biāo)分解為更細(xì)的組成部分來區(qū)分與定義空間關(guān)系。 舒紅等總結(jié)了現(xiàn)有 時空拓?fù)潢P(guān)系 的研究成果，給出了時空拓?fù)潢P(guān)系的定義和基于點(diǎn)集理論的形式化描述。因?yàn)槿绻麍D形都是用橡皮做成的，就能把許多圖形進(jìn)行拓?fù)渥儞Q。 空間分析中有很多的理論性問題。 目前，國際上對空間關(guān)系的研究主要集中在 空間關(guān)系的語義問題 、 空間關(guān)系的描述 、 空間關(guān)系的表達(dá) 、 基于空間關(guān)系的分析 等方面。因?yàn)椴话讶ι系膬蓚€點(diǎn)重合在一起，圈就不會變成 8。 了解和分析人們在日常生活中如何 考慮 和 交流 空間關(guān)系 ，是空間關(guān)