| ||||
| ||||
![]() Title:Fuzzy Order-Sorted Feature Term Unification Conference:UNIF 2022 Tags:Approximate Reasoning, Fuzzy Subsumption, Knowledge Representation, Many-Sorted Logic, Order-Sorted Logic and Unification 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. Fuzzy Order-Sorted Feature Term Unification ![]() Fuzzy Order-Sorted Feature Term Unification | ||||
Copyright © 2002 – 2025 EasyChair |