可计算稳态模型子集的层次结构
人工智能
2008-02-03 v1
摘要
寻找知识库的稳态模型是人工智能中的一个重要计算问题。该任务是真理维护系统、自动语义逻辑和默认逻辑计算的核心。然而，问题为NP难。本文提出了一组知识库的类Omega_1, Omega_2, ...，具有以下性质：首先，Omega_1是所有分层知识库的类；其次，若知识库Pi属于Omega_k，则Pi最多有k个稳态模型，且可在时间O(lnk)内找到，其中l为知识库长度，n为Pi中的原子数；第三，对于任意知识库Pi，可在Pi大小的多项式时间内找到使Pi属于Omega_k的最小k；最后，对于所有知识库的类K，都有union_{i=1}^{infty} Omega_i = K，即每个知识库都属于层次结构中的某个类。
引用
@article{arxiv.cs/9608104,
title = {A Hierarchy of Tractable Subsets for Computing Stable Models},
author = {R. Ben-Eliyahu},
journal= {arXiv preprint arXiv:cs/9608104},
year = {2008}
}
备注
See http://www.jair.org/ for any accompanying files