Sökning: onr:"swepub:oai:DiVA.org:umu-3902" >
Similarities betwee...
Similarities between powersets of terms
-
Eklund, P. (författare)
-
- Galán, M.A. (författare)
- Umeå universitet,Institutionen för datavetenskap
-
Medina, J. (författare)
-
visa fler...
-
Ojeda-Aciego, M. (författare)
-
Valverde, A. (författare)
-
visa färre...
-
(creator_code:org_t)
- Elsevier, 2004
- 2004
- Engelska.
-
Ingår i: Fuzzy sets and systems (Print). - : Elsevier. - 0165-0114 .- 1872-6801. ; 144:1, s. 213-225
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences (hsv//eng)
Nyckelord
- Similarities
- Fuzzy unification
- Category theory and unification
- Generalised terms
Publikations- och innehållstyp
- ref (ämneskategori)
- art (ämneskategori)
Hitta via bibliotek
Till lärosätets databas