容错逻辑及其应用研究
基本信息
批准号：69803001
项目类别：青年科学基金项目
资助金额：15.00
负责人：林作铨
学科分类：
依托单位：北京大学
批准年份：1998
结题年份：2001
起止时间：1999-01-01 - 2001-12-31
项目状态： 已结题
项目参与者：王正秦,张树义,李谨波,宋兵,彭宏汇
关键词：
非单调逻辑人工智能
结项摘要
研究人工智能中非单调逻辑的理论，实现和应用问题。理论方面研究非单调逻辑存在的关键难题，实现方面研制面向问题求解的自动非单调推理系统和逻辑程序系统，应用方面建立具有非单调推理能力的软件agent。该研究将解决非单调逻辑中从理论，实现到应用密切联系墓丶际酰⑻峁┚哂写葱碌睦砺酆腿砑匀斯ぶ悄芎椭悄芗妓慊⒄咕哂兄匾质狄庖濉
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
低轨卫星通信信道分配策略
低轨卫星通信信道分配策略
DOI：10.12068/j.issn.1005-3026.2019.06.009
发表时间：2019
2
Wnt 信号通路在非小细胞肺癌中的研究进展
Wnt 信号通路在非小细胞肺癌中的研究进展
DOI：
发表时间：2016
3
基于LBS的移动定向优惠券策略
基于LBS的移动定向优惠券策略
DOI：10.3969/j.issn.1005-2542.2020.02.009
发表时间：2020
4
基于天然气发动机排气余热回收系统的非共沸混合工质性能分析
基于天然气发动机排气余热回收系统的非共沸混合工质性能分析
DOI：10.3969/j.issn.1001-2222.2015.03.010
发表时间：2015
5
下调SNHG16对胃癌细胞HGC-27细胞周期的影响
下调SNHG16对胃癌细胞HGC-27细胞周期的影响
DOI：
发表时间：2017
林作铨的其他基金
批准号：69375011
批准年份：1993
资助金额：4.00
项目类别：面上项目
批准号：60973003
批准年份：2009
资助金额：29.00
项目类别：面上项目
批准号：60373002
批准年份：2003
资助金额：20.00
项目类别：面上项目
批准号：61672049
批准年份：2016
资助金额：59.00
项目类别：面上项目
批准号：69673045
批准年份：1996
资助金额：8.00
项目类别：面上项目
相似国自然基金
1
基于高阶逻辑的归纳逻辑程序设计学习算法及其应用研究
批准号：61300098
批准年份：2013
负责人：李艳娟
学科分类：F0605
资助金额：25.00
项目类别：青年科学基金项目
2
逻辑电路的可靠性估算方法和容错结构研究
批准号：61401205
批准年份：2014
负责人：班恬
学科分类：F0118
资助金额：27.00
项目类别：青年科学基金项目
3
应用逻辑、数理逻辑及其在计算机科学技术中的应用研究
批准号：69173324
批准年份：1991
负责人：杨东屏
学科分类：F0201
资助金额：4.00
项目类别：面上项目
4
智能容错控制系统理论及其应用研究
批准号：69274015
批准年份：1992
负责人：张友民
学科分类：F0302
资助金额：5.60
项目类别：面上项目