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
The rough powerset monad
Umeå universitet, Teknisk-naturvetenskaplig fakultet, Institutionen för datavetenskap.
Umeå universitet, Teknisk-naturvetenskaplig fakultet, Institutionen för datavetenskap.
2007 (Engelska)Ingår i: 37th International Symposium on Multiple-Valued Logic Conference Location: Oslo, NORWAY, 2007, s. 321-333Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

Rough sets and fuzzy sets are both methods to represent uncertainty. In previous work we have developed, within the abstract language of category theory, some interesting tools for providing a foundation to the development of a general framework for unification, working with powersets of terms. Monads, in this context, establish an essential concept in that they contain set functors with structure provided by natural transformations. In this paper we show how monads, extended to partially ordered monads, can be used to generalize and interpret rough situations. In particular, the partially ordered ordinary power set monad turns out to contain sufficient structure in order to provide rough set operations. This study of rough sets from a categorical view, provides an abstract tool to handle properties of the structure increasing their understanding in a basic many-valued logic setting.

Ort, förlag, år, upplaga, sidor
2007. s. 321-333
Identifikatorer
URN: urn:nbn:se:umu:diva-23238DOI: 10.1109/ISMVL.2007.55ISBN: 0-7695-2831-7 (tryckt)OAI: oai:DiVA.org:umu-23238DiVA, id: diva2:222288
Tillgänglig från: 2009-06-08 Skapad: 2009-06-08 Senast uppdaterad: 2018-06-08

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextLink to full proceedings

Personposter BETA

Eklund, Patrik

Sök vidare i DiVA

Av författaren/redaktören
Eklund, Patrik
Av organisationen
Institutionen för datavetenskap

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 136 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