Formální konceptuální analýza

Podobné dokumenty
Metoda zpracování dat s filozofickým pozadím. Michal Krupka. Palacky University, Olomouc, Czech Republic

RELATIONAL DATA ANALYSIS

PRVOUKA I.a II. ROČNÍK

Informatika na Univerzitě Palackého

Základy informatiky. Úvod do informatiky. Daniela Szturcová Část převzata z přednášky P. Děrgela

Modely datové. Další úrovní je logická úroveň Databázové modely Relační, Síťový, Hierarchický. Na fyzické úrovni se jedná o množinu souborů.

Analýza internetových vyhledávačů metodami formální konceptuální analýzy

RNDr. Jakub Lokoč, Ph.D. RNDr. Michal Kopecký, Ph.D. Katedra softwarového inženýrství Matematicko-Fyzikální fakulta Univerzita Karlova v Praze

Geoinformatika. I Geoinformatika a historie GIS

ročník 8. č. 13 název

Tyto pracovní listy slouží k procvičení učiva: určování domácích zvířat, chov domácích zvířat a jejich prospěšnost pro lidi.

Střední odborná škola stavební Karlovy Vary Sabinovo náměstí 16, Karlovy Vary Autor: Ing. Hana Šmídová Název materiálu:

Grafy. doc. Mgr. Jiří Dvorský, Ph.D. Katedra informatiky Fakulta elektrotechniky a informatiky VŠB TU Ostrava. Prezentace ke dni 13.

Hospodářská zvířata. Savci IV 11 22:19 I 14 20:27 I 14 20:28 I 14 20:27 I 14 20:28 I 14 20:28. Stavba těla savců

Analýza internetových vyhledávačů metodami formální konceptuální analýzy

01 Úvod do informatiky

DBS Konceptuální modelování

Alternativní přístup k analýze vícefaktorových dat

Vědecký tutoriál, část I. A Tutorial. Vilém Vychodil (Univerzita Palackého v Olomouci)

Databáze I. Přednáška 3

Inovace tohoto kurzu byla spolufinancována z Evropského sociálního fondu a státního rozpočtu České republiky.

Pro zvládnutí této kapitoly budete potřebovat 4-5 hodin studia.

KIV/ZIS cvičení 2. Martin Kryl

Aritmetika s didaktikou I.

Seminář z Informatiky a výpočetní techniky. Slovanské gymnázium Olomouc 4. září 2014 Tomáš Kühr

8.2 Používání a tvorba databází

Databázové systémy. Cvičení 3

Jméno: OPAKOVÁNÍ SAVCI, PTÁCI

Pojmové mapy ve výuce fyziky

Klasické metodiky softwarového inženýrství I N G M A R T I N M O L H A N E C, C S C. Y 1 3 A N W

Karina Makarova. Oleksandra Sharnova. Anastasiya Romanyuta. Alexandra Plischenko. Jana Burchavskaya. Asel Doschanova

DIPLOMOVÁ PRÁCE. Formální konceptuální analýza nad neúplnými daty Bc. Martin Kauer

Střední průmyslová škola Zlín

Geoinformační technologie

Úvod do databázových systémů 6. cvičení

Aritmetika s didaktikou I.

Ontologické modely pro webové portály

KIV/ZIS cvičení 1. Martin Kryl

Úvod do databázových systémů 2012/2013 IS MHD. Jiří Znoj zno

Obsah přednášky. Databázové systémy RDBMS. Fáze návrhu RDBMS. Coddových 12 pravidel. Coddových 12 pravidel

OOT Objektově orientované technologie

2. Konceptuální model dat, E-R konceptuální model

Konceptuální modelování. Pavel Tyl

Zobrazení. prof. RNDr. Čestmír Burdík DrCs. prof. Ing. Edita Pelantová CSc. Katedra matematiky BI-ZMA ZS 2009/2010

B i n á r n í r e l a c e. Patrik Kavecký, Radomír Hamřík

Úvod do databázových systémů

Marie Duží

Úvod do informatiky. Miroslav Kolařík

Architektura informačních systémů. - dílčí architektury - strategické řízení taktické řízení. operativní řízení a provozu. Globální architektura

Analýza a modelování dat. Helena Palovská

Fibonacciho čísla na střední škole

Teorie množin. Čekají nás základní množinové operace kartézské součiny, relace zobrazení, operace. Teoretické základy informatiky.

Matice. a m1 a m2... a mn

Objektově orientované technologie Diagram komponent Implementační náhled (Diagram rozmístění) Pavel Děrgel, Daniela Szturcová

VY_inovace_V/2_sada01

Využití zakotvené teorie pro výzkum volby školy na úrovni primárního vzdělávání

Logika pro sémantický web

Databázové systémy. Úvod do teorie normalizace. Vilém Vychodil

Užití morfologických metod při přenosu signálu

Teze přednášek z Úvodu do pedagogiky a základů pedagogického myšlení PaedDr. Bohumíra Šmahelová,CSc.

Oproti definici ekvivalence jsme tedy pouze zaměnili symetričnost za antisymetričnost.

Obsah prezentace. Základní pojmy v teorii o grafech Úlohy a prohledávání grafů Hledání nejkratších cest

Úvod do logiky (presentace 2) Naivní teorie množin, relace a funkce

DIPLOMOVÁ PRÁCE. VyhledávaË zaloæen na formální konceptuální anal ze Lukáπ Havrlant

Databázové systémy. Cvičení 2

7. Geografické informační systémy.

Pojem binární relace patří mezi nejzákladnější matematické pojmy. Binární relace

Databázové patterny. MI-DSP 2013/14 RNDr. Ondřej Zýka,

INFORMATIKA. Jindřich Kaluža. Ludmila Kalužová

Genetické programování 3. část

SQL - trigger, Databázové modelování

Aplikace Formální konceptuální analýzy v sociálních sítích

Zobrazte si svazy a uspořádané množiny! Jan Outrata

Algoritmy výpočetní geometrie

Úvod do informatiky. Miroslav Kolařík. Zpracováno dle učebního textu R. Bělohlávka: Úvod do informatiky, KMI UPOL, Olomouc 2008.

Základy algebraických specifikací

Profilová část maturitní zkoušky 2013/2014

Renáta Bednárová STATISTIKA PRO EKONOMY

POROVNÁNÍ RELAČNÍHO A OBJEKTOVÉHO DATOVÉHO MODELU V KONSTRUKCI DATABÁZOVÝCH SYSTÉMŮ

Dům zahraniční spolupráce

Množiny, relace, zobrazení

Formální konceptuální analýza v zobrazování 3D živočišných ostatků v půdě

Databázové systémy. Vztahy a relace. 3.přednáška

SIGNÁLY A LINEÁRNÍ SYSTÉMY

Fakulta elektrotechniky a informatiky Vysoká škola báňská - Technická univerzita Ostrava. Úvod do databázových systémů 2012/2013 IS MHD

Univerzita Palackého v Olomouci Radek Janoštík (Univerzita Palackého v Olomouci) Základy programování 4 - C# 26.3.

MODERNÍ TRENDY V KARTOGRAFICKÉM DESIGNU Z HLEDISKA UŽIVATELSKÝCH ASPETŮ ALENA VONDRÁKOVÁ KATEDRA GEOINFORMATIKY UNIVERZITA PALACKÉHO V OLOMOUCI

Profilová část maturitní zkoušky 2017/2018

Vnímání zeleného marketingu mladou generací s aplikací na automobilový trh. doc. Ing. Jana Přikrylová, Ph. D. Ing. Eva Jaderná, Ph. D.

Ontologie. Otakar Trunda

Logické programování

Informační architektura (IA)

Dolování asociačních pravidel

Úvodní poznámky a literatura. Robotika. Úvodní poznámky a literatura. Vladimír Smutný. Centrum strojového vnímání

PRODUKTY. Tovek Tools

Analýza a modelování dat 3. přednáška. Helena Palovská

Zadání semestrálního projektu Algoritmy II. letní semestr 2017/2018

Základní pojmy teorie množin Vektorové prostory

Tvorba informačních systémů

Transkript:

moderní metoda analýzy dat 14. října 2011

Osnova Informatika 1 Informatika 2 3 4

Co je to informatika?

Co je to informatika? Computer science is no more about computers than astronomy is about telescopes. Informatika se nezabývá počítači o nic více než astronomie dalekohledy. Edsger Dijkstra

Informatika Informatika je věda, která se zabývá informacemi (daty) a jejich zpracováním. Data nejběžněji zaznamenáváme ve formě vzájemně propojených tabulek (databází). Rodné číslo Příjmení Jméno 751224/1234 Novák Josef 825513/9876 Němečková Dana 830524/4433 Oulehla Vladimír......... Rodné číslo ID 830524/4433 20134 751224/1234 1264 825513/9876 1264...... ID Ulice Číslo Město 20134 17. listopadu 123 Olomouc 1264 Pod Palmami 5 Praha 13469 Koňská 28 Lhota.........

Informatika Informatika je věda, která se zabývá informacemi (daty) a jejich zpracováním. Data nejběžněji zaznamenáváme ve formě vzájemně propojených tabulek (databází). Rodné číslo Příjmení Jméno 751224/1234 Novák Josef 825513/9876 Němečková Dana 830524/4433 Oulehla Vladimír......... Rodné číslo ID 830524/4433 20134 751224/1234 1264 825513/9876 1264...... ID Ulice Číslo Město 20134 17. listopadu 123 Olomouc 1264 Pod Palmami 5 Praha 13469 Koňská 28 Lhota.........

Binární data Jsou nejjednodušším typem informace. Vyjadřují, zda zkoumaný objekt má či nemá danou vlastnost. Jiné typy dat lze relativně snadno převést na binární data. 2 nohy 4 nohy vejce mléko maso vlna pes kočka ovce koza slepice krocan

Binární data Jsou nejjednodušším typem informace. Vyjadřují, zda zkoumaný objekt má či nemá danou vlastnost. Jiné typy dat lze relativně snadno převést na binární data. 2 nohy 4 nohy vejce mléko maso vlna pes kočka ovce koza slepice krocan

(FKA) metoda analýzy dat, K 0 jejíž základy položil Rudolf Wille v roce 1982. Umožňuje jiný pohled na data. Z tabulky s binárními daty je vytvořena množina tzv. konceptů (maximální shluky = obdélníky křížků v tabulce). Koncepty lze přirozeně uspořádat. K 2 K 1 K 3 K 4 K 5 K 6 K 7

Hledání konceptů Nalezené: 2 nohy 4 nohy vejce mléko maso vlna pes kočka ovce koza slepice krocan

Hledání konceptů Nalezené: {pes, kočka, ovce, koza}, {4 nohy}, 2 nohy 4 nohy vejce mléko maso vlna pes kočka ovce koza slepice krocan

Hledání konceptů Nalezené: {pes, kočka, ovce, koza}, {4 nohy}, {ovce, koza, slepice, krocan}, {maso}, 2 nohy 4 nohy vejce mléko maso vlna pes kočka ovce koza slepice krocan

Hledání konceptů Nalezené: {pes, kočka, ovce, koza}, {4 nohy}, {ovce, koza, slepice, krocan}, {maso}, {slepice, krocan}, {2 nohy, maso}, 2 nohy 4 nohy vejce mléko maso vlna pes kočka ovce koza slepice krocan

Hledání konceptů Nalezené: {pes, kočka, ovce, koza}, {4 nohy}, {ovce, koza, slepice, krocan}, {maso}, {slepice, krocan}, {2 nohy, maso}, {ovce, koza}, {4 nohy, mléko, maso}, 2 nohy 4 nohy vejce mléko maso vlna pes kočka ovce koza slepice krocan

Hledání konceptů Nalezené: {pes, kočka, ovce, koza}, {4 nohy}, {ovce, koza, slepice, krocan}, {maso}, {slepice, krocan}, {2 nohy, maso}, {ovce, koza}, {4 nohy, mléko, maso}, {slepice}, {2 nohy, vejce, maso}, 2 nohy 4 nohy vejce mléko maso vlna pes kočka ovce koza slepice krocan

Hledání konceptů Nalezené: {pes, kočka, ovce, koza}, {4 nohy}, {ovce, koza, slepice, krocan}, {maso}, {slepice, krocan}, {2 nohy, maso}, {ovce, koza}, {4 nohy, mléko, maso}, {slepice}, {2 nohy, vejce, maso}, {ovce}, {4 nohy, mléko, maso, vlna}, 2 nohy 4 nohy vejce mléko maso vlna pes kočka ovce koza slepice krocan

Uspořádání konceptů Koncepty: K 1 = {pes, kočka, ovce, koza}, {4 nohy}, K 2 = {ovce, koza, slepice, krocan}, {maso}, K 3 = {slepice, krocan}, {2 nohy, maso}, K 4 = {ovce, koza}, {4 nohy, mléko, maso}, K 5 = {slepice}, {2 nohy, vejce, maso}, K 6 = {ovce}, {4 nohy, mléko, maso, vlna}, K 0 = {pes, kočka, ovce, koza, slepice, krocan},, K 7 =, {2 nohy, 4 nohy, vejce, mléko, maso, vlna}. Koncepty uspořádáme podle odpovídajících množin objektů: např. {ovce, koza} {pes, kočka, ovce, koza} K 4 K 1 K 7 K 5 K 3 K 2 K 0, K 7 K 6 K 4 K 1 K 0, K 4 K 2.

Konceptuální svaz Uspořádaná množina konceptů tvoří tzv. konceptuální svaz, který může být graficky znázorněn Hasseovým diagramem. Jednotlivé koncepty jsou v tomto diagramu znázorněny uzly. Koncepty K i a K j jsou v diagramu spojeny, pokud K i K j, při čemž K j je umístěn výše než K i. K 0 K 2 K 1 K 3 K 4 K 5 K 6 K 7

Formální kontext Definice Formální kontext je trojice X, Y, I, kde X je množina objektů, Y je množina atributů a I je binární relace incidence mezi množinami X a Y.

Formální koncept Definice Pro dané množiny A X a B Y definujeme A = {y Y x A platí x, y I}, B = {x X y B platí x, y I}. Pokud A = B a B = A, pak dvojici A, B nazýváme formální koncept. Množinu A nazýváme extent a množinu B intent tohoto konceptu. Pro dva formální koncepty A 1, B 1 a A 2, B 2 klademe A 1, B 1 A 2, B 2, právě když A 1 A 2.

obecně jiný pohled na data, vyhledávání informací, na katedře informatiky UP: vyhodnocování dotazníků, taxonomie zkamenělin.

Informatika C. Carpineto, G. Romano: Concept Data Analysis: Theory and Applications. John Wiley & Sons, 2004. B. Ganter, R. Wille: Formal Concept Analysis Mathematical Foundations. Springer, 1999. R. Wille: Restructuring lattice theory: an approach based on hierarchies of concepts. Ordered Sets, strany 445 470. Boston, 1982. Tuto prezentaci je možné stáhnout na adrese http://www.inf.upol.cz/prednasky-pro-stredni-skoly/.