基于Rough集的不確定性知識處理及Rough邏輯推理的研究.pdf

1、不確定性知識的表示和處理一向是專家學(xué)者研究的熱點(diǎn)，尋求有效的方法刻畫和處理不確定性知識是Rough集理論研究的重要方向。在Rough集理論中存在著幾種原因引起了知識的不確定性，其中來自給定論域里粗糙近似的邊界和直接源于對論域的不完全認(rèn)識是導(dǎo)致知識不確定性的兩個原因，本文在對這兩種引起知識不確定性的原因研究分析的基礎(chǔ)上，給出了Rough β可觀察集和Rough包含的定義，并用Rough可觀察和Rough包含兩種方法，使不確定性知識在一定程

2、度上得以確定化。其中在處理對論域不完全認(rèn)識所引起的不確定性知識時用到了Rough邏輯推理的思想，因此文中也對Rough邏輯中的邏輯推理做了相應(yīng)的研究。 自Rough集理論提出以來，對數(shù)理邏輯感興趣的學(xué)者希望通過Rough集理論建立Rough邏輯，把Rough集的概念引入到邏輯中，從而形成了Rough集理論一個新的研究方向：Rough邏輯。由于Rough邏輯更注重公式的語義和語義推理，而不僅僅只是形式推演，因此基于Rough集不精

3、確推理的語義分析已經(jīng)成為了Rough邏輯研究的課題之在對Rough邏輯的研究方面，本文在近似空間M=(U<'n>，R)上展開討論，其目的是要把Pawlak提出的Rough邏輯中的公式進(jìn)行推廣，將其所涉及的論域從與U有關(guān)擴(kuò)展到n(n≥1)個U的笛卡爾積U<'n>之上，并對這些推廣的n元公式進(jìn)行研究。文中的Rough邏輯系統(tǒng)是建立在Pawlak的Rough邏輯之上的，并以Rough邏輯中的五種邏輯值為基礎(chǔ)，定義了n維近似空間上的n元公式。針