一阶逻辑中的增量知识编译
计算机科学中的逻辑
2011-11-17 v2
摘要
先前的工作中已提出一种算法，用于计算一阶逻辑中无量词子句公式X的素蕴含集。由于知识库X是动态的，新的子句会被添加到旧知识库中。本文提出了一种增量算法，用于从π(X)∪C计算X与子句C的素蕴含。同时证明了该算法的正确性。
引用
@article{arxiv.1110.6738,
title = {An Incremental Knowledge Compilation in First Order Logic},
author = {Manoj K. Raut},
journal= {arXiv preprint arXiv:1110.6738},
year = {2011}
}