关于表示与求解约束满足问题的逻辑编程方法的比较
计算机科学中的逻辑
2007-05-23 v1
摘要
许多基于逻辑编程的方法可用于描述和求解组合搜索问题。一方面有确定性程序和约束逻辑程序，它们将解决方案计算为包含约束满足问题变量的查询的答案替换。另一方面有基于稳定模型语义、归纳推理和一阶逻辑模型生成的方法，它们将解决方案计算为某种理论的模型。本文从知识表示（程序的声明性如何）和性能（它们在解决典型问题方面如何好）两个角度比较这些不同的方法。
引用
@article{arxiv.cs/0003026,
title = {A Comparison of Logic Programming Approaches for Representation and Solving of Constraint Satisfaction Problems},
author = {Nikolay Pelov and Emmanuel De Mot and Maurice Bruynooghe},
journal= {arXiv preprint arXiv:cs/0003026},
year = {2007}
}
备注
9 pages, 3 figures submitted to NMR 2000, April 9-11, Breckenridge, Colorado