用于表示与求解约束满足问题的逻辑编程方法比较
人工智能
2007-05-23 v1
摘要
许多基于逻辑编程的方法可用于描述和求解组合搜索问题。一方面是约束逻辑编程，它将解计算为包含约束满足问题变量的查询的回答替换；另一方面是基于稳定模型语义的系统、溯因系统以及一阶逻辑模型生成器，它们将解计算为某理论模型。本文从知识表示（程序具有多高声明性）和性能（求解典型问题的能力如何）两个角度比较这些不同方法。
引用
@article{arxiv.cs/0011030,
title = {Logic Programming Approaches for Representing and Solving Constraint Satisfaction Problems: A Comparison},
author = {Nikolay Pelov and Emmanuel De Mot and Marc Denecker},
journal= {arXiv preprint arXiv:cs/0011030},
year = {2007}
}
备注
15 pages, 3 eps-figures