带函数的正规逻辑程序设计系统

• 作者: 王以松 魏昆鹏
• 来源期刊: 贵州大学学报（自然科学版）
• 学科: 工学
• 关键词: 人工智能 逻辑程序 回答集 函数
• 年，卷（期）: 2009,（2）
• 所属期刊栏目: 工程技术科学研究及应用
• 页码范围: 61-66
• 页数: 6页
• 分类号: TP311.1
• 字数: 559字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-5269.2009.02.018

摘要

带函数的回答集程序设计(FASP)允许在正规逻辑程序中嵌入函数符号,描述了这个系统fasp的设计与实现.其基本思想是把简单函数和原子当成变量,程序的Clark完备化和环公式约束处理(CSP)中的约束,然后通过已有的CSP求解器来计算其CSP例的解.ASP的测试用例也可通过fasp应用于CSP中.我们用汉密尔顿回路问题和N-皇后问题测试了该系统,并与其它系统进行了比较,实验结果表明,fasp对N-皇后问题有较好的效率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王以松	贵州大学计算机科学与技术学院	23	51	4.0	5.0
2	魏昆鹏	贵州大学计算机科学与技术学院	4	13	2.0	3.0