Abstract

is relatively straightforward. Another advantage of the ultimate approximation is that in cases where TP is monotone the ultimate well-founded model will be 2-valued and will coincide with the least fixpoint of TP . This is not the case for the standard well-founded semantics. For example in the standard well-founded model of the program: # p. p. p is undefined while the associated TP operator is monotone and p is true in the ultimate well-founded model. One disadvantage of using the ultimate semantics is that it has a higher computational cost even for programs without aggregates. The complexity goes one level higher in the polynomial hierarchy to # 2 for the well-founded model and to 2 for a stable model which is also complete for this class [2]. Fortunately, by adding aggregates the complexity does not increase further. To give an example of a logic program with aggregates we consider the problem of computing the length of the shortest path between two nodes in a direc

Citations