Existing semantics for answer-set program updates fall into two categories:
either they consider only strong negation in heads of rules, or they primarily
rely on default negation in heads of rules and optionally provide support for
strong negation by means of a syntactic transformation. In this paper we
pinpoint the limitations of both these approaches and argue that both types of
negation should be first-class citizens in the context of updates. We identify
principles that plausibly constrain their interaction but are not
simultaneously satisfied by any existing rule update semantics. Then we extend
one of the most advanced semantics with direct support for strong negation and
show that it satisfies the outlined principles as well as a variety of other
desirable properties.

本文介绍了现有应答集程序更新的语义学，指出两种方法存在的限制，并主张弱否定和强否定应该在更新的上下文中是平等的。我们确定了约束它们交互作用的原则。最后，我们扩展了最先进的语义，直接支持强否定，并展示了它满足所概述的原则，以及一系列其他的优秀特性。