您的位置： 专家智库 > >

钟元生

作品数：1 被引量：0H指数：0
供职机构：江西师范大学计算机科学系更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇人工智能

机构

  • 1篇江西师范大学

作者

  • 1篇黄明和
  • 1篇钟元生

传媒

  • 1篇计算机研究与...

年份

  • 1篇1992
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
过河算法的综合
1992年
过河问题是一个古典的人工智能问题,过去的算法或程序都是非形式化的,其正确性无法得到保证,并且一般只能求问题的特解.本文把原问题推广到一般情况,从一个清晰明确的数学描述出发,采用程序变换途径,结合适当选取参数和过滤器(逻辑表达式)的方法,以保证方程递归,提高算法效率,最终完全形式化地推导出能求问题全部解的正确的类函数式程序.
黄明和钟元生邓少敏
关键词：人工智能
全选 清除 导出
共1页<1>
聚类工具0