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

Inteligentní g modely, y algoritmy, g y metody 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 pprezentácia p projektu j predstaviteľmi p ppartnerský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:

1.12.2008

prof. Ing. Mária Bieliková, PhD., prof. RNDr. Václav Matoušek, CSc., doc. Ing. Vojtěch Svátek, Dr.

(FIIT STU) (KIV ZČU) (KIZI VŠE)

Seminár SemWeb - Svratka

2

2001 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: 10. d b - “ - Informatics I f ti Colloqium C ll i FI MU

1.12.2008


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. Z či t k 1. Začiatok: 1 77. 2004

AV ČR

à Rada programu IS à Predseda: à Tajomníčka RP: 1.12.2008

Doc. Hejda, prof. Tůma Ing. Ivana Čechová Č Seminár SemWeb - Svratka

4

Předkládaný projekt je projektem integrujícím progresivní teoretické informatické disciplíny s jejich h praktickými k k aplikacemi. lk

1.12.2008


5

Vierohodnosť Logika a Ontologie RDF XML Infraštruktúra (URI, Unicode)

1.12.2008


6

1.12.2008


7

Předkládaný dkl d projekt k je projektem k integrujícím progresivní teoretické informatické disciplíny s jejich j ji h praktickými kti ký i aplikacemi. lik i Jeho cílem je zkoumat a rozvíjet teoretické základy ákl d sémantického é ti kéh webu b zejména j é z pohledu hl d moderních metod umělé inteligence a počítaní inspirovaného přírodou, přírodou jakými jsou specializované logiky, neuronové sítě, evoluční algoritmy, datamining apod a následně aplikovat a experimentálně apod., ověřit vybrané metody inteligentního zpracování dat a znalostí v této oblasti.

1.12.2008


8

V souladu s celkovou orientací projektu jeho očekávané výsledky budou především následující: l d

1.12.2008

teoretické práce publikované v mezinárodních č časopisech h a prezentované na mezinárodních á d í h konferencích novéé algoritmy l it pro extrakci t k i znalostí l tí z dat d t založené l ž é na neuronových, kognitivních, fuzzy a evolučních principech prototypové implementace těchto algoritmů v rámci g systémů. y multiagentních 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


10

1.12.2008


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)

1.12.2008

30 vedeckých pracovníkov … riešitelský tým Seminár SemWeb - Svratka

12

Semináre

(Spolu) organizace konferencií

SOFSEM ITAT Znalosti

Pedagogická činnost: nové predmety, predmety doktorandi

1.12.2008


13

Práce se soustředily:

na primární oblasti sémantického webu, na p použití technologií g SW v ppraxi

Tématicky lze rozdělit na: 1.12.2008

fuzzy logika v prostředí sémantického webu agentní systémy a sémantický web využití žití sémantického é ti kéh webu b – úložiště úl žiště a integrace i t d t dat 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 f l logice

analyzovány problémy validity a splnitelnosti včetně jejich výpočetní složitosti. složitosti

V rámci matematické fuzzy logiky prostudovány a zavedenyy logiky, g y, v nichž ppravdivostní ffunkci konjunkce j je kopule nebo kvasikopule. g y vedou na neasociativní konjunkci. j Takové logiky Byl podán úplný axiomatický systém.

1.12.2008


15

V oblasti domněnkových d k h funkcí: f k

Formalizovány a vytvořeny formule pro minC pravidlo pro kombinování domněnkových funkcí

zavedeny d k kompozicionální ál í modely d l pro domněnkové d k f k funkce.

Analyzován A l á vztah t h mezii Dezert-Smarandacheovy D tS d h (DSmT) a Dempster-Shaferovy teoriemi. Analyzováno zhrubění v Josangově subjektivní logice.

1.12.2008


16

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


17

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

1.12.2008


18

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


19

S tímto cílem l b byla l postupně v řadě d prací navržena a postupně rozvíjena architektura vtěleného k kognitivního iti íh agenta. t Klíčem k požadované efektivitě se zdá být myšlenka šl k využití žití zrcadlových dl ý h neuronů ů a dále dál 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. sebereprodukcí, apod

1.12.2008


20

V oblasti učících algoritmů g pro p neuronové sítě s různými typy lokálních jednotek byly navrženy algoritmy g y učení založené na jjádrových ý funkcích a regularizačních sítích.

1.12.2008


21

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

1.12.2008


22

Nástroje sémantického k h webu b

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 k komunikujícími ik jí í i entitami tit i (uživatelé, softwaroví agenti, datové zdroje, aj.). Byl y navržen a experimentálně p ověřen systém y 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, systému který řeší důvěryhodnost zdrojů. zdrojů Možnost aktivně ovlivňovat kvalitu prezentovaných dat.

1.12.2008


23

Studium preferencí

1.12.2008

(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í sémantika, preference. B l navržen Byl ž algoritmus l it pro optimalizaci ti li i relačních databázových dotazů s preferencemi. Seminár SemWeb - Svratka

24

Metody odhadu struktury dat

1.12.2008

„aproximují “ datový model na základě zkoumání vztahů h mezi prezentovanými daty. d Motivací těchto metod je možnost nasazení nástrojů sémantického é ti kéh webu b rovněž ěž na dokumenty d k t bez b explicitně definované sémantiky prezentovaných dat.


25

Integrace dat na základě jejich ontologického popisu a semiautomatické metody pro spojování ontologií. l Ke známým řešením přidávají možnost vážit vztahy y integrující g j dílčí zdroje j jak j ve smyslu y nejistoty v popisu, tak ve smyslu důvěryhodnosti y dat a ppopisů p pprezentovaných ý zdroji.

1.12.2008


26

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

Recommend Documents