模糊逻辑形式系统的构造、判定及定理证明算法研究
基本信息
批准号：60663002
项目类别：地区科学基金项目
资助金额：7.00
负责人：王三民
学科分类：
依托单位：南昌大学
批准年份：2006
结题年份：2007
起止时间：2007-01-01 - 2007-12-31
项目状态： 已结题
项目参与者：王命延,覃锋,江顺亮,周明建,L·Godo
关键词：
形式系统定理证明算法模糊逻辑线性逻辑可判定性
结项摘要
本项目的研究内容包括：基于左连续三角模的剩余格上的模糊逻辑形式系统MTL的判定问题及算法复杂性分析；运用柯里-霍华德同构理论研究适于MTL的定理证明算法并开发出相应软件；借助所开发的软件对MTL及其扩张展开研究，包括构造新的扩张系统，简化有关系统的公理以及解决有关的一些公开问题；实现直觉主义线性逻辑的蕴涵子逻辑BCI中定理证明算法并构造出BCI上的最小模糊逻辑系统FBCI。这些都属于当前国际上模糊
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
基于分形L系统的水稻根系建模方法研究
基于分形L系统的水稻根系建模方法研究
DOI：10.13836/j.jjau.2020047
发表时间：2020
2
粗颗粒土的静止土压力系数非线性分析与计算方法
粗颗粒土的静止土压力系数非线性分析与计算方法
DOI：10.16285/j.rsm.2019.1280
发表时间：2019
3
拥堵路网交通流均衡分配模型
拥堵路网交通流均衡分配模型
DOI：10.11918/j.issn.0367-6234.201804030
发表时间：2019
4
卫生系统韧性研究概况及其展望
卫生系统韧性研究概况及其展望
DOI：10.16506/j.1009-6639.2018.11.016
发表时间：2018
5
面向云工作流安全的任务调度方法
面向云工作流安全的任务调度方法
DOI：10.7544/issn1000-1239.2018.20170425
发表时间：2018
王三民的其他基金
批准号：61379018
批准年份：2013
资助金额：58.00
项目类别：面上项目
批准号：51175422
批准年份：2011
资助金额：62.00
项目类别：面上项目
批准号：50875210
批准年份：2008
资助金额：33.00
项目类别：面上项目
批准号：60863002
批准年份：2008
资助金额：16.00
项目类别：地区科学基金项目
相似国自然基金
1
高阶逻辑定理证明技术
批准号：69673007
批准年份：1996
负责人：陆汝占
学科分类：F0201
资助金额：6.00
项目类别：面上项目
2
模糊逻辑证明论、量词理论及蕴涵算子的构造问题研究
批准号：60863002
批准年份：2008
负责人：王三民
学科分类：F0201
资助金额：16.00
项目类别：地区科学基金项目
3
非可换逻辑证明论与模糊推理算法研究
批准号：61273018
批准年份：2012
负责人：罗敏霞
学科分类：F0601
资助金额：60.00
项目类别：面上项目
4
基于tableau的非经典逻辑经典化的自动定理证明研究
批准号：60873116
批准年份：2008
负责人：刘全
学科分类：F0201
资助金额：35.00
项目类别：面上项目