Rough逻辑归结原理和归结策略的研究
批准号：
60173054
项目类别：
面上项目
资助金额：
18.0 万元
负责人：
刘清
依托单位：
学科分类：
计算机科学的基础理论
结题年份：
2004
批准年份：
2001
项目状态：
已结题
项目参与者：
黄兆华、江顺亮、姚力文、林早阳、郑非、邓大勇
关键词：
项目摘要
结项摘要
刘清的其他基金
相似基金
相关文献
中文摘要
主要研究Rough逻辑公理系统。只有形成分理化系统才有可能提出Rough逻辑的归结原理和归结策略；归结可以是命题逻辑，也可以是谓词逻辑，若是后者则将涉及对文字合一的研究，故致力于提出文字合一算法。如此的研究内容对于Rough集理论进一步完善及其应用的拓广潜匾模乇鹗峭毓鉘ough逻辑在近似推理中的应用更有深远的理论价值和现实意义。
英文摘要
算子Rough逻辑及其在数据发掘上应用的研究
-
批准号：69773001
-
项目类别：面上项目
-
资助金额：8.0万元
-
批准年份：1997
-
负责人：刘清
-
依托单位：
基于时态逻辑公式演绎的程序生成系统
-
批准号：69083306
-
项目类别：专项基金项目
-
资助金额：2.9万元
-
批准年份：1990
-
负责人：刘清
-
依托单位：
国内基金
海外基金