Skip to Main Content
Revising and updating beliefs and knowledge bases has been an important problem in knowledge representation and reasoning. While various proposals in Answer Set Programming updates have come up, in particular one of them presents and interesting persistence situation that others do not manage well for foundation reasons. In a need of a general semantics capable of dealing both with general properties and most exceptional unforeseen situations, this paper presents an extension to one of the latest semantics for updates that does not contravene that situation. Besides the formalism of properties that this approach inherits from its predecessors as a strong framework for an update semantics, this proposal is also supported by a solver as an important component of logic programming for new experiments and for further potential more complex (agent) applications that manage knowledge bases.