TY - JOUR
T1 - Generalized Distance Functions in the Theory of Computation
JF - The Computer Journal
Y1 - 2010
A1 - Anthony K. Seda
A1 - Pascal Hitzler
KW - denotational semantics
KW - fixed-point theorems
KW - logic programming
KW - stable model
KW - supported model
KW - topology
KW - ultra-metrics
AB - We discuss a number of distance functions encountered in the theory of computation, including metrics, ultra-metrics, quasi-metrics, generalized ultrametrics, partial metrics, d-ultra-metrics, and generalized metrics. We consider their properties, associated fixed-point theorems, and some general applications they have within the theory of computation. We consider in detail the applications of generalized distance functions in giving a uniform treatment of several important semantics for logic programs, including acceptable programs and natural generalizations of them, and also the supported model and the stable model in the context of locally stratified extended disjunctive logic programs and databases.
ER -