基于格值逻辑的不确定性推理研究
基本信息
批准号：60074014
项目类别：面上项目
资助金额：18.00
负责人：徐扬
学科分类：
依托单位：西南交通大学
批准年份：2000
结题年份：2003
起止时间：2001-01-01 - 2003-12-31
项目状态： 已结题
项目参与者：秦克云,宋振明,刘军,吴建乐,赵海良,赵光锋,李天瑞,王凤勤,马骏
关键词：
不确定性推理格值逻辑
结项摘要
本项目基于格值逻辑研究既能处理全序、也能处理非全序不确定性信息的不确定性推理。在动态格值命题逻辑系统Lvpl和动态格值一阶逻辑系统Lvfl中分别构建不确定性推理的理论、方法及软件；在格值命题逻辑系统LP（X）和格值一阶逻辑系统LF（X）中分别构建α-归结远评淼睦砺邸⒎椒叭砑Ｎ茉谌蚝头侨虿蝗范ㄐ孕畔⒔蝗诘幕肪持薪型评硖峁┯行侄巍?.
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
玉米叶向值的全基因组关联分析
玉米叶向值的全基因组关联分析
DOI：
发表时间：
2
格雷类药物治疗冠心病疗效的网状Meta分析
格雷类药物治疗冠心病疗效的网状Meta分析
DOI：10.12092/j.issn.1009-2501.2018.03.010
发表时间：2018
3
不同pH值下锑(V)对大麦根伸长的毒性及其生物配体模型的构建
不同pH值下锑(V)对大麦根伸长的毒性及其生物配体模型的构建
DOI：10.7524/AJE.1673-5897.20200216001
发表时间：2020
4
感知的环境动态性与创业团队创新 ——基于团队成员的不确定性降低动机
感知的环境动态性与创业团队创新 ——基于团队成员的不确定性降低动机
DOI：DOI:10.15886/j.cnki.hnus.20210430.002
发表时间：2021
5
硅泡沫的超弹压缩和应力松弛的不确定性表征
硅泡沫的超弹压缩和应力松弛的不确定性表征
DOI：
发表时间：
徐扬的其他基金
批准号：69073327
批准年份：1990
资助金额：2.00
项目类别：面上项目
批准号：51802299
批准年份：2018
资助金额：23.00
项目类别：青年科学基金项目
批准号：31501911
批准年份：2015
资助金额：19.00
项目类别：青年科学基金项目
批准号：69674015
批准年份：1996
资助金额：14.30
项目类别：面上项目
批准号：61175055
批准年份：2011
资助金额：59.00
项目类别：面上项目
批准号：61802292
批准年份：2018
资助金额：27.00
项目类别：青年科学基金项目
批准号：31901574
批准年份：2019
资助金额：25.00
项目类别：青年科学基金项目
批准号：60875034
批准年份：2008
资助金额：32.00
项目类别：面上项目
批准号：69774016
批准年份：1997
资助金额：36.00
项目类别：面上项目
批准号：60474022
批准年份：2004
资助金额：26.00
项目类别：面上项目
批准号：31801028
批准年份：2018
资助金额：24.00
项目类别：青年科学基金项目
批准号：61673320
批准年份：2016
资助金额：59.00
项目类别：面上项目
相似国自然基金
1
基于格值逻辑的语言真值归结自动推理研究
批准号：60474022
批准年份：2004
负责人：徐扬
学科分类：F0301
资助金额：26.00
项目类别：面上项目
2
基于格值逻辑的语言真值α-广义归结自动推理研究
批准号：60875034
批准年份：2008
负责人：徐扬
学科分类：F0601
资助金额：32.00
项目类别：面上项目
3
基于格值逻辑的α-锁归结与α-锁调解自动推理
批准号：61305074
批准年份：2013
负责人：何星星
学科分类：F0601
资助金额：22.00
项目类别：青年科学基金项目
4
基于格值逻辑的α-n(t)元归结动态自动推理研究
批准号：61175055
批准年份：2011
负责人：徐扬
学科分类：F0601
资助金额：59.00
项目类别：面上项目