Logic and Applications

I forskningsgruppen ingår Patrik Eklund, Ankica Babic, M.Ángeles Galán, Robert Helgesson, Ulrich Höhle, Mats Johansson, Johan Karlsson, Jari Kortelainen, Magnus Löfstrand och Michael Winter.

Traditionell logik är informell och till och med överlappande om produktionen av dess ingredienser, som signaturer, termer, meningar, inblandningar, modeller och slutsatser. Traditionell logik undviker också att beskriva hur dessa ingredienser förekommer i ett och annat, dvs hur termer formellt konstrueras från signaturer, meningar går från termer och så vidare. Vår lösning är att ordna logik lativt, och därigenom ge individualisering av logik, och även omfamna ett logikbegrepp i dialog, med termer, meningar och inblandningar och liknande, som omvandlas när de kommuniceras från en logik till den andra.

Lativ logik är en generaliserad ram och en universell struktur, där specifika logiker av alla slag kan införlivas. Lativ logik använder signaturer som en grundläggande atomstruktur, och kategoriteori är dess metallspråk. Detta leder också till en logisk specifik typteori, där vårt tre-nivå arrangemang av signaturer är grundläggande för en mängd olika tillämpningar. Logik i dialog och social logik är viktig också för interna och externa syn på system-av-system.

Vår strategi för logik är också tätt kopplad till logisk metodik för beräkningsmässig intelligens. Bayesiska, neurala och liknande metoder, som vanligtvis endast baseras på rudimentär statistik och numeriska metoder, räcker inte för applikationsutveckling som kräver kontextuellt beslutsfattande. Vår logiskt berikade beräkningsmässiga intelligens ger en logisk omfattning som går långt bortom traditionella metoder för logik och ontologi, och kan ses i våra applikationer i den offentliga och privata sektorn.

Logik
algebra and topology in logic
category theory as a metalanguage
computational intelligence
foundations of mathematics
lative logic
logic-based medicine
many-valued logic
social logic
type theory

Applikationer
active and healthy ageing
analytics in private and public sectors
clean energy
engineering systems and industrial engineering
financial engineering
industrial systems availability
social and health care classification, nomenclature and ontology
social choice