《運算元Rough邏輯及其在數據發掘上套用的研究》是依託南昌大學，由劉清擔任項目負責人的面上項目。
基本介紹
- 中文名：運算元Rough邏輯及其在數據發掘上套用的研究
- 項目類別：面上項目
- 項目負責人：劉清
- 依託單位：南昌大學
- 負責人職稱：教授
- 申請代碼：F0201
- 研究期限：1998-01-01 至 2000-12-31
- 批准號：69773001
- 支持經費：8（萬元）
項目摘要
主要研究運算元Rough邏輯及其被用於資料庫中的數據挖掘。共發表了20篇論文，其中5篇發表於國際學術刊物，另15篇分別發表於《計算機學報》等國內刊物。完成了一部著作《Rough集及Rough推理》。成果的創新之處在於它建立了真值邏輯概念並建立了這種邏輯的語法和語義，歸結原理和歸結策略等新結果。真值邏輯概念將為經典邏輯非單調化提供了新的途徑，也為Rough集推理提供了具體的套用。學術界反映良好，Rough集的創始人Pawlak稱“真值邏輯是一個好的開狀”也有人稱“真值邏輯的提出是個好主意”，它將為國際上的大邏輯學家王浩提出的“Approximate proof”的實現邁出了初步的一步。有的論文被美國柯爾比科學文化信息中心作為優秀論文錄入全球信息網。
