Granular Computing 9999 pages 15 METODY SZTUCZNEJ INTELIGENCJI - PROJEKTY

Podobne dokumenty
Granular Computing 9999 pages 15 METODY SZTUCZNEJ INTELIGENCJI - PROJEKTY

Wnioskowanie Boolowskie i teoria zbiorów przybli»onych

Metodydowodzenia twierdzeń

Indeksowane rodziny zbiorów

B jest globalnym pokryciem zbioru {d} wtedy i tylko wtedy, gdy {d} zależy od B i nie istnieje B T takie, że {d} zależy od B ;

Relacj binarn okre±lon w zbiorze X nazywamy podzbiór ϱ X X.

Wyra»enia logicznie równowa»ne

Sztuczna inteligencja

Sztuczna Inteligencja Projekt

A = n. 2. Ka»dy podzbiór zbioru sko«czonego jest zbiorem sko«czonym. Dowody tych twierdze«(elementarne, lecz nieco nu» ce) pominiemy.

Rachunek zda«. Relacje. 2018/2019

MEODY GRUPOWANIA DANYCH

W poprzednim odcinku... Podstawy matematyki dla informatyków. Relacje równowa»no±ci. Zbiór (typ) ilorazowy. Klasy abstrakcji

Statystyka opisowa. Wykªad II. Elementy statystyki opisowej. Edward Kozªowski.

Ukªady równa«liniowych

Systemy ekspertowe. Eksploracja danych z wykorzystaniem tablic decyzyjnych i zbiorów przybliżonych. Część trzecia

Wykªad 4. Funkcje wielu zmiennych.

Zbiory i odwzorowania

x y x y x y x + y x y

ARYTMETYKA MODULARNA. Grzegorz Szkibiel. Wiosna 2014/15

Systemy ekspertowe : Tablice decyzyjne

ARYTMETYKA MODULARNA. Grzegorz Szkibiel. Wiosna 2014/15

Algorytmiczna teoria grafów

Twierdzenie Wainera. Marek Czarnecki. Warszawa, 3 lipca Wydziaª Filozoi i Socjologii Uniwersytet Warszawski

ELEMENTARNA TEORIA LICZB. 1. Podzielno±

Modele wielorównaniowe. Estymacja parametrów

Przekroje Dedekinda 1

*** Teoria popytu konsumenta *** I. Pole preferencji konsumenta 1. Przestrze«towarów 2. Relacja preferencji konsumenta 3. Optymalny koszyk towarów

det A := a 11, ( 1) 1+j a 1j det A 1j, a 11 a 12 a 21 a 22 Wn. 1 (Wyznacznik macierzy stopnia 2:). = a 11a 22 a 33 +a 12 a 23 a 31 +a 13 a 21 a 32

Zbiory przybliżone, cz. 1 (wersja do druku) dr. Piotr Szczuko

Zadania z analizy matematycznej - sem. II Rachunek ró»niczkowy funkcji wielu zmiennych

1 Metody iteracyjne rozwi zywania równania f(x)=0

Metody dowodzenia twierdze«

Ekonometria Bayesowska

ZADANIA OTWARTE KRÓTKIEJ ODPOWIEDZI

2. L(a u) = al( u) dla dowolnych u U i a R. Uwaga 1. Warunki 1., 2. mo»na zast pi jednym warunkiem: L(a u + b v) = al( u) + bl( v)

Modele wielorównaniowe. Problem identykacji

Macierz A: macierz problemów liniowych (IIII); Macierz rozszerzona problemów liniowych (IIII): a 11 a 1m b 1 B = a n1 a nm b n

Wiedza niepewna i wnioskowanie (c.d.)

WSPOMAGANIE DECYZJI - MIŁOSZ KADZIŃSKI LAB IV ZBIORY PRZYBLIŻONE I ODKRYWANIE REGUŁ DECYZYJNYCH

Wykªad 7. Ekstrema lokalne funkcji dwóch zmiennych.

Wnioskowanie Boolowskie i teoria zbiorów przybli»onych

5. (8 punktów) EGZAMIN MAGISTERSKI, r Matematyka w ekonomii i ubezpieczeniach

Wst p do sieci neuronowych 2010/2011 wykªad 7 Algorytm propagacji wstecznej cd.

POLITECHNIKA WROCŠAWSKA WYDZIAŠ ELEKTRONIKI PRACA DYPLOMOWA MAGISTERSKA

Aproksymacja funkcji metod najmniejszych kwadratów

JAO - J zyki, Automaty i Obliczenia - Wykªad 1. JAO - J zyki, Automaty i Obliczenia - Wykªad 1

Laboratorium 7. Support Vector Machines (klasyfikacja).

Geometria Algebraiczna

Równania ró»niczkowe I rz du (RRIR) Twierdzenie Picarda. Anna D browska. WFTiMS. 23 marca 2010

Programowanie i struktury danych 1 / 44

Macierze i Wyznaczniki

1 Poj cia pomocnicze. Przykªad 1. A A d

Zbiory ograniczone i kresy zbiorów

Macierze i Wyznaczniki

Materiaªy do Repetytorium z matematyki

Listy Inne przykªady Rozwi zywanie problemów. Listy w Mathematice. Marcin Karcz. Wydziaª Matematyki, Fizyki i Informatyki.

Metoda tablic semantycznych. 1 Metoda tablic semantycznych

Funkcje wielu zmiennych

In»ynierskie zastosowania statystyki wiczenia

1. Wprowadzenie do C/C++

Wprowadzenie do zbiorów przybli»onych

ARYTMETYKA MODULARNA. Grzegorz Szkibiel. Wiosna 2014/15

Podstawy modelowania w j zyku UML

wiczenie nr 3 z przedmiotu Metody prognozowania kwiecie«2015 r. Metodyka bada«do±wiadczalnych dr hab. in». Sebastian Skoczypiec Cel wiczenia Zaªo»enia

Statystyka matematyczna - ZSTA LMO

Zagadnienia na wej±ciówki z matematyki Technologia Chemiczna

Statystyka matematyczna

Matematyka wykªad 1. Macierze (1) Andrzej Torój. 17 wrze±nia Wy»sza Szkoªa Zarz dzania i Prawa im. H. Chodkowskiej

Rozwi zanie równania ró»niczkowego metod operatorow (zastosowanie transformaty Laplace'a).

ARYTMETYKA MODULARNA. Grzegorz Szkibiel. Wiosna 2014/15

1 0 Je»eli wybierzemy baz A = ((1, 1), (2, 1)) to M(f) A A =. 0 2 Daje to znacznie lepszy opis endomorzmu f.

Informacje pomocnicze

1 Bª dy i arytmetyka zmiennopozycyjna

Algorytmy zwiazane z gramatykami bezkontekstowymi

Przetwarzanie sygnaªów

Rozdzia 5. Uog lniona metoda najmniejszych kwadrat w : ::::::::::::: Podstawy uog lnionej metody najmniejszych kwadrat w :::::: Zastos

Podstawy logiki i teorii zbiorów wiczenia

Ekonometria - wykªad 8

Korekta jako formacja cenowa

Mnożenie macierzy. Systemy z pamięcią współdzieloną Systemy z pamięcią rozproszoną Efektywność

Technologie Informacyjne

Listy i operacje pytania

Funkcje, wielomiany. Informacje pomocnicze

Logika matematyczna (16) (JiNoI I)

istnienie elementu neutralnego dodawania (zera): 0 K a K a + 0 = a, istnienie elementu neutralnego mno»enia (jedynki): 1 K a K a 1 = a,

ODPOWIEDZI I SCHEMAT PUNKTOWANIA ZESTAW NR 2 POZIOM ROZSZERZONY. S x 3x y. 1.5 Podanie odpowiedzi: Poszukiwane liczby to : 2, 6, 5.

System informacyjny a system decyzyjny Relacja nierozróżnialności Klasy abstrakcji Teoria zbiorów przybliżonych Usuwanie niespójności z tablicy

Algorytmy grafowe 2. Andrzej Jastrz bski. Akademia ETI. Politechnika Gda«ska Algorytmy grafowe 2

RACHUNEK ZBIORÓW 2 A B = B A

i, lub, nie Cegieªki buduj ce wspóªczesne procesory. Piotr Fulma«ski 5 kwietnia 2017

KATEDRA INFORMATYKI STOSOWANEJ PŁ ANALIZA I PROJEKTOWANIE SYSTEMÓW INFORMATYCZNYCH

System informacyjny a system decyzyjny Relacja nierozróżnialności Klasy abstrakcji Teoria zbiorów przybliżonych Usuwanie niespójności z tablicy

Metody bioinformatyki (MBI)

Szeregowanie zada« Wykªad nr 6. dr Hanna Furma«czyk. 11 kwietnia 2013

Sztuczna Inteligencja Projekt

Ewolucja Ró»nicowa - Wprowadzenie

gdzie wektory α i tworz baz ortonormaln przestrzeni E n

Ekonometria. wiczenia 1 Regresja liniowa i MNK. Andrzej Torój. Instytut Ekonometrii Zakªad Ekonometrii Stosowanej

Transkrypt:

Granular Computing 9999 pages 15 METODY SZTUCZNEJ INTELIGENCJI - PROJEKTY PB

2 PB 1 Projekt z wyznaczania reduktów zbioru Liczba osób realizuj cych projekt: 1-2 osoby 1. Wczytanie danych w formatach arf, tab 2. Wybór atrybutów, które maj zosta uwzgl dnione podczas wyszukania reduktów 3. Wykonanie poszczegóªnych kroków algorytmu z wypisaniem wyników po±rednich 1.1 Nazewnictwo (x 1, x 2,...) - zbiór obiektów, reprezentuj cych dane x i = {x 1 i, x2 i,.., xp i }, gdzie xj i oznacza atrybut o indeksie j obiektu x i. U przestrze«wszystkich obiektów X - podzbiór zbioru wszystkich obiektów U x i - obiekt nale» cy do podzbioru wszystkich obiektów U A - zbiór wszystkich atrybutów, cech, wªa±ciwo±ci a i - atrybut nale» cy do zbioru atrybutów A V ai - zbiór wszystkich warto±ci atrybutu a i (nazywany dziedzin a i ) V (a i ) - zbiór wszystkich warto±ci atrybutu a i (nazywany dziedzin a i ) B - niepusty podzbiór A (B A) LOW (X B ) - dolna aproksymacja X wzgl dem B X B - dolna aproksymacja X wzgl dem B UP P (X B ) - górna aproksymacja X wzgl dem B X B - górna aproksymacja X wzgl dem B AS B - standardowa przestrze«aproksymacyjna AS #,$ - sparametryzowana przestrze«aproksymacyjna R ai (X) - przybli»ono± ze wzdgledu na {a i } Rough aj (a i ) - ±rednia przybli»ono± atrybutu a i wzgl dem atrybutu {a j } MR(a i ) - minimalna przybli»ono± atrybutu a i M M R - minimalna warto± MR wszystkich atrybutów IN D(B) - relacja nierozró»nialno±ci [x i ] IND(B) - klasa równowa»no±ci obiektu x i w relacji IND(B), nazywana tak»e zbiorem elementarnym w B (C 1, C 2,..., C K ) - klasy, skupienia w danym pogrupowaniu danych Card(X) - liczebno± zbioru X X - liczebno± zbioru X P (U) - zbiór pot gowy zbioru U 2 Algorytm - Expansion Algorithm Przykªad, dla podanego systemu informacyjnego: a b c d E

METODY SZTUCZNEJ INTELIGENCJI - PROJEKTY 3 x 1 1 0 2 1 1 x 2 1 0 2 0 1 x 3 1 2 0 0 2 x 4 1 2 2 1 0 x 5 2 1 0 0 2 x 6 2 1 1 0 2 x 7 2 1 2 1 1 Tablica 2: System informacyjny x 1 x 2 x 1 x 2 x 3 x 4 x 5 x 6 x 7 d x 3 b,c,d b,c x 4 b b,d c,d x 5 a,b,c,d a,b,c a,b,d a,b,c,d x 6 a,b,c,d a,b,c,d a,b,c a,b,c,d c x 7 a,b a,b,d a,b,c,d a,b c,d c,d Tablica 3: System informacyjny - macierz rozró»nialno±ci W tabeli decyzyjnej, dwa atrybuty x oraz y nazywane s silnie równowa»nymi je»eli wyst puj zawsze razem w maceirzy rozró»nialnosci. Ka»dy element mo»na rozpatrywa w postaci alternatywy, to znaczy, je»eli element macierzy rozró»nialno±ci ma posta a, b, c wtedy mo»na go zapisa jako a b c. Funkcja rozró»nialno±ci ma posta koniunkcji wyra»e«w postaci alternatywy macierzy rozró»nialno±ci. EXPANSION LAW 1. odszuka atrybut X wyst puj cy najcz ±ciej (przynajmniej raz) 2. wykona operacje AND z X i z wszystkimi pozostaªymi OR z macerzy nierozró»- nialnosci, które nie zawieraj atrybutu X 3. zastosowa koniunkcj AND z elementami OR wszystkich elementów, w których je»eli element zawiera X, wyeliminowa X. 4. poª czy elementy otrzymane z punktu (2) i (3) Przykªad: niech b dzie zadana macierz rozró»nialnosci: {{a, b, e}, {a, b}, {a, c}, {d}}. Relacja rozró»nialno±ci zadana jest w postaci: {a b e} {a b} {a c} d W podanej relacji, element a wyst puje cz sto. Stosujemy operacj AND z a i d. Otrzymujemy {a} {d} = {a, d} - nazwijmy jako komponent I. Po zastosowaniu operacji AND dla b c, b i c otrzymujemy: (b e) (b) (c) = {b, c} {b, c, e} - jako komponent II. W postaci poª czonej komponnetu I oraz II mamy: {a, d}, {b, c}, {b, c, e}

4 PB Algorithm 1: Algorytm Ekspansji Data: System Informacyjny Result: Redukt systemu informacyjnego Zdeniowa funkcj rozró»nialno±ci f = f 1 f 2... f k Step 1 Zastosowa prawo absorbcji do wyeliemonowania wszystkich wyra»e«w postaci alternatywy, które stanowi nadzbiór pozostaªych wyra»e«w postaci alternatywy. Step 2: Zastapi zbiór silnie równowa»nych atrybutów zmienn zast pcz. Step 3: Wybra atrybut, wyst puj cy najcz ±ciej w zbiorach w postaci koniunkcji (przynajmniej dwa razy), i zastosowa prawo ekspansji. Step 4: Powórzy kroki od 1 do 3, do chwili gdy nie mo»na zastsowa prawa ekspansji dla ka»dego komponentu. Step 5: Zastapi wszystkie silnie równowa»ne klasy ich odpowiadaj cymi atrybutami. Step 6: Wyznaczy redukt dla ka»dego komponentu. Step 7: Wypisa zintegrowany redukt.

METODY SZTUCZNEJ INTELIGENCJI - PROJEKTY 5 Algorithm 2: Algorytm Ekspansji - przykªad Data: System Informacyjny Result: Redukt systemu informacyjnego - przykªad Relacja rozró»nialno±ci: F = {a b c f} {b d} {a d e f} {a b c d} {b d e f} {c d} Zastosowanie prawa absorbcji: {b d} {a b c d} {b d} {a b c d} = {b d} Zastosowanie prawa absorbcji: {b d} {b d e f} {b d} {b d e f} = {b d} Po powy»szych przeksztaªceniach, relacja rozró»nialno±ci przyjmuje posta : F = {a b c f} {b d} {a d e f} {c d} Relacja silnej równowa»no±ci: Atrybuty {a, f} silnie równowa»ne. Oznaczanie M = {a f} relacja rozró»nialno±ci przyjmuje posta : F = {M b c} {b d} {M d e} {c d} Atrybut d wyst puje cz sto. Zastosowanie prawa ekspansji: F = [{d} {M b c}] [{M b c} {b} {M e} {c}] Zastosowanie prawa absorbcji dla drugiego komponentu: F = [d {M b c}] [{b} {M e} {c}] W ten sposób wszystkie komponenty znajduj si w prostej postaci. Zast pienie M przez a f daje w wyniku: F = [{d} {M b c}] [{b} {M e} {c}] Redukt pierwszego komponentu: R 1 = {a, d}, {d, f}, {b, d}, {b, c} Redukt drugiego komponentu: R 2 = {a, b, c}, {b, c, f}, {b, c, e} Redukt wynikowy przyjmuje posta : R = {a, d}, {d, f}, {b, d}, {b, c}, {a, b, c}, {b, c, f}, {b, c, e}