01336nas a2200145 4500008004100000245006300041210006300104300001200167520086300179653005201042653001701094100002201111700002001133856003701153 2003 eng d00aGeneralized Metrics and Uniquely Determined Logic Programs0 aGeneralized Metrics and Uniquely Determined Logic Programs a187-2193 aThe introduction of negation into logic programming brings the benefit of enhanced syntax and expressibility, but creates some semantical problems. Specifically, certain operators which are monotonic in the absence of negation become non-monotonic when it is introduced, with the result that standard approaches to denotational semantics then become inapplicable. In this paper, we show how generalized metric spaces can be used to obtain fixed-point semantics for several classes of programs relative tot eh supported model semantics, and investigate relationships between the underlying spaces we employ. Our methods allow the analysis of classes of programs which include the acyclic, locally hierarchical, and acceptable programs amongst others, and draw on fixed-point theorems which apply to generalized ultrametric spaces and to partial metric spaces.10aPriess-Crampe and Ribenboim Fixed-Point Theorem10aUltrametrics1 aSeda, Anthony, K.1 aHitzler, Pascal uhttp://www.knoesis.org/node/1636