Inteligentní modely, algoritmy, metody a nástroje pro vytváření sémantického webu



Podobné dokumenty
MATEMATICKÁ TEORIE ROZHODOVÁNÍ

MATEMATICKÁ TEORIE ROZHODOVÁNÍ

Znalostní technologie proč a jak?

UITS / ISY. Ústav inteligentních systémů Fakulta informačních technologií VUT v Brně. ISY: Výzkumná skupina inteligentních systémů 1 / 14

Další povinnosti / odb. praxe. Návrh témat prací. Návaznost na další stud. prog.

Aplikace s odvozováním nad ontologiemi

Logika pro sémantický web

Datová věda (Data Science) akademický navazující magisterský program

Kognitivní informatika očima studentů

Sémantický web a extrakce

TEORIE ZPRACOVÁNÍ DAT

Umělá inteligence a rozpoznávání

5. Umělé neuronové sítě. Neuronové sítě

4IZ440 Propojená data na webu Organizační úvod

Ontologie. Otakar Trunda

Václav Matoušek KIV. Umělá inteligence a rozpoznávání. Václav Matoušek / KIV

Sémantický web 10 let poté

Nadpis 1 - Nadpis Security 2

Bakalářský studijní obor informatika

Metody tvorby ontologií a sémantický web. Martin Malčík, Rostislav Miarka

NSWI108 Sémantizace Webu

System for individual learning of mathematics. Agnieszka HEBA, Ph.D. Doc. RNDr. Jana KAPOUNOVÁ, CSc. dr hab. prof. UŚ Eugenia SMYRNOVA-TRYBULSKA

Řešené granty a projekty za rok 1996

4IZ440 Propojená data na webu Organizační a kontextový úvod


4IZ440 Propojená data na webu Organizační a kontextový úvod

Č. j.: TF/5/14 V Praze dne

28.z-8.pc ZS 2015/2016

Informatika a výpočetní technika 1. roč./1. sem. 1. roč./2. sem. 2. roč./3. sem. 1 kr. Povinné předměty pro obor IVT

Moderní systémy pro získávání znalostí z informací a dat

Informace pro studenty doktorského studijního programu obecná jazykověda a teorie komunikace (OJTK)

Katedra aplikované matematiky a informatiky (180)

Propojená data na webu (motivační úvod)

Zápis ze zasedání VR chemické sekce a rady programu PRVOUK P42 Chemie dne

Specializace Kognitivní informatika

OSA. maximalizace minimalizace 1/22

Ústav automatizace a měřicí techniky.

Informatika na Univerzitě Palackého

P 7310 Filologie SLOVANSKÉ LITERATURY

Každá škola (včetně té, která je koordinující) uvede charakteristiku té části projektu, kterou řeší, v následující tabulce:

Doktorský studijní obor Didaktika literatury. 1 Organizace doktorského studijního oboru Didaktika literatury

B-IIa Studijní plány pro bakalářský SP Informatika se zaměřením na vzdělávání

Automatizační a měřicí technika (B-AMT)

Soulad studijního programu. Aplikovaná informatika

4IZ440 Reprezentace a zpracování znalostí na WWW

Cloudy a gridy v národní einfrastruktuře

2. Mechatronický výrobek 17

Emergence chování robotických agentů: neuroevoluce

Servisně orientovaná architektura Základ budování NGII

Institut teoretické informatiky (ITI) na FI MU

Matematická logika. Lekce 1: Motivace a seznámení s klasickou výrokovou logikou. Petr Cintula. Ústav informatiky Akademie věd České republiky

Architektury informačních systémů

Výpočetní a aplikovaná matematika

Architektury informačních systémů

Dlouhodobý záměr vzdělávací a vědecké, výzkumné, vývojové a inovační, umělecké a další tvůrčí činnosti na období Aktualizace pro rok 2018

KURZ TEORETICKÉ ASPEKTY UMĚLÉ INTELIGENCE (KA 16)

4IZ440 Propojená data na webu Organizační a kontextový úvod

Synergické efekty VaVpI projektů na VŠB-TU Ostrava

P 8109 Obecná teorie a dějiny umění a kultury DĚJINY VÝTVARNÉHO UMĚNÍ

Soulad studijního programu. Molekulární a buněčná biologie

12. konference Archivy, knihovny, muzea v digitálním světě

Standard studijního programu Informatika se zaměřením na vzdělávání

Výměnný formát XML DTM DMVS PK

Problémové domény a jejich charakteristiky

Management projektu III. Fakulta sportovních studií přednáška do předmětu Projektový management ve sportu

DOKTORSKÉ STUDIUM: OBOR OBECNÁ JAZYKOVĚDA

Standard studijního programu Učitelství informatiky pro střední školy

Od relačních databází k technologiím sémantickému webu

Doc. Ing. Daniel Kaminský, CSc. ELCOM, a.s.

Proč a jak se stát studentem

IRP Projekt Hodnocení kvality na JU FOTO. Oponentní řízení

Inteligentní systémy a neuronové sítě

OPONENTSKÝ POSUDEK HABILITAČNÍ PRÁCE

4EK311 Operační výzkum. 1. Úvod do operačního výzkumu

Údaje o vzdělávací a vědecké, výzkumné, vývojové a další tvůrčí činnosti Fakulty mechatroniky a mezioborových inženýrských studií

Postgraduální výuka na akreditovaných pracovištích a v IPVZ

Podklady pro VR FST Předkládá: Doc. Ing. Jan Horejc, Ph.D. proděkan FST

Seminář k první veřejné soutěži programu Národní centra kompetence 1


TECHNICKÁ UNIVERZITA V LIBERCI

VYSOKÉ UČENÍ TECHNICKÉ V BRNĚ

Výzkumná infrastruktura RINGEN platforma pro mezinárodní spolupráci vědy a průmyslu. 5. Podnikatelské fórum 18. června 2019, Litoměřice

Znalostní báze pro obor organizace informací a znalostí

Hodnocení ISO pro rok 2015 katedra 714

Institucionální akreditace - bakalářské studium informatiky

Aplikovaná informatika

NÁSTROJE A TECHNIKY PROJEKTOVÉHO MANAGEMENTU. Projektová dekompozice

STRA TEGICKY MANAGEMENT ZMEN A ZNALOSTI

PROPOJENÍ VĚDY, VÝZKUMU, VZDĚLÁVÁNÍ A PODNIKOVÉ PRAXE. PhDr. Dana Pokorná, Ph.D. Mgr. Jiřina Sojková, Státní zámek Sychrov,

Hospodářská informatika

Tvorba informačních systémů

Zpráva o činnosti FBI za rok 2009

POSLÁNÍ A ČINNOST INTERNÍ GRANTOVÉ AGENTURY AGRONOMICKÉ FAKULTY MENDELU

KITTV PedF UK TÉMATA BAKALÁŘSKÝCH PRACÍ pro školní rok 2010/2011

Logika a logické programování

Bc Doktorský studijní program (obor) a témata disertačních prací Vysoká škola

KURZ VYBRANÉ PROBLÉMY KOGNITIVNÍ VĚDY (KA 17)

Zpráva o průběhu přijímacího řízení na vysokých školách pro akademický rok na ČVUT v Praze Fakultě dopravní

Standard studijního programu Deskriptivní geometrie se zaměřením na vzdělávání

České vysoké učení technické v Praze Fakulta stavební, Praha 6, Thákurova 7. Z á p i s č. 10

Transkript:

Inteligentní modely, algoritmy, metody g y g y y a nástroje pro vytváření sémantického webu

Zahájenie seminára Predseda Programu "Informační společnost (prof. Ing. Miroslav Tůma, CSc.) Pohľad koordinátora projektu na priebeh, ciele a dosiahnuté výsledky. Hodnotenie a prezentácia projektu predstaviteľmi partnerských inštitúcií: FI MU: doc. RNDr. Karel Pala, CSc.. MFF UK: prof. RNDr. Jaroslav Pokorný, CSc., Prezentácia vybraných výsledkov a pracovných skupín. Pohľad/hodnotenie oponentov projektov: prof. Ing. Mária Bieliková, PhD., (FIIT STU) prof. RNDr. Václav Matoušek, CSc., (KIV ZČU) doc. Ing. Vojtěch Svátek, Dr. (KIZI VŠE) 1.12.2008 Seminár SemWeb - Svratka 2

2001: Tim Berners-Lee, James Hendler & Ora Lassila (Scientific American 284(5), 2001) 2002 6. Rámcový program EU ERCIM: v máji vznikla pracovná skupina za účelom podania medzinárodného projektu (NeGeSeWe) ČR: návrh programu TP2 NPV (prof. Mařík) 21. november: prednáška v AARIT Wien 10. decembra: - - Informatics Colloqium FI MU 1.12.2008 Seminár SemWeb - Svratka 3

2003: Tematický program II (TP2) Národního programu výzkumu schváleného usnesením vlády ČR 28. dubna č. 417. 2004 Výzva: počiatkom roku (12. 2.) Podanie prihlášky: za 37 dní (19. 3.) Oznámenie o prijatí: 28. 6. Začiatok: 1. 7. 2004 AV ČR Rada programu IS Predseda: Tajomníčka RP: Doc. Hejda, prof. Tůma Ing. Ivana Čechová 1.12.2008 Seminár SemWeb - Svratka 4

Předkládaný projekt je projektem integrujícím progresivní teoretické informatické disciplíny sjejich praktickými k aplikacemi. 1.12.2008 Seminár SemWeb - Svratka 5

Vierohodnosť Logika a Ontologie RDF XML Infraštruktúra (URI, Unicode) 1.12.2008 Seminár SemWeb - Svratka 6

1.12.2008 Seminár SemWeb - Svratka 7

Předkládaný d projekt je projektem integrujícím progresivní teoretické informatické disciplíny s jjih jejich praktickými ktiký i aplikacemi. i Jeho cílem je zkoumat a rozvíjet teoretické základy sémantického webu zejména zpohledu moderních metod umělé inteligence a počítaní inspirovaného přírodou, jakými jsou specializované logiky, neuronové sítě, evoluční algoritmy, datamining apod., a následně aplikovat a experimentálně ověřit vybrané metody inteligentního zpracování dat a znalostí v této oblasti. 1.12.2008 Seminár SemWeb - Svratka 8

V souladu s celkovou orientací projektu jeho očekávané výsledky budou především následující: ld teoretické práce publikované v mezinárodních časopisechh a prezentované na mezinárodních konferencích nové algoritmy pro extrakci znalostí z dt dat založené lž na neuronových, kognitivních, fuzzy a evolučních principech prototypové implementace těchto algoritmů v rámci multiagentních systémů. 1.12.2008 Seminár SemWeb - Svratka 9

Jádrem řešitelského kolektivu je 12 klíčových vědeckých pracovníků ze 3 pracovišť 1.12.2008 Seminár SemWeb - Svratka 10

1.12.2008 Seminár SemWeb - Svratka 11

Jádrem řešitelského kolektivu je 12 klíčových vědeckých pracovníků ze 3 pracovišť a doplňuje ho 11 doktorandů Aktuálne: 15 + úspešne dokončili: Cintula, Krušina, Kudová, Špánek (ÚI), Mlýnková, Nečaský (MFF), Bartoň (FI) 30 vedeckých pracovníkov riešitelský tým 1.12.2008 Seminár SemWeb - Svratka 12

Semináre (Spolu) organizace konferencií SOFSEM ITAT Znalosti Pedagogická činnost: nové predmety, doktorandi 1.12.2008 Seminár SemWeb - Svratka 13

Práce se soustředily: na primární oblasti sémantického webu, na použití technologií SW v praxi Tématicky lze rozdělit na: fuzzy logika v prostředí sémantického webu agentní systémy a sémantický web využití sémantického webu úložiště a integrace dt dat 1.12.2008 Seminár SemWeb - Svratka 14

Fuzzy logika v prostředí sémantického webu: Vybudování verze fuzzy deskripční logiky založené na t-normové fuzzy logice analyzovány problémy validity a splnitelnosti včetně jejich výpočetní složitosti. V rámci matematické fuzzy logiky prostudovány a zavedeny logiky, v nichž pravdivostní funkci konjunkce je kopule nebo kvasikopule. Takové logiky vedou na neasociativní konjunkci. Byl podán úplný axiomatický systém. 1.12.2008 Seminár SemWeb - Svratka 15

V oblasti domněnkových funkcí: Formalizovány a vytvořeny formule pro minc pravidlo pro kombinování domněnkových funkcí zavedeny kompozicionální modely dl pro domněnkové funkce. Analyzován vztah mezi Dezert-Smarandacheovy (DSmT) a Dempster-Shaferovy teoriemi. Analyzováno zhrubění v Josangově subjektivní logice. 1.12.2008 Seminár SemWeb - Svratka 16

Agentní systémy Algoritmy evolučního a posilovaného učení byly použity pro adaptivní řízení agentů a skupin agentů. Naučené vzorce chování byly následně analyzovány, y, což má význam pro praktické aplikace učení softwarových a robotických agentů, ale i pro vývoj efektivnějších metod učení využívajících sémantickou informaci v evolučních a posilovaných technikách. 1.12.2008 Seminár SemWeb - Svratka 17

V oblasti výpočetních č agentů byl vytvořen ř formální výpočetní model vhodný pro odhad časové složitosti i reálné doby výpočtů v distribuovaném asynchronním prostředí multi-agentních systémů. Sémantické popisy agentů pomocí ontologií byly využity y k odvození algoritmů automatické kompozice agentních systémů, které kombinují prohledávací heuristiky s logickým zdůvodňováním. Tyto algoritmy lze využít jak ve statických, tak i v dynamických (ubiquitous) prostředí. 1.12.2008 Seminár SemWeb - Svratka 18

Architektury inspirované sémantickým webem Mechanismy takového inteligentního webu, který je reprezentován znalostmi a nástroji znalosti jak využívající, tak organizující, mohou být inspirovány mechanismy lidské mysli. Z tohoto důvody byly y studovány i otázky, y,jak takové mechanismy fungují, jak se v mozku shromažďují data,, jak se organizují a hlavně jak by se tyto mechanismy daly modelovat či realizovat na počítači. 1.12.2008 Seminár SemWeb - Svratka 19

S tímto cílem byla postupně v řadě d prací navržena a postupně rozvíjena architektura vtěleného kognitivního agenta. Klíčem k požadované efektivitě se zdá být myšlenka využití zrcadlových neuronů ů a dále myšlenka využití vnitřního modelu světa, jehož součástí je i sám kognitivní agent včetně jeho mysli a těla. Další práce se zabývali související problematikou v širších smyslu - zejména umělým životem, sebereprodukcí, amorfním počítáním apod. 1.12.2008 Seminár SemWeb - Svratka 20

Voblasti učících algoritmů pro neuronové sítě s různými typy lokálních jednotek byly navrženy algoritmy učení založené na jádrových funkcích a regularizačních sítích. 1.12.2008 Seminár SemWeb - Svratka 21

Pomocí metod teorie nelineární aproximace a optimalizace byly odvozeny odhady modelové složitosti při učení neuronových sítí. Učení na základě dat bylo formulováno jako inverzní úloha popsaná p vhodnými funkcionály a výsledky z teorie inverzních úloh byly využity ypro popis p optimálních řešení. 1.12.2008 Seminár SemWeb - Svratka 22

Nástroje sémantického kh webu Studium systémů pro budování a správu důvěry a možnosti jejich nasazení v distribuovaných prostředích (například speciálně v prostředí sémantického webu). Tyto systémy umožňují spravovat míru důvěry mezi komunikujícími í i entitami i (uživatelé, softwaroví agenti, datové zdroje, aj.). Byl navržen a experimentálně ověřen systém navržený s ohledem na potřeby prostředí s velkým počtem uživatelů a s dynamicky se měnícími vztahy. Návrhu reputačního systému, který řeší důvěryhodnost zdrojů. Možnost aktivně ovlivňovat kvalitu prezentovaných dat. 1.12.2008 Seminár SemWeb - Svratka 23

Studium preferencí (Preference rozšiřují dotazování o možnost specifikovat důležitost jednotlivých požadavků) Byla zavedena deklarativní a konstruktivní sémantika, která připouští i konfliktní preference. Byl navržen algoritmus pro optimalizaci i relačních databázových dotazů s preferencemi. 1.12.2008 Seminár SemWeb - Svratka 24

Metody odhadu struktury dat aproximují datový model na základě zkoumání vztahů mezi prezentovanými daty. Motivací těchto metod je možnost nasazení nástrojů sémantického webu rovněž na dokumenty bez explicitně definované sémantiky prezentovaných dat. 1.12.2008 Seminár SemWeb - Svratka 25

Integrace dat na základě jejich ontologického popisu a semiautomatické metody pro spojování ontologií. Ke známým řešením přidávají možnost vážit vztahy integrující dílčí zdroje jak ve smyslu nejistoty v popisu, tak ve smyslu důvěryhodnosti dat a popisů pp prezentovaných zdroji. 1.12.2008 Seminár SemWeb - Svratka 26