Sciweavers

Share
JUCS
2006

Operational/Interpretive Unfolding of Multi-adjoint Logic Programs

8 years 10 months ago
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...
Pascual Julián, Ginés Moreno, Jaime
Added 13 Dec 2010
Updated 13 Dec 2010
Type Journal
Year 2006
Where JUCS
Authors Pascual Julián, Ginés Moreno, Jaime Penabad
Comments (0)
books