当前位置：
数字出版物超市 >> 
非经典逻辑的自动推理
非经典逻辑的自动推理
【项目名称】 非经典逻辑的自动推理
【项目编号】 60273080
【项目目标】
【项目关键词】 表演算 非经典逻辑 自动推理 一阶逻辑 因果推理 描述逻辑 等词 广义产品 整数规划 多值逻辑 知识表示 认知科学 约束推理 tableau 配置模型 物料清单 产品配置 推理 有向图 计算模式 逻辑 语义 因果关系 Web 特有属性 约束表达 属性约束 命题公式 基本语法 IP方法 在线配置
【项目承办单位】 吉林大学;
【项目负责人】 孙吉贵;
【项目来源】 国家自然科学基金项目
【涉及学科】 自动化技术
【科研经费】 22万
【所属大项目】
【项目参与研究人员】
    【项目参与研究机构】
    >>更多
    【项目成果摘要】 对多种经典逻辑和非经典逻辑的表推演问题进行了分类,研制与之相适应的有效表推演推理理论和算法。将该项目提出的扩展规则证明方法推广到了模态逻辑,建立了模态逻辑的扩展规则推理方法,并提出了一种基于扩展规则的高效知识编译方法。提出了一种充分利用结构信息进行量子搜索算法设计的方法,对基于Haar小波多尺度分析的量子电路设计方法进行了探索。提出了一种支持非规则维的完整的数据仓库多维数据模型。;
    【发布单位】 国家自然科学基金委员会
    【发布时间】 2001-12-04
    【申请截止时间】 2002-03-31
    【立项时间】 2003-01
    【完成时间】 2005-12
    【申请条件】
    【联系方式】
    【项目信息来源】 https://isis.nsfc.gov.cn/portal/proj_search.asp
    加载本项目科研成果产出报表....
    加载本项目科研成果....
    加载项目负责人以往科研成果....
    加载同类科研项目成果比较....
    加载本项目科研成果引证文献....
    加载学术文献....
    加载所属大项目下的其它项目....
    加载相关研究人员....
    加载相关研究机构....