逻辑程序中的归纳推理
计算机科学中的逻辑
2007-05-23 v1
摘要
归纳推理最初提出于经典逻辑中，近年来在逻辑程序领域引起了越来越多的关注。在本文中我们研究逻辑程序中的“带惩罚归纳”。这种形式的归纳推理以前在逻辑程序中没有被分析过，却能自然地表示包括优化问题在内的多个相关问题。我们从逻辑程序中定义了一个带惩罚归纳的正式模型，这一模型扩展了Kakas和Mancarella提出的归纳框架。我们展示了这种形式化的高表达性，通过对包括优化理论中著名的旅行商问题在内的几个相关问题进行编码来证明。 resulting encodings are very simple and elegant. 我们分析了该框架中主要决策问题的复杂度。一个有趣结果是，“否定是免费的”。即使添加（即使是非分层的）否定，也不会使归纳推理任务的复杂度进一步增加（其复杂度与不含否定的程序相同）。
引用
@article{arxiv.cs/0111010,
title = {Abduction with Penalization in Logic Programming},
author = {Giovambattista Ianni and Nicola Leone and Simona Perri and Francesco Scarcello},
journal= {arXiv preprint arXiv:cs/0111010},
year = {2007}
}