托马斯·艾特;沃尔夫冈·费伯;尼古拉·利昂;杰拉尔德·菲弗 使用DLV系统解决声明性问题。 （英语） Zbl 0979.68091号 Minker，Jack（编辑），《基于逻辑的人工智能》。研讨会论文集，美国华盛顿特区，1999年6月。多德雷赫特：Kluwer学术出版社。Kluwer国际服务。工程计算。科学。597, 79-103 (2000). 摘要：对表示不确定信息的需要导致了析取演绎数据库的出现，这也丰富了析取逻辑编程的工作。基于这种范式，DLV系统被设计和实现为一种用于声明性知识表示的工具。在本文中，我们重点关注DLV在以声明方式解决问题方面的使用，并报告了我们在一组基准问题上运行的实验。我们讨论了如何使用“猜测与检查”范式以自然的方式解决问题，在该范式中，解决方案由程序的某些部分猜测和验证。此外，我们描述了可用于解决特定应用中的问题的各种前端。实验表明，由于正在进行的实现工作，包括对底层算法的微调，在过去两年中取得了连续而显著的性能改进。结果表明，DLV能够有效地解决一些复杂问题。关于整个系列，请参见[Zbl 0960.00037号]。 引用于18文件 理学硕士： 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 68立方英尺 知识表示 第68页，共15页 数据库理论 68N17号 逻辑编程 关键词：陈述性知识表示 软件：NP-SPEC公司;斯莫德尔斯 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}等人，Kluwer Int.Ser。工程计算。科学。597、79--103（2000年；Zbl 0979.68091）