Skip to Main content Skip to Navigation
Conference papers

Similarity-based Unification Embedded into Narrowing

Abstract : Likelog is a fuzzy–logic language with a Prolog-like syntax augmented with similarity equations (modeling the fuzzy component of the language) and with an operational semantics based on resolution where the classical syntactic unification algorithm of pure logic programming has been replaced by a similarity-based unification method. On the other hand, Curry is a functional–logic language with a Haskell-like syntax and an operational principle based on (needed) narrowing, that is, a combination of syntactic unification and rewriting. In this paper we propose a new similarity-based unification method which empowers the original one used in Likelog by also taking into account functional features like laziness. This calculus is specially well suited for being embedded into the kernel of the original needed narrowing strategy of Curry in a very natural way, also verifying nice formal properties such as termination, crispness (i.e., it computes at least the same elements of the crisp case) and fuzzyness (i.e., similarities collected in a given program are exploited as much as possible). Our final goal is to achieve the complete integration of the (also integrated) declarative paradigms of functional– logic and fuzzy–logic programming, in order to obtain a richer and much more expressive programming scheme where mathematical functions cohabit with fuzzy logic features.
Document type :
Conference papers
Complete list of metadata

Cited literature [17 references]  Display  Hide  Download

https://hal.inria.fr/inria-00176049
Contributor : Evelyne Contejean <>
Submitted on : Tuesday, October 2, 2007 - 11:21:01 AM
Last modification on : Monday, February 18, 2019 - 1:12:30 PM
Long-term archiving on: : Thursday, September 27, 2012 - 12:32:31 PM

File

moreno.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00176049, version 1

Collections

Citation

Ginés Moreno, Vicente Pascual. Similarity-based Unification Embedded into Narrowing. UNIF07, 2007, Paris, France. ⟨inria-00176049⟩

Share

Metrics

Record views

175

Files downloads

137