Download PDFOpen PDF in browser

Fuzzy Order-Sorted Feature Term Unification

EasyChair Preprint no. 8674

6 pagesDate: August 12, 2022


This paper provides a generalized definition of the unification of Order-Sorted Feature (OSF) terms that considers a fuzzy subsumption relation between sort symbols rather than an ordinary (crisp) one. In this setting the unifier of two OSF terms is associated with a subsumption degree. We refer to the problem of unifying two OSF terms and computing the associated subsumption degree as fuzzy OSF term unification.

Keyphrases: approximate reasoning, Fuzzy Subsumption, knowledge representation, many-sorted logic, order-sorted logic, unification

BibTeX entry
BibTeX does not have the right entry for preprints. This is a hack for producing the correct reference:
  author = {Gian Carlo Milanese and Gabriella Pasi},
  title = {Fuzzy Order-Sorted Feature Term Unification},
  howpublished = {EasyChair Preprint no. 8674},

  year = {EasyChair, 2022}}
Download PDFOpen PDF in browser