Nadcházející semináře

  • Petra Vidnerová (UI AV CR): Zranitelnost modelů strojového učení pomocí matoucích vzorů

    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ů.

  • Michal Botur: On commuting retractions algebras and semigroups

    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.

  • Tomáš Kroupa, Vincenzo Marra: Two-sorted algebraic approach to probability

    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.

  • Amanda Vidal: Undecidability of some many-valued modal logics

    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.