形式概念分析中的知識表示和推理

目錄《信息科學(xué)技術(shù)學(xué)術(shù)著作叢書》序 序前言 第1章 緒論 1 1.1 研究現(xiàn)狀 1 1.2 研究內(nèi)容 2 第2章 預(yù)備知識 6 2.1 格論 6 2.2 形式概念分析 6 第3章 決策蘊(yùn)涵邏輯 9 3.1 邏輯研究：決策蘊(yùn)涵的語義 10 3.1.1 決策蘊(yùn)涵 10 3.1.2 模型判定 17 3.1.3 完備性判定 19 3.2 邏輯研究：決策蘊(yùn)涵的語構(gòu) 20 3.3 數(shù)據(jù)研究：決策背景中的決策蘊(yùn)涵 22 3.3.1 決策背景中的決策蘊(yùn)涵 22 3.3.2 基于決策蘊(yùn)涵集構(gòu)建決策背景 25 3.4 小結(jié) 27 第4章 決策蘊(yùn)涵規(guī)范基 28 4.1 決策前提和決策蘊(yùn)涵規(guī)范基 28 4.2 基于最小生成子的決策蘊(yùn)涵規(guī)范基生成方法 32 4.2.1 最小生成子和決策前提 32 4.2.2 實(shí)驗(yàn)驗(yàn)證 34 4.3 基于真前提的決策蘊(yùn)涵規(guī)范基生成方法 36 4.3.1 決策前提和真前提 36 4.3.2 真前提的生成方法 38 4.3.3 基于真前提的決策蘊(yùn)涵規(guī)范基生成算法 41 4.3.4 實(shí)驗(yàn)驗(yàn)證 454.4 小結(jié) 47 第5章 決策蘊(yùn)涵上的推理規(guī)則和推理過程 48 5.1 后件合并推理規(guī)則 48 5.2 推理規(guī)則的交互作用 51 5.2.1 推理規(guī)則的推理次數(shù) 51 5.2.2 推理規(guī)則的推理次序 53 5.3 推理規(guī)則的應(yīng)用次數(shù)和次序?qū)ν评磉^程的影響 55 5.4 推理方法 57 5.5 實(shí)驗(yàn)結(jié)果與分析 62 5.6 小結(jié) 74 第6章 決策蘊(yùn)涵的知識表示能力 75 6.1 概念規(guī)則和粒規(guī)則 75 6.2 概念規(guī)則和決策蘊(yùn)涵的知識表示能力 77 6.3 粒規(guī)則和決策蘊(yùn)涵的知識表示能力 83 6.4 粒規(guī)則和概念規(guī)則的知識表示能力 85 6.5 概念規(guī)則和粒規(guī)則相關(guān)工作評述 87 6.6 小結(jié) 89 第7章 模糊決策蘊(yùn)涵邏輯 91 7.1 基礎(chǔ)知識：完備剩余格與L-模糊集 92 7.2 邏輯研究：模糊決策蘊(yùn)涵的語義 96 7.2.1 模糊決策蘊(yùn)涵的基礎(chǔ)語義 97 7.2.2 一致閉包及其性質(zhì) 101 7.3 邏輯研究：模糊決策蘊(yùn)涵的語構(gòu) 105 7.4 數(shù)據(jù)研究：模糊決策背景中的模糊決策蘊(yùn)涵 109 7.4.1 模糊決策背景 109 7.4.2 模糊決策背景中的模糊決策蘊(yùn)涵 111 7.4.3 基于模糊決策蘊(yùn)涵的模糊決策背景 116 7.5 小結(jié) 118 第8章 模糊決策蘊(yùn)涵規(guī)范基 120 8.1 模糊決策前提和模糊決策蘊(yùn)涵規(guī)范基 120 8.2 模糊決策背景中的模糊決策蘊(yùn)涵規(guī)范基 126 8.3 小結(jié) 128 第9章 模糊屬性約簡 129 9.1 基于模糊屬性蘊(yùn)涵的模糊屬性約簡 130 9.2 基于ukasiewicz伴隨對的模糊屬性約簡方法 1349.3 實(shí)驗(yàn)和分析 139 9.4 小結(jié) 140 第10章 可變決策蘊(yùn)涵邏輯 142 10.1 可變決策蘊(yùn)涵 143 10.1.1 可變決策蘊(yùn)涵的語義 144 10.1.2 可變決策蘊(yùn)涵的語構(gòu) 150 10.2 受限可變決策蘊(yùn)涵 153 10.2.1 受限可變決策蘊(yùn)涵的語義 154 10.2.2 受限可變決策蘊(yùn)涵的語構(gòu) 156 10.2.3 受限可變決策蘊(yùn)涵和決策蘊(yùn)涵 158 10.3 案例分析 160 10.4 小結(jié) 163 參考文獻(xiàn) 165