Chi siamo   |   Guida alla creazione di un record   |   Help   |   FAQ diritto d'autore   |   Tesi di dottorato   |   Università Bicocca   |   Biblioteca

BOA Bicocca Open Archive >
Pubblicazioni >
03 - Contributo in libro >

Please use this identifier to cite or link to this item:http://hdl.handle.net/10281/35507

Authors: Arcelli Fontana, F; Formato, F; Gerla, G
Title: Fuzzy unification as a foundation of fuzzy logic programming
English 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
Keywords: fuzzy logic programming, fuzzy unification, similarity relation
MIUR Subject : Settore INF/01 - Informatica
ISO Language : eng
Issue Date: 1998
Format: A stampa
Referee: Esperti anonimi
Circulation: Rilevanza internazionale
Type: Capitolo o saggio
Citation: Arcelli Fontana, F., Formato, F., & Gerla, G. (1998). Fuzzy unification as a foundation of fuzzy logic programming. In Logic Programming and Soft Computing (pp. 51-68). Research Studies Press, Wiley.
Appears in Collections:Pubblicazioni >03 - Contributo in libro
DIPARTIMENTO DI INFORMATICA, SISTEMISTICA E COMUNICAZIONE >03 - Contributo in libro

Files in This Item:

There are no files associated with this item.


SFX Query


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.




 

Support, maintenance, development and hosting provided by AePIC team @ CILEA - Powered by DSpace Software