Domain理论在不确定性推理中的应用

基本信息
批准号:11026081
项目类别:数学天元基金项目
资助金额:3.00
负责人:雷银彬
学科分类:
依托单位:电子科技大学
批准年份:2010
结题年份:2011
起止时间:2011-01-01 - 2011-12-31
项目状态: 已结题
项目参与者:王建军
关键词:
范畴不确定性推理domain拓扑
结项摘要

Domain理论作为计算机程序设计语言研究的数学基础,引起了拓扑学和计算机科学研究者的共同兴趣。其创建的初衷是为程序设计的指称语义提供数学模型。程序设计的关键技术是逻辑推理,从而揭示了Domain理论与逻辑推理之间的内在联系。拓扑与序的相互结合在Domain领域起着基本而重要的作用,正是这一特征,使得该理论与许多数学学科产生了密切的联系。本项目将沿着这个思路,利用拓扑学和范畴论的方法研究Domain结构的逻辑特征,试图将其应用在逻辑推理中,尤其是不确定性推理中,进而为不确定性逻辑框架的构建作一些基础。

项目摘要

项目成果
{{index+1}}

{{i.achievement_title}}

{{i.achievement_title}}

DOI:{{i.doi}}
发表时间:{{i.publish_year}}

暂无此项成果

数据更新时间:2023-05-31

其他相关文献

1

SPOP suppresses pancreatic cancer progression by promoting the degradation of NANOG

SPOP suppresses pancreatic cancer progression by promoting the degradation of NANOG

DOI:10.1038/s41419-019-2017-z
发表时间:2019
2

A Fast Algorithm for Computing Dominance Classes

A Fast Algorithm for Computing Dominance Classes

DOI:
发表时间:2016
3

收入不确定性对城镇居民消费率的不对称影响

收入不确定性对城镇居民消费率的不对称影响

DOI:
发表时间:2019
4

CMIP6火山强迫的气候响应模拟比较计划(VolMIP)概况与评述

CMIP6火山强迫的气候响应模拟比较计划(VolMIP)概况与评述

DOI:10.12006/j.issn.1673-1719.2019.087
发表时间:2019
5

Modeling of frequency-domain elastic-wave equation with a general optimal scheme

Modeling of frequency-domain elastic-wave equation with a general optimal scheme

DOI:10.1016/j.jappgeo.2018.07.014
发表时间:2018

雷银彬的其他基金

批准号:11201053
批准年份:2012
资助金额:22.00
项目类别:青年科学基金项目

相似国自然基金

1

不确定性推理及其在形式计算理论中的应用

批准号:10871137
批准年份:2008
负责人:寇辉
学科分类:A0602
资助金额:23.00
项目类别:面上项目
2

Domain理论在拓扑学中的应用

批准号:10126007
批准年份:2001
负责人:寇辉
学科分类:A0112
资助金额:2.00
项目类别:数学天元基金项目
3

序拓扑结构及其在Domain理论中的应用

批准号:11871353
批准年份:2018
负责人:寇辉
学科分类:A0112
资助金额:53.00
项目类别:面上项目
4

逻辑等价算子在不确定性推理中的应用

批准号:11626035
批准年份:2016
负责人:段景瑶
学科分类:A0602
资助金额:3.00
项目类别:数学天元基金项目