In the development of a fuzzy logic programming language fuzzy uni cation assumes a central role Several proposals have been made to give a formal and complete de nition of this operation In this paper we propose three di erent kinds of uni cation in the fuzzy context A fuzzy uni cation algorithm is presented ex tending through similarity relations the uni cation algorithm of Martelli Montanari used in the classical case An alternative ap proach is proposed through a Quotient Uni cation based on an equivalence relation which gives rise to equivalences classes that can be used in logic programming to identify similar objects Then Uni cation as Negotiation is described based on a more exible form of uni cation with semantic constraints Finally three fuzzy resolution rules are de ned based on the corresponding kinds of fuzzy uni cation introduced

ARCELLI FONTANA, F., Formato, F., Gerla, G. (1998). Fuzzy unification as a foundation of fuzzy logic programming. In F. Arcelli Fontana, T. Martin (a cura di), Logic Programming and Soft Computing (pp. 51-68). Research Studies Press, Wiley.

Fuzzy unification as a foundation of fuzzy logic programming

ARCELLI FONTANA, FRANCESCA;
1998

Abstract

In the development of a fuzzy logic programming language fuzzy uni cation assumes a central role Several proposals have been made to give a formal and complete de nition of this operation In this paper we propose three di erent kinds of uni cation in the fuzzy context A fuzzy uni cation algorithm is presented ex tending through similarity relations the uni cation algorithm of Martelli Montanari used in the classical case An alternative ap proach is proposed through a Quotient Uni cation based on an equivalence relation which gives rise to equivalences classes that can be used in logic programming to identify similar objects Then Uni cation as Negotiation is described based on a more exible form of uni cation with semantic constraints Finally three fuzzy resolution rules are de ned based on the corresponding kinds of fuzzy uni cation introduced
Capitolo o saggio
fuzzy logic programming, fuzzy unification, similarity relation
English
Logic Programming and Soft Computing
0-471-978124
ARCELLI FONTANA, F., Formato, F., Gerla, G. (1998). Fuzzy unification as a foundation of fuzzy logic programming. In F. Arcelli Fontana, T. Martin (a cura di), Logic Programming and Soft Computing (pp. 51-68). Research Studies Press, Wiley.
ARCELLI FONTANA, F; Formato, F; Gerla, G
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10281/35507
Citazioni
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
Social impact