Measuring the Interpretive Cost in Fuzzy Logic Computations

摘要

Multi-adjoint logic programming represents an extremely flexible attempt for introducing fuzzy logic into logic programming (LP). In this setting, the execution of a goal w.r.t. a given program is done in two separate phases. During the operational one, admissible steps are systematically applied in a similar way to classical resolution steps in pure LP, thus returning an expression where all atoms have been exploited. This last expression is then interpreted under a given lattice during the so called interpretive phase. In declarative programming, it is usual to estimate the computational effort needed to execute a goal by simply counting the number of steps required to reach their solutions. In this paper, we show that although this method seems to be acceptable during the operational phase, it becomes inappropriate when considering the interpretive one. Moreover, we propose a more refined (interpretive) cost measure which fairly models in a much more realistic way the computational (special interpretive) a given goal.