容错逻辑及其应用研究
基本信息
批准号：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：
发表时间：2020
2
结直肠癌免疫治疗的多模态影像及分子影像评估
结直肠癌免疫治疗的多模态影像及分子影像评估
DOI：10.13609/j.cnki.1000-0313.2022.04.019
发表时间：2022
3
智能煤矿建设路线与工程实践
智能煤矿建设路线与工程实践
DOI：10.13199/j.cnki.cst.2020.07.010
发表时间：2020
4
长链基因间非编码RNA 00681竞争性结合miR-16促进黑素瘤细胞侵袭和迁移
长链基因间非编码RNA 00681竞争性结合miR-16促进黑素瘤细胞侵袭和迁移
DOI：
发表时间：2021
5
非牛顿流体剪切稀化特性的分子动力学模拟
非牛顿流体剪切稀化特性的分子动力学模拟
DOI：10.7498/aps.70.20202116
发表时间：2021
林作铨的其他基金
批准号：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
项目类别：面上项目