欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
位置：立项数据库 > 立项详情页
中文摘要：
本项目主要有以下三方面的研究成果（1）基于概率的不确定性推理。从逻辑等价和代数同构的角度讨论了定性似然结构之间的关系, 给出定性似然测度关于缺省推理系统逻辑等价的冲要条件. 通过将信念定义为相对的(不确定的)概念, 建立了信念逻辑和信念修正逻辑系统，并证明它们关于对应的语义模型是可靠和完备的. （2）构造模糊自动机等结构所依赖的模糊数学基础理论- - - - 模糊集范畴的性质。刻画了该范畴中的子对象、幂对象、等化子等，证明了对应范畴的完备性和ｃａｒｔｅｓａｉn闭性. (3) 与不确定性推理关系密切的格序理论. 证明了超连续domain范畴的cartesian闭性，提出并刻画了FS-交连续domain及对应范畴的性质，建立了基于部分二元运算的幂domain理论. 本项目共发表论文16篇，达到预期研究目的。
结论摘要：
英文主题词Reasoning about uncertainty;Fuzzy set theory; Order theory
成果综合统计
期刊论文
会议论文
专利
获奖
著作
期刊论文
相关项目
寇辉的项目
