The notion of unification for fuzzy sets in fuzzy logic programming is explored in this article from the standpoint of a theoretical framework based on first-order probabilistic modal logic. The fundamental difference between the latter perspective and other approaches described in the literature lies in the characterization of fuzzy sets, which are construed in the logical framework as derived entities having a probabilistic deep structure. The analysis reveals that a few semantic unification techniques are sound even in this probabilistic approach, provided that some specific conditions are enforced. In addition, the approach helps to clarify some important aspects of the informal interpretation for the unification process, including a rationale for the applicability requisites of computational techniques. In the discussion, the reference model adopted for the notion of fuzzy unification is that of evidential logic programming, that is, the one underlying the programming language FRIL.

Fuzzy unification and first order probabilistic logic

PIASTRA, MARCO
2002-01-01

Abstract

The notion of unification for fuzzy sets in fuzzy logic programming is explored in this article from the standpoint of a theoretical framework based on first-order probabilistic modal logic. The fundamental difference between the latter perspective and other approaches described in the literature lies in the characterization of fuzzy sets, which are construed in the logical framework as derived entities having a probabilistic deep structure. The analysis reveals that a few semantic unification techniques are sound even in this probabilistic approach, provided that some specific conditions are enforced. In addition, the approach helps to clarify some important aspects of the informal interpretation for the unification process, including a rationale for the applicability requisites of computational techniques. In the discussion, the reference model adopted for the notion of fuzzy unification is that of evidential logic programming, that is, the one underlying the programming language FRIL.
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/11571/1041985
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? 0
social impact