On Some Differences Between Semantics of Logic Program Updates [chapter]

João Alexandre Leite
2004 Lecture Notes in Computer Science  
Since the introduction of logic program updates based on causal rejection of rules, several different semantics were set forth. All these semantics were introduced with the same underlying motivation i.e., to overcome the drawbacks of interpretation based updates by applying the principle of inertia to program rules, but they were all defined for different classes of logic programs thus making their comparisons difficult. In this paper we redefine such existing semantics, and set forth a new
more » ... , all in the more general setting of Generalized Logic Programs, in a way that facilitates their comparisons. Subsequently, we take a closer look at the subtle differences between these otherwise similar approaches.
doi:10.1007/978-3-540-30498-2_38 fatcat:o42tce4mxvd5tfeqv4ajqo4ita