Operational/Interpretive Unfolding of Multi-adjoint Logic Programs

Abstract: Multi-adjoint logic programming represents a very recent, extremely flexible attempt for introducing fuzzy logic into logic programming. 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 logic programming, thus returning a computed substitution together with an expression where all atoms have been exploited. This last expression is then interpreted under a given lattice during the so called interpretive phase, hence returning a value which represents the fuzzy component (truth degree) of the computed answer. On the other hand, unfolding is a well known transformation rule widely used in declarative programming for optimizing and specializing programs, among other applications. In essence, it is usually based on the application of operational steps on the body of program rules. The novelty of this paper con...

• Type: Journal
• Year: 2006
• Where: JUCS
• Authors: Pascual Julián, Ginés Moreno, Jaime Penabad
• Keywords: Fuzzy Logic, JUCS 2006, Logic Programming, Multi-adjoint Logic Programming