Similarities between powersets of terms
2004 (English)In: Fuzzy sets and systems (Print), ISSN 0165-0114, Vol. 144, no 1, 213-225 p.Article in journal (Refereed) Published
Generalisation of the foundational basis for many-valued logic programming builds upon generalised terms in the form of powersets of terms. A categorical approach involving set and term functors as monads allows for a study of monad compositions that provide variable substitutions and compositions thereof. In this paper, substitutions and unifiers appear as constructs in Kleisli categories related to particular composed powerset term monads. Specifically, we show that a frequently used similarity-based approach to fuzzy unification is compatible with the categorical approach, and can be adequately extended in this setting; also some examples are included in order to illuminate the definitions.
Place, publisher, year, edition, pages
Elsevier, 2004. Vol. 144, no 1, 213-225 p.
Similarities, Fuzzy unification, Category theory and unification, Generalised terms
Computer and Information Science
IdentifiersURN: urn:nbn:se:umu:diva-3902DOI: 10.1016/j.fss.2003.10.021OAI: oai:DiVA.org:umu-3902DiVA: diva2:142801