Department of Mathematics, Tampere University of Technology
Odborníci ze skupiny prof. Turunena a MCIN spolupracují v oblasti formálních metod a zejména vícehodnotové logiky, která je potřebým matematickým aparátem pro formalizaci nepřesnosti. Výzkum se zaměřuje na využití logických principů vícehodnotových logik jako je například přibližné usuzování, aproximace a podobnostní usuzování při zpracování dat a informace zatížené různými druhy neurčitosti. Hlavním přínosem je zejména sdílení zkušeností z oblasti výzkumu vícehodnotových logik.