Similarity-based Unification Embedded into Narrowing - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2007

Similarity-based Unification Embedded into Narrowing

Résumé

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.
Fichier principal
Vignette du fichier
moreno.pdf (258.63 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00176049 , version 1 (02-10-2007)

Identifiants

  • HAL Id : inria-00176049 , version 1

Citer

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

Collections

UNIF07
48 Consultations
48 Téléchargements

Partager

Gmail Facebook X LinkedIn More