Fuzzy Order-Sorted Feature Term Unification

EasyChair Preprint 8674

Abstract

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: Fuzzy Subsumption, approximate reasoning, knowledge representation, many-sorted logic, order-sorted logic, unification

@booklet{EasyChair:8674,
  author    = {Gian Carlo Milanese and Gabriella Pasi},
  title     = {Fuzzy Order-Sorted Feature Term Unification},
  howpublished = {EasyChair Preprint 8674},
  year      = {EasyChair, 2022}}