关于扩充的逻辑程序

• 作者: 王以松
• 来源期刊: 贵州大学学报（自然科学版）
• 学科: 工学
• 关键词: 人工智能 逻辑程序 回答集 约束
• 年，卷（期）: 2006,（3）
• 所属期刊栏目: 研究报告
• 页码范围: 283-288
• 页数: 6页
• 分类号: TP301
• 字数: 1726字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-5269.2006.03.018

摘要

在这篇文章中,我们从理论和实际计算的观点两方面研究了扩充逻辑程序中的经典否定和约束.我们发现,在保持原有程序回答集语义的前提下,经典否定和约束都可以通过引入新的原子来消除.我们的实验结果表明,一般情况下,引入新的原子会增加计算开销,但是这里有一个关于16-皇后问题的例外.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王以松	贵州大学信息与计算机科学学院	23	51	4.0	5.0