Hlavní stránka > Výsledky hledání: keywords:"induktívne odvodzovanie"
Hledej:
Tipy pro vyhledávaní :: Rozšířené hledání
Hledej ve sbírkách:
Seřadit podle: Zobrazit výsledky: Výstupní formát:
Národní úložiště šedé literatury Nalezeno 2 záznamů.  Hledání trvalo 0.00 vteřin. 
Constraint satisfaction for inductive logic programming
 Chovanec, Andrej ; Barták, Roman (vedoucí práce) ; Železný, Filip (oponent)
Induktívne logické programovanie je oblasť zaoberajúca sa vývojom klauzálnych teórií z pozorovaní, kde pre danú množinu príkladov a dodatočnú informáciu hľadáme hypotézu, ktorá pokrýva všetky pozitívne príklady a nepokrýva žiadny negatívny príklad. V tejto práci nadväzujeme na prácu skúmajúcu konzistenciu šablón a rozširujeme ju k riešeniu všobecnej konzistencie. Navrhujeme algoritmus DeMeR skladajúci sa z troch fáz, ktorý rozdelí pôvodný problém na viacero menších častí, následne ich vyrieši a tieto riešenia spojí do kompletného riešenia a nakoniec transformuje výsledok do kompaktnej výslednej hypotézy. Ďalej sa zameriavame na techniku hľadania riešení dekomponovaných častí a navrhujeme generuj-a-testuj metódu založenú na pravdepodobnostnom prístupe s pamäťou výpočtu. V práci analyzujeme jednotlivé komponenty navrhnutých algoritmov a demonštrujeme ich vplyv na dobu výpočtu a štruktúru výslednej hypotézy. Ukazuje sa, že prvá fáza algoritmu sa koncentruje na rýchle vyriešenie problému za cenu dlhšej štruktúry hypotézy, kým zvyšné dve fázy skracujú výsledok do prijateľnej podoby. Nakoniec naše výsledky porovnávame s existujúcimi systémami na príkladoch hľadania spoločných štruktúr v náhodných grafoch a ukazujeme, že nami prezentované techniky prekonávajú uvedené systémy.
Úplný záznam
Constraint satisfaction for inductive logic programming
 Chovanec, Andrej ; Barták, Roman (vedoucí práce) ; Železný, Filip (oponent)
Induktívne logické programovanie je oblasť zaoberajúca sa vývojom klauzálnych teórií z pozorovaní, kde pre danú množinu príkladov a dodatočnú informáciu hľadáme hypotézu, ktorá pokrýva všetky pozitívne príklady a nepokrýva žiadny negatívny príklad. V tejto práci nadväzujeme na prácu skúmajúcu konzistenciu šablón a rozširujeme ju k riešeniu všobecnej konzistencie. Navrhujeme algoritmus DeMeR skladajúci sa z troch fáz, ktorý rozdelí pôvodný problém na viacero menších častí, následne ich vyrieši a tieto riešenia spojí do kompletného riešenia a nakoniec transformuje výsledok do kompaktnej výslednej hypotézy. Ďalej sa zameriavame na techniku hľadania riešení dekomponovaných častí a navrhujeme generuj-a-testuj metódu založenú na pravdepodobnostnom prístupe s pamäťou výpočtu. V práci analyzujeme jednotlivé komponenty navrhnutých algoritmov a demonštrujeme ich vplyv na dobu výpočtu a štruktúru výslednej hypotézy. Ukazuje sa, že prvá fáza algoritmu sa koncentruje na rýchle vyriešenie problému za cenu dlhšej štruktúry hypotézy, kým zvyšné dve fázy skracujú výsledok do prijateľnej podoby. Nakoniec naše výsledky porovnávame s existujúcimi systémami na príkladoch hľadania spoločných štruktúr v náhodných grafoch a ukazujeme, že nami prezentované techniky prekonávajú uvedené systémy.
Úplný záznam

Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.
Digitální repozitář :: Hledej :: Nový záznam :: Personalizace :: Nápověda
Powered by Invenio v1.1.2
Spravuje admin.invenio@techlib.cz
Tato stránka je dostupná také v následujících jazycích:
Česky  English