基于格值逻辑的不确定性推理研究
基本信息
批准号：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
WMTL-代数中的蕴涵滤子及其应用
WMTL-代数中的蕴涵滤子及其应用
DOI：10.11897/SP.J.1016.2018.00886
发表时间：2018
2
相关系数SVD增强随机共振的单向阀故障诊断
相关系数SVD增强随机共振的单向阀故障诊断
DOI：
发表时间：2018
3
不同内填材料生态复合墙体肋格单元试验研究
不同内填材料生态复合墙体肋格单元试验研究
DOI：
发表时间：2015
4
光纤光栅监测复合绝缘子非耐酸芯棒脆断过程
光纤光栅监测复合绝缘子非耐酸芯棒脆断过程
DOI：10.13336/j.1003-6520.hve.20201441
发表时间：2021
5
A Fast Algorithm for Computing Dominance Classes
A Fast Algorithm for Computing Dominance Classes
DOI：
发表时间：2016
徐扬的其他基金
批准号：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
项目类别：面上项目