You are not logged in | Log in

PL /
EN

Seminarium badawcze poświęcone tematyce wnioskowań aproksymacyjnych, w szczególności problemom i metodom aproksymacji złożonych pojęć z danych eksperymentalnych i wiedzy dziedzinowej.

Z początkiem roku akademickiego 2021/22 seminarium przekształciło się w "Seminarium Systemy Inteligentne".

Organizers

Information

Fridays, 2:15 p.m. , room: 5820

Home page

http://lists.mimuw.edu.pl/listinfo/sem-zlm

List of talks

June 6, 2014, 2:15 p.m.
Robert KOWALSKI (joint work with Fariba SADRI) (Imperial College London)
PROGRAMMING IN LOGIC WITHOUT LOGIC PROGRAMMING
Logic programs. production systems, BDI agent systems, active databases and many other languages express programs by means of rules of the form if antecedent then consequent. However, despite the seemingly logical character of these rules, …
May 30, 2014, 2:15 p.m.
Andrzej Proskurowski (University of Oregon, Eugene)
Obstructions and Recognition of Graphs with Linear Rankwidth 1
Using a split-decomposition algorithm, we decide in linear time the membership in the class of graphs with linear rank-width at most 1 or exhibit an induced subgraph which belongs to the set of minimal forbidden …
May 23, 2014, 2:15 p.m.
Andrzej Janusz
Zbiory przybliżone w R / Przybliżone redukty decyzyjne z dynamicznym progiem aproksymacji.
Pierwsza część mojego wystąpienia będzie miała formę tutorialu, w czasie którego postaram się przybliżyć słuchaczom możliwości oferowane przez bibliotekę systemu R o nazwie RoughSets. Biblioteka ta jest efektem współpracy Zakładu Logiki Matematycznej Wydziału Matematyki, Informatyki …
May 16, 2014, 2:15 p.m.
Marcin Wojnarski
Hypertags & Redex. Languages for the web.
W referacie przedstawię dwie nowe technologie webowe - "Hypertags" i "Redex" - które opracowałem w ostatnich latach na potrzeby realizowanych przeze mnie projektów internetowych. 1) "Hypertags" to język opisu dokumentu, który można traktować jako (znaczne) …
May 9, 2014, 2:15 p.m.
Marcin Wojnarski (Uniwersytet Warszawski)
Data Pipes & DAST. Scalable mining and storage of complex data
W referacie przedstawię dwie nowe technologie przetwarzania danych - "Data Pipes" oraz "DAST" - które opracowałem w ostatnich latach na potrzeby realizowanych przeze mnie projektów. Obie są już częściowo zaimplementowane w języku Python i dostępne …
April 25, 2014, 2:15 p.m.
Marek Sikora (Politechnika Śląska & EMAG)
DISESOR - Zintegrowany, szkieletowy system wspomagania decyzji dla systemów monitorowania procesów, urządzeń i zagrożeń - Zadania systemu i przypadki użycia
Podczas wystąpienia przedstawiona zostanie geneza systemu DISESOR, obecny stan prac nad realizacją projektu oraz omówione zostaną dwa (/trzy) przykładowe zagadnienia związane z praktycznymi zastosowaniami systemu. Omówienie obecnego stanu realizacji projektu będzie obejmować: · Przedstawienie architektury …
April 18, 2014, 2:15 p.m.
Professor Ivo Duentsch (Brock University, Canada)
Mixed modal - sufficiency algebras and complex algebras of frames
A mixed modal - sufficiency (MS) algebra is a structure where B is a Boolean algebra, f is a modal (i.e. normal and additive) operator and g is a sufficiency (i.e. co-normal and co-additive) operator. …
April 11, 2014, 2:15 p.m.
Adam Krasuski
Smart Fire Fighting - raport ze spotkania
Na spotkaniu chciałbym przedstawić relację, wnioski i spostrzeżenia z warsztatów Smart Fire Fighting, które odbyły się dniach 24-25 marca w Arlington USA. Krótkie wprowadzanie w tematykę warsztatów: The fire service and other emergency first responders …
April 4, 2014, 2:15 p.m.
Michał Sapiński
Semantyczna analiza ruchów cen instrumentów finansowych
Tworzymy serwis internetowy skierowany do inwestorów obecnych na rynku w USA. Innowacyjnym elementem naszego serwisu jest narzędzie, które będzie w sposób automatyczny opisywać ruchy cen tak aby ułatwić użytkownikowi ich zrozumienie oraz jednocześnie pozwolić wygenerować …
March 21, 2014, 2:15 p.m.
Dominik Ślęzak (Uniwersytet Warszawski)
Trzy przykłady problemów zapewne NP-trudnych z dziedzin przetwarzania i eksploracji danych
Przedstawię przykłady trzech obszarów problemów optymalizacyjnych, które najprawdopodobniej są NP-trudne, lecz których NP-trudność nie jest jeszcze udowodniona. Pierwszy przykład dotyczy wyznaczania z danych przybliżonych sieci Bayesowskich o minimalnej liczbie krawędzi, czyli minimalnych grafów acyklicznych, które …
March 14, 2014, 2:15 p.m.
Marcin Wolski
Wiedza z perspektywy zbiorów przybliżonych
Celem referatu jest "update" artykułu Z. Pawlaka "Wiedza z perspektywy zbiorów przybliżonych" (1992), tj. aktualizacja definicji podstawowych terminów/warstw 'wiedza', 'informacja', 'dane' (które w literaturze o zbiorach przybliżonych często używane są zamiennie). W pierwszej części postaram …
March 7, 2014, 2:15 p.m.
Łukasz Puławski
Wykrywanie wzorców strukturalno-czasowych w procesie wytwarzania oprogramowania
W mojej pracy badawczej zajmuję się wykrywaniem wzorców strukturalnych w kodzie źródłowym programów komputerowych, a także wzorców temporalnych w procesie wytwarzania oprogramowania. Strukturę kodu źródłowego można formalnie przestawić w języku teorii grafów, korzystając z takich …
Feb. 28, 2014, 3 p.m.
Soma Dutta (The Institute of Mathematical Sciences, Chennai, India)
CONSEQUENCE AND INCONSISTENCY: PARACONSISTENT LOGICS
Classically the notions of consequence and inconsistency are interwoven. That is, considering one as the primitive notion the other can be derived. This equivalence depends on the notions of absolute inconsistency and negation inconsistency, which …
Feb. 28, 2014, 2:15 p.m.
Soma Dutta (The Institute of Mathematical Sciences, Chennai, India)
LOGICS OF GRADED CONSEQUENCE
Pelta [6]: Until now the construction of superficial many-valued logics, that is, logics with an arbitrary number (bigger than two) of truth values but always incorporating a binary consequence relation, has prevailed in investigations of …
Feb. 21, 2014, 2:15 p.m.
Paweł Gora (Uniwersytet Warszawski)
Adaptacyjna optymalizacja ruchu drogowego w mieście
Na seminarium opowiem o najnowszych wynikach moich badań dotyczących adaptacyjnej optymalizacji ruchu pojazdów w mieście, m.in. o opracowywanych algorytmach dla problemu Traffic Light Setting i wnioskach z przeprowadzonych eksperymentów. Omówię też plany dalszych badań.