| 汉密尔顿回路逻辑程序的两个结果 |
| |
| 引用本文： | 王以松,杨卓群,许欢.汉密尔顿回路逻辑程序的两个结果[J].贵州大学学报(自然科学版),2011,28(3):69-74. |
| |
| 作者姓名： | 王以松 杨卓群 许欢 |
| |
| 作者单位： | 贵州大学计算机科学与信息学院,贵州贵阳,550025 |
| |
| 基金项目： | 国家自然科学基金，贵州省自然科学基金，贵州省教育厅自然科学基金[，贵州大学引进人才项目[ |
| |
| 摘 要： | 基于回答集语义的逻辑程序提供了描述性问题求解的范例,而逻辑程序的一阶环公式提供了计算回答集的新方法——自动定理证明.本文研究了汉密尔顿回路逻辑程序的一阶环公式,证明了计算汉密尔顿回路的有助于提供计算效率的两个主要结果.
|
| 关 键 词： | 逻辑程序 回答集 环公式 汉密尔顿回路 |
Two Results for Hamiltonian Circuit Logic Programs |
| |
| WANG Yi-song,YANG Zhuo-qun,XU Huan.Two Results for Hamiltonian Circuit Logic Programs[J].Journal of Guizhou University(Natural Science),2011,28(3):69-74. |
| |
| Authors: | WANG Yi-song YANG Zhuo-qun XU Huan |
| |
| Institution: | (School of Computer Science & Information,Guizhou University,Guiyang 550025,China) |
| |
| Abstract: | The first-order loop formulas of the logic program for Hamiltonian circuit are studied in the paper.It shows that there is some potential improvement to compute answer sets of the logic program.It also reveals some guidance when using first-order theorem provers to compute Hamiltonian circuits. |
| |
| Keywords: | logic programs answer sets loop formulas Hamiltonian circuit |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
