umu.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Fuzzy terms
Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
Department of Applied Mathematics, University of Málaga, Spain.
Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
Department of Electrical Engineering and Information Technology, Mikkeli University of Applied Sciences, Finland.
2014 (Engelska)Ingår i: Fuzzy sets and systems (Print), ISSN 0165-0114, E-ISSN 1872-6801, Vol. 256, s. 211-235Artikel i tidskrift (Refereegranskat) Published
Abstract [en]

In this paper we will show how purely categorical constructions of terms are advantageous when investigating situations concerning uncertainty; more specifically where uncertainty comes from and how uncertainty is integrated when dealing with terms over selected signatures. There are basically two ways of invoking uncertainty for terms. On one hand, we may proceed by building composed monads where uncertainty is provided by some suitable monad composed with the traditional term monad. On the other hand, we can provide a strictly formal basis for term monads being created over categories themselves carrying uncertainty. This is the distinction between 'computing with fuzzy' and 'fuzzy computing' and the fundamental question raised by these constructions is where uncertainty resides in language constructions for logic. This paper also shows how the notion of signature often needs to be expanded to levels of signatures, in particular when dealing with type constructors. Such levels allow us to strictly delineate, e.g., primitive operations, type terms, and value level terms. Levels of signature will in this paper be exemplified by the construction of the signature of simply typed lambda calculus.

Ort, förlag, år, upplaga, sidor
Elsevier, 2014. Vol. 256, s. 211-235
Nyckelord [en]
term monads, quantale, algebra, category theory
Nationell ämneskategori
Datavetenskap (datalogi) Matematik
Identifikatorer
URN: urn:nbn:se:umu:diva-96490DOI: 10.1016/j.fss.2013.02.012ISI: 000343783600009OAI: oai:DiVA.org:umu-96490DiVA, id: diva2:767528
Tillgänglig från: 2014-12-01 Skapad: 2014-11-21 Senast uppdaterad: 2018-06-07Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltext

Personposter BETA

Eklund, PatrikHelgesson, Robert

Sök vidare i DiVA

Av författaren/redaktören
Eklund, PatrikHelgesson, Robert
Av organisationen
Institutionen för datavetenskap
I samma tidskrift
Fuzzy sets and systems (Print)
Datavetenskap (datalogi)Matematik

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetricpoäng

doi
urn-nbn
Totalt: 207 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf