您的位置： 专家智库 > >

国家自然科学基金(NSF90718009)

作品数：1 被引量：3H指数：1
相关作者：魏昆鹏王以松更多>>
相关机构：贵州大学更多>>
发文基金：国家自然科学基金贵州省教育厅自然科学研究项目贵州省自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇英文
  • 1篇人工智能
  • 1篇逻辑程序
  • 1篇函数

机构

  • 1篇贵州大学

作者

  • 1篇王以松
  • 1篇魏昆鹏

传媒

  • 1篇贵州大学学报...

年份

  • 1篇2009
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
带函数的正规逻辑程序设计系统(英文)被引量：3
2009年
带函数的回答集程序设计(FASP)允许在正规逻辑程序中嵌入函数符号,描述了这个系统fasp的设计与实现。其基本思想是把简单函数和原子当成变量,程序的Clark完备化和环公式约束处理(CSP)中的约束,然后通过已有的CSP求解器来计算其CSP例的解。ASP的测试用例也可通过fasp应用于CSP中。我们用汉密尔顿回路问题和N-皇后问题测试了该系统,并与其它系统进行了比较,实验结果表明,fasp对N-皇后问题有较好的效率。
王以松魏昆鹏
关键词：人工智能逻辑程序函数
全选 清除 导出
共1页<1>
聚类工具0