|
Seminarium Zakładu Logiki Matematycznej - archiwum tematów z roku akad. 2003/043.10.2003 - Andrzej Skowron: "Approximation spaces". 10.10.2003 - Rafał Latkowski: "Plany doktoratu". Referat obejmuje przedstawienie tematów, którymi będę chciał się zajmować podczas dalszej pracy nad rozprawą doktorską. W ramach tych tematów omówię też krótko najnowsze wyniki związane z badaniem złożoności obliczeniowej algorytmów indukcji drzew decyzyjnych przy dużej liczbie brakujących wartości w danych. 31.10.2003 - Nguyen Hung Son, Nguyen Sinh Hoa. 7.11.2003 - Krzysztof Pancerz. 14.11.2003 - Michał Mikołajczyk: "D3RJ i sklejanie regul decyzyjnych".
1. System D3RJ 21.11.2003 - Jan Bazan: "Symulator ruchu drogowego jako narzędzie do generowania danych na potrzeby testowania klasyfikatorów złożonych".
Ponieważ obecnie kończymy w naszym Zespole badawczym prace nad wersją 2.1
systemu RSES, chciałbym na początku krótko omówić, co się zmieniło
w systemie RSES w stosunku do wersji 2.0.
Zmiany te omowię w trzech następujących aspektach: 21.11.2003 - Prof. Ryszard S. Michalski: "Inferential theory of learning and its application to knowledge mining". The talk will discuss the Inferential Theory of Learning, its underlying ideas and its application to the development of inductive databases and knowledge mining systems. The Inferential Theory of Learning views every form of learning as a process of increasing knowledge in the system. Concepts fundamental to the theory, such as data, information, and knowledge will be elucidated and differentiated. For those interested, after the talk, there will be a demonstration of iAQ, a system for illustrating natural induction, a form of inductive inference that produces hypotheses in human-oriented forms. 28.11.2003 - Nguyen Tuan Trung: "Synteza pojęć przybliżonych na przykładzie problemu klasyfikacji cyfr pisanych ręcznie". 5.12.2003 - Piotr Synak: "Complex patterns in spatio-temporal reasoning". 12.12.2003 - Bożena Staruch: "Zastosowanie języka struktur częściowych do opisywania informacji".
Proponuję język opisywania i badania i informacji poprzez badanie klas rozszerzeń danych struktur częściowych oraz związanych z nimi zbiorów zdań. 19.12.2003 - Mikhail Moskhov: "On algorithms for construction of approximate reducts, decision rule systems and decision trees". We consider new type of bounds for precision of greedy algorithms which try to minimize cardinality of approximate reducts, lenghts of approximate decision rules, the number of rules in almost complete decision rule systems, and the depth of approximate decision trees. 19.12.2003 - Arkadiusz Wojna: "Reprezentacja i klasyfikacja danych oparta na pojęciach metryki i najbliższego sąsiedztwa". Tematem seminarium jest przedstawienie zagadnień opracowanych w ramach realizacji pracy doktorskiej. Dotyczy ona metod klasyfikacji stanowiących rozszerzenie klasycznego algorytmu k najbliższych sąsiadów. Rozszerzenia te polegają na dwuetapowym podejściu do klasyfikacji: pierwszy etap to konstrukcja sąsiedztwa testowanego obiektu, drugi to indukcja lokalnego modelu na podstawie skonstruowanego sąsiedztwa. Na seminarium przedstawione zostaną różne metody realizujące to podejście i wyniki ich testów, a także metody reprezentacji danych i ich znaczenie dla jakości i efektywności klasyfikacji, ze szczególnym uwzględnieniem dużych zbiorów danych. 9.01.2004 - Dominik Ślęzak: "The Rough Bayesian Model For Distributed Decision Systems". We consider new type of bounds for precision of greedy algorithms which try to minimize cardinality of approximate reducts, lenghts of approximate decision rules, the number of rules in almost complete decision rule systems, and the depth of approximate decision trees. 16.01.2004 - Nguyen Hung Son: "Informacja na temat eksperymentów z symulatorem ruchu samochodów". 16.01.2004 - Prof. Jan Doroszewski: "Prawdopodobieństwo i niepewność w rozumowaniu biomedycznym".
Referat przedstawia model rozumowania typu diagnostycznego lub naukowego oparty na pewnego rodzaju interpretacji, przekształceniu i wzbogaceniu wiedzy biomedycznej wyrażonej za pomocą naturalnego języka fachowego. Uwzględnione jest przede wszystkim zagadnienie uznawania twierdzeń (ogólnych lub szczegółowych), z którym wiąże się problem oceny prawdopodobieństwa (stopnia pewności) zdarzeń i ich językowego opisu. 13.02.2004 - Anna Gomolińska: "Przybliżona stosowalność reguł w uogólnionych przestrzeniach aproksymacyjnych". Stosowalnosc regul jako zagadnienie wiaze sie z analiza przeslanek regul i stanowi czesc szerszego problemu jakim jest stosowanie regul. To ostatnie zagadnienie obejmuje takze rezultaty (wyniki) stosowania regul i analize jakosci regul. Wychodzac od przyblizonej semantyki formul w uogolnionych przestrzeniach aproksymacyjnych, mozna zdefiniowac pojecia przyblizonej stosowalnosci reguly lub zbioru regul do pojedynczego obiektu lub do zbioru obiektow. Nawet w przypadku 1-1 tzn. gdy mowimy o stosowalnosci pojedynczej reguly do pojedynczego obiektu, mamy szereg mozliwosci. Tak wiec, mozna wyroznic podejscia "kolektywne", "dystrybutywne" i "koniunkcyjne". Nastepnie, mozna wszystkie przeslanki reguly traktowac w ten sam sposob lub mozna dokonac podzialu zbioru przeslanek na pewne klasy. W roznym stopniu moga tez byc uwzglednione pojecia dolnego i gornego przyblizenia czy tez $t$-regionow pozytywnych badz negatywnych. Oprocz przedstawienia wyzej wspomnianych pojec, podam tez ich wlasnosci matematyczne. 20.02.2004 - Adam Pietrowcew: "Detekcja twarzy w obrazach cyfrowych za pomocą rozmytej-ważonej transformaty Hougha". Referat omawia nowy algorytm detekcji twarzy ludzkich w obrazach kolorowych, cechujący się dużą szybkością oraz skutecznością działania. Metoda bardzo efektywnie wykorzystuje informacje o kolorach oraz konturach występujących w obrazie cyfrowym w celu precyzyjnego ustalenia położenia głowy ludzkiej. Wydajna technika wykrywania i ustalania pozycji oczu pozwala potwierdzić obecność twarzy w ustalonym regionie zainteresowania oraz określić jej orientację. Powyższa hybrydowa metoda detekcji i lokalizacji twarzy jest w bardzo dużym stopniu, niezależna od oświetlenia, a również przestrzennego położenia twarzy w analizowanej scenie. Ważną jej zaletą jest bardzo precyzyjna aproksymacja obszaru twarzy, a także wysoka odporność na złożone oraz skomplikowane tło. 27.02.2004 - Spotkanie poświęcone analizie danych medycznych dr. A. Osmólskiego. 5.03.2004 - Adam Pietrowcew: "Rozpoznawanie twarzy w obrazach cyfrowych". 12.03.2004 - Adam Szmgielski: "Wykorzystanie systemu czujników ultradźwiękowych do opisu przestrzeni roboczej robota mobilnego w oparciu o metody mereologii" (autoreferat rozprawy doktorskiej). 12.03.2004 - Mikhail Ju. Moshkov: "Decision Trees and Reducts for Distributed Decision Tables".
In the presentation some problems connected with construction of decision
trees and relative reducts for distributed decision tables are considered.
The presentation consists of four parts: 19.03.2004 - Dominik Ślęzak: "Analiza złożonych decyzji: Reguły, redukty i mapy informacyjne".
Tematem referatu jest uogólnienie podstawowych algorytmów teorii zbiorów
przybliżonych, szukających optymalnych reduktów i reguł decyzyjnych, na
przypadek danych ze złożonymi wartościami decyzyjnymi. Zakłada się istnienie
przestrzeni decyzyjnej, która umożliwia wyrażanie podobieństw i odległości
pomiędzy wartościami. Wymogi takiej przestrzeni dyskutowane są ze względu na
proces tworzenia reguł - zbiorowisk obiektów o podobnych decyzjach - jak i
wnioskowania o nowych przypadkach, gdzie decyzje konstruowane być winny jako
ważone kombinacje decyzji dla przypadków znanych (zgodnie z zasadami CBR). 26.03.2004 - Michał Mikołajczyk: "Uogólnianie reguł decyzyjnych i nowe podejście do rozstrzygania konfliktów między regułami".
Zagadnienia jakie planuję poruszyć to: 2.04.2004 - Jan Bazan: "Zastosowanie metod konstruowania złożonych klasyfikatorów hierarchicznych do analizy danych wygenerowanych przez symulator ruchu drogowego". Głównym celem referatu jest zaprezentowanie algorytmicznych metod konstruowania zlozonych klasyfikatorow hierarchicznych, opartych na teorii zbiorow przyblizonych oraz koncepcji schematow wnioskowania aproksymacyjnego, zapropopnowanej przez prof. Skowrona. Metody te zostaly opracowane i zaimplementowane w zwiazku z eksperymentalna analiza danych wygenerowanych przez symulator ruchu drogowego (symulator byl przezentowany wczesniej na seminarium). Zostana przedstawione takze wyniki eksperymentow komputerowych wykonanych z uzyciem prezentowanych metod. 16.04.2004 - Artur Paluch, Wojciech Rząsa: "Systemy informacyjne z multifunkcjami jako atrybutami. Własności i przykłady zastosowań takich systemów". Systemy informacyjne z atrybutami będącymi multifunkcjami (funkcjami o wartościach w dowolnym zbiorze potęgowym), jako szczególnego typu systemy informacyjne, mają wszystkie własności określone dla dowolnych systemów informacyjnych i można w ich analizie stosować znane pojęcia i podejścia. Wystarczy w tym celu abstrahować od multifunkcyjnego charakteru tych systemów. Jednak celem wykładu jest zaprezentowanie pewnych własności omawianych systemów, charakterystycznych tylko dla nich, jak również porównanie podstawowych pojęć zdefiniowanych dla dowolnego i omawianego typu systemów. W szczególności będzie to zdefiniowanie odpowiedniej relacji nierozróżnialności, odwołującej się do multifunkcyjnego charakteru atrybutów i przedstawienie jej własności na tle własności relacji nierozróżnialności zdefiniowanej przez Z. Pawlaka, omówienie pojęć reduktu, reguły decyzyjnej, czy niedeterminizmu w multifunkcyjnych systemach decyzyjnych. W drugiej części wystąpienia zamierzamy omówić przykłady zastosowań takich systemów informacyjnych w procesie odkrywania wiedzy z danych empirycznych za pomocą tworzonego w WSIiZ w Rzeszowie programu komputerowego. 23.04.2004 - Wojciech Bijak: "Metody badania niewypłacalności zakładów ubezpieczeń".
Przedstawione zostały: 23.04.2004 - Marcin Wolski: "Kraty pojęć". Jedną z najmodniejszych technik analizy danych jest Formalna Analiza Pojęć (Formal Concept Analisis -- FCA), gdzie na podstawie tablicy danych buduje się (zupełną) kratę pojęć przez nią generowanych. Formalnie FCA jest oparta na kontrawriantnym połączeniu Galois pomiędzy dwoma zbiorami potęgowymi uporządkowanymi przez relację inkluzji zbiorów. Takie połączenie gernerowane jest przez dowolną relację między dwoma zbiorami. Kiedy weźniemy dopełnienie takiej relacji możemy zbudować kratę pojęć w której bierzemy pod uwagę zarówno przypadki pozytywne jak i negatywne. Taka krata stanowi podstawę JSM- Reasoning. W referacie ogólnię związek pomiędzy połączeniami Galois i kratami pojęć na przypadek kowariantnych połączeń, które leżą u podstaw Teorii Zbiorów Przybliżonych (Rough Set Theory -- RST). Podobnie jak w poprzednim przypadku dowolna relacja między zbiorami generuje takie połączenie. Ponieważ kowariantne połączenia są niesymetryczne generują dwie (zupełne) kraty pojęć, a w przypadku dopełnienia relacji kolejne dwie (zupełne) pół-kraty. Pojęcia generowane przez kowariantne połączenia, w przeciwieństwie do pojęć FCA, mogą posiadać sprzeczne ekstensje dlatego będą (może) pomocne przy analizie sprzecznych informacji. 7.05.2004 - Piotr Wasilewski: "Superweniencja a zależność w systemach informacyjnych". W pierwszej części wystąpienia zostały przedstawione wybrane fakty dotyczące relacji nieodróżnialności pod względem rodzin zbiorów, uogólnionych składowych oraz pewne związki tych pojęć z ciałami zbiorów. Następnie zostało przedstawione możliwe uogólnienie pojęcia przestrzeni przybliżeń Pawlaka, oparte o rodziny zbiorów oraz związane z tym uogólnieniem odpowiedniki wybranych pojęć z teorii zbiorów przyblizonych, np. niezależność baz wiedzy (knowledge bases). W części drugiej wystąpienia została przedstawiona relacja superweniencji na jednej dziedzinie jako filozoficzny odpowiednik pojęcia zależności w systemach informacyjnych Pawlaka. Następnie zostało przedstawione pojęcie superweniencji na wielu dziedzinach oraz zostanie zaproponowane oparte o nie pojęcie zależności między systemami informacyjnymi Pawlaka. Wystąpienie zostało zakończone zarysowaniem możliwości zastosowań omawianych w nim pojęć do analizy systemów dynamicznych. 7.05.2004 - Zenon Kulpa: "Diagramowa notacja dla algebry przedziałów z elementami diagramatyki". W referacie został przedstawiony opracowany przez autora system diagramowej notacji dla algebry przedziałów wraz z niektórymi wynikami uzyskanymi dzieki jego zastosowaniu do badania własności relacji przedziałowych, arytmetyki przedziałowej i przedziałowych równań liniowych. Badanie, opracowywanie i stosowanie notacji diagramowych do reprezentacji wiedzy jest domeną niedawno powstałej dziedziny nauki zwanej diagramatyka, której wybrane zagadnienia będą również naszkicowane w referacie (w szczególności przegląd rodzajów błędów występujących w diagramach, zwłaszcza matematycznych). 14.05.2004 - Nguyen Sinh Hoa. 22.05.2004 - Ivo Düntsch: "Boolean contact algebras". 22.05.2004 - Nguyen Tuan Trung: "Domain Knowledge Approximation in Handwritten Digit Recognition". Pattern recognition system on large sets of complex objects often have to deal with atypical samples that defy most traditional classifiers. Such samples can be handled with additional domain knowledge from an human expert. We propose a framework for the transfer of knowledge from the expert and incorporating it into the learning process of our recognition system using the rough mereology methods. We also show how this knowledge acquisition can be conducted in an interactive manner, with a large dataset of handwritten digits as an example. 11.06.2004 - Sankar K. Pal: "Machine Intelligence and Data Mining: Prospects in Bioinformatics". Different components of machine intelligence and its relevance to data mining and knowledge discovery from pattern recognition points of view are explained. Ways of integrating different tools in soft computing framework are described. Some of such integrations are explained along with their merits and suitability for data mining with real life applications. Significance of granular computing through rough sets is given emphasis. Finally, the appliaction of these mining methodologies, as prospective tools, for certain bioinformatics tasks, like fragment assembly and protein structure identification, is explained mentioning the relevance of soft computing tools individually. 11.06.2004 - Guoyin Wang: "Rough Set Based Initiative Data Mining". Althrough prior domain knowledge is useful and helpful for data mining, sometimes we have no such prior knowledge in hand. In these cases, we need to mine knowledge from data itself. Thus, initiative data mining technology is needed. In this lecture, we focus on some topics about data mining, initiativa knowledge acquisition, etc. Some simulation experiment results was also be presented. 15.06.2004 - Katia Sycara: "The Many Faces of Agents". In this talk, I will give a survey of our work in the areas of multiagent interactions. We will present multi agent autonomous interactions as well as interactions of agents with humans. The autonomous multi agent interactions we will examine include team work interactions where the agents are assumed to be cooperative, as well as self interested interactions, where the agents are assumed to have the goal of maximizing their own utilities. Negotiation and coalition formation models will be presented. In addition, we will present models of agents aiding human individuals and teams. We will present experimental results that reveal what kind of agent structure and aiding is most beneficial for human teams. |