umu.sePublikationer
Ändra sökning
Avgränsa sökresultatet
1 - 7 av 7
RefereraExporteraLänk till träfflistan
Permanent lä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
Träffar per sida
  • 5
  • 10
  • 20
  • 50
  • 100
  • 250
Sortering
  • Standard (Relevans)
  • Författare A-Ö
  • Författare Ö-A
  • Titel A-Ö
  • Titel Ö-A
  • Publikationstyp A-Ö
  • Publikationstyp Ö-A
  • Äldst först
  • Nyast först
  • Skapad (Äldst först)
  • Skapad (Nyast först)
  • Senast uppdaterad (Äldst först)
  • Senast uppdaterad (Nyast först)
  • Disputationsdatum (tidigaste först)
  • Disputationsdatum (senaste först)
  • Standard (Relevans)
  • Författare A-Ö
  • Författare Ö-A
  • Titel A-Ö
  • Titel Ö-A
  • Publikationstyp A-Ö
  • Publikationstyp Ö-A
  • Äldst först
  • Nyast först
  • Skapad (Äldst först)
  • Skapad (Nyast först)
  • Senast uppdaterad (Äldst först)
  • Senast uppdaterad (Nyast först)
  • Disputationsdatum (tidigaste först)
  • Disputationsdatum (senaste först)
Markera
Maxantalet träffar du kan exportera från sökgränssnittet är 250. Vid större uttag använd dig av utsökningar.
  • 1.
    Eklund, Patrik
    et al.
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    Galán, M. Ángeles
    Helgesson, Robert
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    Kortelainen, Jari
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    From Aristotle to Lotfi2013Ingår i: On Fuzziness: A Homage to Lotfi A. Zadeh – Volume 1 / [ed] Seising, Rudolf; Trillas, Enric; Moraga, Claudio; Termini, Settimo, Berlin Heidelberg: Springer Berlin/Heidelberg, 2013, Vol. 298, s. 147-152Kapitel i bok, del av antologi (Övrigt vetenskapligt)
  • 2.
    Eklund, Patrik
    et al.
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    Helgesson, Robert
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    Composing partially ordered monads2009Ingår i: Relations and Kleene Algebra in Computer Science: 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceedings / [ed] Rudolf Berghammer, Ali Mohamed Jaoua, Bernhard Möller, Springer, 2009, Vol. 5827, s. 88-102Konferensbidrag (Refereegranskat)
    Abstract [en]

    Composition of the many-valued powerset partially ordered monad with the term monad provides extensions to non-classical relations and also new examples for Kleene algebras.

  • 3.
    Eklund, Patrik
    et al.
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    Helgesson, Robert
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    Monadic extensions of institutions2010Ingår i: Fuzzy sets and systems (Print), ISSN 0165-0114, E-ISSN 1872-6801, Vol. 161, nr 18 (Special issue), s. 2354-2368Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    In this paper we show how partially ordered monads can be used to provide a non-classical extension of institutions and entailment systems as appearing in the framework of general logics. General logics is an axiomatization of a general framework for logics. This framework builds upon traditional power sets of sentences as appearing in satisfaction relations and entailment. The underlying power set monad is implicit, and the utility of a monadic machinery was therefore not explored. Making the use of the power set monad more explicit in the satisfaction and entailment relations opens up possibilities to experiment with various non-classical representations of sentences as appearing in inference. These representations are enabled by partially ordered monads, where the partial order attached to the underlying set functor is essential for extending the axiomatization.

  • 4.
    Eklund, Patrik
    et al.
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    Helgesson, Robert
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    Galán, M. Ángeles
    Kortelainen, Jari
    Paradigms for many-sorted non-classical substitutions2011Ingår i: 2011 41st IEEE International Symposium on Multiple-Valued Logic (ISMVL 2011), IEEE Computer Society, 2011, s. 318-321Konferensbidrag (Refereegranskat)
    Abstract [en]

    We present three paradigms for non-classical substitution in a many-sorted context. Such an exposition has previously been demonstrated in the unsorted case but its extension is far from trivial. The first paradigm, classical many-sorted substitution taking variables to terms, is traditionally presented in a rather informal and "verbal" manner but we find that a strict categorical formulation is necessary to pave the way for non-classical extensions. The second paradigm provides substitution of variables for many-valued sets of terms and relies heavily on functors and monads over the category of indexed sets. Finally, in the third paradigm, we establish full non-classical substitution of many-valued sets of variables by many-valued sets of terms. The third paradigm has the category of many-valued indexed sets as its underlying category. These paradigms ensures transparency of the underlying categories and also makes a clear distinction between set-theoretic operation in the meta language and operations on sets and many-valued sets as found within respective underlying categories.

  • 5.
    Eklund, Patrik
    et al.
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    Helgesson, Robert
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    Lindgren, Helena
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    Towards refining clinical evidence using general logics2008Ingår i: Artificial Intelligence and Soft Computing – ICAISC 2008: 9th International Conference Zakopane, Poland, June 22-26, 2008, Proceedings, Springer , 2008, s. 1029-1040Konferensbidrag (Refereegranskat)
    Abstract [en]

    Clinical knowledge building upon evidence-based medicine is typically represented in textual guidelines, thus providing a rather informal description from a logical point of view. Further, the context which provides utility of these guidelines is not specified in any detail with respect to workflow and underlying motivations for decision-making. In addition, the level of detail is mostly static in the sense that measurements and decision values are fixed and intended for specific user groups. There is thus a lack of flexibility which disables knowledge to be shifted coherently between user levels in the entire workflow and decision process. In this paper, we will discuss formalizations of the underlying logical structures of guidelines from the viewpoint of being represented appropriately at each user level. Further, to establish a formal correctness criterion, the shift from one level of representation to another is required to be morphic in the categorical sense. General logics [6] is the selected generalized, and categorical, framework for our approach to flexible guideline representation. Our medical scope is dementia differential diagnosis based on consensus guidelines [2], and we focus on types of cognitive disorders as a prerequisite for further diagnostic tasks.

  • 6.
    Eklund, Patrik
    et al.
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    Ángeles Galán, M
    Department of Applied Mathematics, University of Málaga, Spain.
    Helgesson, Robert
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    Kortelainen, Jari
    Department of Electrical Engineering and Information Technology, Mikkeli University of Applied Sciences, Finland.
    Fuzzy terms2014Ingår i: Fuzzy sets and systems (Print), ISSN 0165-0114, E-ISSN 1872-6801, Vol. 256, s. 211-235Artikel i tidskrift (Refereegranskat)
    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.

  • 7.
    Helgesson, Robert
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    Generalized General Logics2013Doktorsavhandling, monografi (Övrigt vetenskapligt)
    Abstract [sv]

    Logik är ett gammalt och kraftfullt verktyg för att föra korrekta resonemang och människor har under lång tid studerat och tillämpat olika logiska system. Dessa studier har till stor del fokuserat på logik som innefattar ett binärt sanningsbegrepp, det vill säga logik där en utsaga är antingen sann eller falsk. Givetvis är detta en väldigt begränsad vy då vi i vår vardag ofta måste värdera sanning på en betydligt mer flexibel skala. På samma sätt måste vi ofta resonera och fatta beslut utifrån information som på olika sätt kan vara osäker. En djupare förståelse för dessa otraditionella logiker är därför av stort intresse till exempel i expert-system som mekaniskt föreslår beslut utifrån osäker information. I denna monografi beskriver vi två matematiska ramverk som tillåter oss att beskriva dessa typer av otraditionella logiker och otraditionell representation av information i allmänhet. Dessa teoretiska konstruktioner är kompletterade med diskussioner relaterade till praktiska och vidare teoretiska tillämpningar.

    Den första av de två teoretiska konstruktionerna är en strikt kategoriteoretiskt definierad termmonad som kan beskriva termer och variabelsubstitution för en mängd olika otraditionella termkonstruktioner. Till exempel, genom monadkomposition kan vi representera flervärda mängder av termer och detta ger oss möjlighet att representera osäker information. Alternativt kan vi konstruera en termmonad som uttrycker osäkerhet på ett mer fundamental sätt genom att termernas ingående variabler och operatörer i sig kan ha associerad osäkerhet.

    Den andra teoretiska konstruktionen är en direkt generalisering av det matematiska ramverket "generell logik" som axiomatiserar de olika komponenter som ofta faller under logikbegreppet. I generell logik beskrivs dock dessa utifrån en traditionell vy och för att beskriva otraditionella logiker krävs därför ofta obekväma representationer. Den nämnda generaliseringen syftar därför till att förenkla konstruktionen av mer exotiska logiker inom ett ramverk som till stor del liknar generell logik.

1 - 7 av 7
RefereraExporteraLänk till träfflistan
Permanent lä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