基于局部推理关系的多项式时间计算
计算机科学中的逻辑
2007-05-23 v2 人工智能
编程语言
摘要
我们考虑局部推理规则集合的概念。局部规则集可自动转换为求值结束时间为多项式时间的规则集。局部规则集转换为大量无法通过任何其他已知自动技术获得终止求值策略的规则集提供了多项式时间求值策略。本文讨论了三个新结果。首先，证明了每个多项式时间谓词都可以由（非分层）局部规则集定义。其次，识别了局部规则集的一个新可机械可辨的子类。最后我们表明，局部性作为规则集的属性是普遍不可判定的。
引用
@article{arxiv.cs/0007020,
title = {Polynomial-time Computation via Local Inference Relations},
author = {Robert Givan and David McAllester},
journal= {arXiv preprint arXiv:cs/0007020},
year = {2007}
}
备注
22 pages. Appeared in Knowledge Representation and Reasoning,1993. Submitted to ACM Transactions on Computational Logic Correction: original conference appearance was 1992, not 1993