基于SE模型的语义规则更新的兴起与衰落
The Rise and Fall of Semantic Rule Updates Based on SE-Models
摘要：
稳定模型语义下的逻辑程序，或回答集程序，提供了一个表达的基于规则的知识表示框架，具有形式化的，声明性的和良好理解的语义。然而，处理规则库的演化仍然是一个很大程度上开放的问题。AGM框架的信念改变时，直接应用于逻辑程序下的非单调语义，如稳定模型，给出不适当的结果。解决这个问题的方法，发展到目前为止，提出了更新语义的基础上操纵的语法结构的程序和规则。最近，AGM修订已成功地应用于一个显着更有表现力的语义表征的逻辑程序的基础上SE模型。这是一个重要的步骤，因为它将焦点从规则库的语法表示的演变转变为其语义内容的演变。在本文中，我们借用信念更新领域的结果来解决更新（而不是修改）答案集程序的问题。我们证明了一个表示定理，它使得有可能建设性地定义任何运营商满足一组来自胜野和Mendelzon的信念更新的假设。我们定义了一个特定的运营商基于这个定理，研究其计算复杂性和比较的行为，这个运营商的语法规则更新语义文献。也许令人惊讶的是，我们发现了一个严重的缺点，所有的规则更新运营商的基础上胜野和Mendelzon的方法来更新和SE模型。
英文摘要：
Logic programs under the stable model semantics, or answer-set programs, provide an expressive rule-based knowledge representation framework, featuring a formal, declarative and well-understood semantics. However, handling the evolution of rule bases is still a largely open problem. The AGM framework for belief change was shown to give inappropriate results when directly applied to logic programs under a non-monotonic semantics such as the stable models. The approaches to address this issue, developed so far, proposed update semantics based on manipulating the syntactic structure of programs and rules. More recently, AGM revision has been successfully applied to a significantly more expressive semantic characterisation of logic programs based on SE-models. This is an important step, as it changes the focus from the evolution of a syntactic representation of a rule base to the evolution of its semantic content. In this paper, we borrow results from the area of belief update to tackle the problem of updating (instead of revising) answer-set programs. We prove a representation theorem which makes it possible to constructively define any operator satisfying a set of postulates derived from Katsuno and Mendelzon's postulates for belief update. We define a specific operator based on this theorem, examine its computational complexity and compare the behaviour of this operator with syntactic rule update semantics from the literature. Perhaps surprisingly, we uncover a serious drawback of all rule update operators based on Katsuno and Mendelzon's approach to update and on SE-models.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
