咨询与建议

限定检索结果

文献类型

  • 2 篇 期刊文献

馆藏范围

  • 2 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1 篇 哲学
    • 1 篇 哲学
  • 1 篇 工学
    • 1 篇 控制科学与工程
    • 1 篇 计算机科学与技术...
    • 1 篇 软件工程
  • 1 篇 管理学
    • 1 篇 管理科学与工程(可...

主题

  • 2 篇 标准推理
  • 1 篇 建模
  • 1 篇 人工智能
  • 1 篇 非标准推理
  • 1 篇 匹配
  • 1 篇 算法设计
  • 1 篇 描述逻辑

机构

  • 1 篇 大同师范高等专科...
  • 1 篇 中南大学
  • 1 篇 广西师范大学

作者

  • 1 篇 黄晓军
  • 1 篇 王驹
  • 1 篇 唐素勤
  • 1 篇 蒋运承
  • 1 篇 蔡自兴

语言

  • 2 篇 中文
检索条件"主题词=标准推理"
2 条 记 录,以下是1-10 订阅
排序:
描述逻辑非标准推理
收藏 引用
模式识别与人工智能 2010年 第4期23卷 522-530页
作者: 唐素勤 蔡自兴 王驹 蒋运承 中南大学信息科学与工程学院 长沙410083 广西师范大学计算机科学与信息工程学院 桂林541004
描述逻辑是知识工程应用领域中重要的一类知识表示形式化工具.近年来,解决描述逻辑标准推理和非标准推理已成为描述逻辑研究的一个重要内容.文中概述描述逻辑的标准推理和非标准推理的重要性和研究进展,给出LCS推理、MSC推理、重写推理... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于认识论视角下的数学算法分析
收藏 引用
电子技术(上海) 2020年 第10期49卷 32-33页
作者: 黄晓军 大同师范高等专科学校 山西037039
研究基于数学算法的设计,从理解模拟某种认知关系的框架的形式和计算性质的角度。阐述对标准推理统计论证的建模,从逻辑人工智能和分析认识论两方面得出结果。
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论