7.11.2016 14:00 @ Hora Informaticae
Matoucí (adversarial) vzory jsou takové vzory, které se jen nepatrně liší od vzorků obsažených v tréninkové množině, ale jsou navrženy tak, aby byly daným naučeným modelem klasifikovány jako předem zvolená chybná třída. Ukážeme si, jak lze takovéto vzory generovat pomocí genetického algoritmu. Uvažujeme různé modely strojového učení, od populárních hlubokých sítí, přes SVM a RBF sítě, až po rozhodovací stromy, a podíváme se, jak jsou jednotlivé modely náchylné k oklamání pomocí matoucích vzorů.
16.11.2016 10:00 @ Applied Mathematical Logic
The main aim of the lecture is to present several new semigroup constructions and related equational theory.
23.11.2016 10:00 @ Applied Mathematical Logic
We introduce a generalised notion of probability (state) as an additive map from an MV-algebra of events to an arbitrary MV-algebra. Generalised states become unary operations in two-sorted algebraic structures called state algebras. We discuss free state algebras, their geometric representation, and their connection with the theory of affine representations of lattice ordered groups.
30.11.2016 10:00 @ Applied Mathematical Logic
In this talk we will present some ongoing studies about complexity of fuzzy modal logics. We will show undecidability of deduction in modal logics defined over finite transitive Kripke models with crisp accesibility relation evaluated over arbitrary classes of non n-contractive MTL-algebras. A similar approach can be used to prove undecidability of the global modal logic arising from finite Kripke models (again with a crips accesibility) over the same classes of algebras. Others less famous frame properties but non-equivalent to transitivity can be requested to reach the same result.
