TL;DR本研究综述了现有的 Answer Set Programming 遗忘操作及其属性,包括其在应用中的选择方法和计算结果的复杂性。
Abstract
forgetting - or variable elimination - is an operation that allows the removal, from a knowledge base, of middle variables no longer deemed relevant. In recent years, many different approaches for forgetting in <