Powrót do listy seminarów
Seminarium badawcze Zakładu Logiki: Wnioskowania aproksymacyjne w eksploracji danych
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".
Organizatorzy
Informacje
piątki, 14:15 , sala: 5820Strona domowa
http://lists.mimuw.edu.pl/listinfo/sem-zlmLista referatów
-
11 maja 2012 15:00
Anna Gomolińska (Uniwersytet w Białymstoku)
ANALIZA I ROZWIĄZYWANIE KONFLIKTÓW ZE SZCZEGÓLNYM UWZGLĘDNIENIEM METODY ZBIORÓW PRZYBLIŻONYCH
W każdym niemal środowisku, gdzie mają miejsce interakcje między występującymi tam obiektami, dochodzi do konfliktów. Tematyka konfliktów, niemal tak stara jak świat, była tradycyjnie badana w naukach społecznych i przyrodniczych. Od wielu lat jest też …
-
11 maja 2012 14:15
Anna Gomolińska (Uniwersytet w Białymstoku)
ZBIORY PRZYBLIŻONE W OBLICZENIACH GRANULARNYCH: Wybrane zagadnienia
W swoim wystąpieniu zamierzam przedstawić wybrane aspekty obliczeń granularnych z perspektywy teorii zbiorów przybliżonych. Obliczenia granularne (ang. granular computing) stanowią podejście w informatyce do rozwiązywania problemów obliczeniowych, w którym danym (także informacji i wiedzy) nadaje …
-
20 kwietnia 2012 14:15
Sebastian Stawicki ( )
Biredukty i biklastry - dualizm wierszowo-kolumnowy
Na seminarium przedstawię rozszerzenia klasycznych pojęć z teoriizbiorów przybliżonych i eksploracji danych - reduktów i klastrów.Rozszerzenia te polegają na wykorzystaniu dualizmu występującegopomiędzy obiektami i ich atrybutami (dualizm wierszowo-kolumnowy).Klaster w ogólności, to zbiór obiektów, które są …
-
13 kwietnia 2012 14:15
Paweł Gora (Uniwersytet Warszawski)
Strategie adaptacyjne w optymalizacji złożonych procesów
Na seminarium przedstawię plan dalszych prac nad adaptacyjnym planowaniem złożonych procesów na przykładzie ruchu ulicznego. Zaprezentuję algorytmy optymalizacji, które mam zamiar wykorzystać w swoich dalszych badaniach oraz sposób walidacji stosowanych przeze mnie metod.
-
30 marca 2012 14:15
Hung Son Nguyen (Uniwersytet Warszawski)
Rough Classifiers and Support Vector Machines using Boolean Kernels
Rough Sets (RS) and Support Vector Machine (SVM) are the two big and independent research areas in AI. Originally, rough set theory is dealing with the concept approximation problem under uncertainty. The basic idea of …
-
23 marca 2012 15:00
Paweł Góra (Uniwersytet Warszawski)
Postępy w modelowaniu i symulacji ruchu ulicznego
Na seminarium opowiem o najnowszych postępach w modelowaniu i symulacji ruchu ulicznego, czyli o rozwijanym przeze mnie narzędziu Traffic Simulation Framework (TSF). Zaprezentuję m.in. funkcjonalności, które w ostatnim czasie dodałem do tworzonego przeze mnie programu. …
-
23 marca 2012 14:15
Professor Ivo Duentsch (Brock University, Kanada)
Remarks on contact relations on Boolean algebras
The paradigmatic example for a contact relation is that of having non-disjoint closures for regions in n-dimensional space. Generally, a contact relation is a binary relation on a Boolean algebra reflecting some of the properties …
-
9 marca 2012 14:15
Jonas Poelmans (Katholieke Univ. Leuven, Belgia)
Text and process mining with Formal Concept Analysis
Text mining scientific papers, process mining healthcare data and CORDIET softwaresystem. In the first part of this talk we show how we used Formal Concept Analysis (FCA) to analyze recent literature on FCA and some …
-
2 marca 2012 15:00
Krzysztof Sopyła (Uniwersytet Warmińsko-Mazurski, Olsztyn)
Akceleracja procesu treningu alg. SVM dla dużych i rzadkich zbiorów danych
Praca skupia się na przyspieszeniu procesu treningu algorytmu SVM dla dużych zbiorów danych (>100k instancji). Poruszany problem rozwiązywany jest przy pomocy znanych algorytmów z teorii optymalizacji w rozwiązywaniu zadania optymalizacji kwadratowej pojawiającego się przy treningu …
-
2 marca 2012 14:15
Jonas Poelmans (Katholieke Univ. Leuven, Belgia)
Text mining police data, 4 case studies on identifying domestic violence, human trafficking, terrorism and pedophile suspects in an overload of textual information
In the first part of this talk we introduce a human-centered process for knowledge discovery from unstructured text that makes use of Formal Concept Analysis and Emergent Self Organizing Maps. The knowledge discovery process is …
-
24 lutego 2012 14:15
Sinh Hoa Nguyen (Uniwersytet Warszawski)
Wielowarstwowe uczenie relacji. Podejście zbiorów przybliżonych.
W wielu algorytmach eksploracji danych zakłada się, że dane do analizy są jednorodne pod względem typu i struktury. Dane w rzeczywistych aplikacjach są na ogół bardziej złożone. Mogą być one różnych typów (np. dokumenty, autorzy, …
-
17 lutego 2012 14:15
Paweł Betliński (Uniwersytet Warszawski)
"No free lunch" na przykładzie prostej gry logicznej
Tematem referatu będzie Sokoban - ciekawa jednoosobowa gra logiczna, łącząca w sobie prostotę i elegancję reguł z potencjalnie dużym i urozmaiconym intelektualnym wyzwaniem. Gra stanowi interesujący materiał badawczy dla sztucznej inteligencji, wziąwszy pod uwagę, że …
-
16 grudnia 2011 14:15
Marcin Kowalski (Uniwersytet Warszawski)
Wykorzystanie rachunku granularnego w opymalizacji relacyjnego silnika bazodanowego
W trakcie seminarium przedstawię zagadnienia, nad którymi dotychczas pracowałem, a które w założeniu będą podstawą mojej pracy doktorskiej. Zagadnienia opierają się na wykorzystaniu paradygmatu obliczeń granularnych (ang. granular computing) w optymalizacji przechowywania i wykorzystania danych …
-
9 grudnia 2011 14:15
Paweł Kierat (Uniwersytet Mikołaja Kopernika w Toruniu)
Interpretacja zapytań w języku naturalnym do wyszukiwarki semantycznej
Celem mojego referatu jest prezentacja przykładu zastosowaniagramatyki kategorialnej dla języka polskiego jako narzędzia doparsowania zapytań do wyszukiwarki semantycznej zadawanych w językunaturalnym. Omówię w jaki sposób kluczowe pojęcia składniwspółczesnego języka polskiego przekładają się na konstrukcje formalnegramatyki …
-
2 grudnia 2011 14:15
Łukasz Puławski (Uniwersytet Warszawski)
Wybrane problemy wykrywania wzorców w procesie wytwarzania oprogramowania
W referacie chciałbym przedstawić kilka problemów związanych z tematyką mojej pracy doktorskiej, która dotyczy wykrywania wzorców strukturalno-czasowych w rocesie wytwarzania oprogramowania. Podczas wystąpienia postaram się odpowiedzieć na następujące pytania: * Jaką strukturę mają dane dotyczące …