| dc.contributor.advisor | Mráz, František | |
| dc.creator | Hoffmann, Petr | |
| dc.date.accessioned | 2018-11-30T14:24:59Z | |
| dc.date.available | 2018-11-30T14:24:59Z | |
| dc.date.issued | 2013 | |
| dc.identifier.uri | http://hdl.handle.net/20.500.11956/53328 | |
| dc.description.abstract | We study the inference of models of the analysis by reduction that forms an important tool for parsing natural language sentences. We prove that the inference of such models from positive and negative samples is NP-hard when requiring a small model. On the other hand, if only positive samples are considered, the problem is effectively solvable. We propose a new model of the analysis by reduction (the so-called single k-reversible restarting automaton) and propose a method for inferring it from positive samples of analyses by reduction. The power of the model lies between growing context-sensitive languages and context-sensitive languages. Benchmarks using targets based on grammars have several drawbacks. Therefore we propose a benchmark working with targets based on random automata, that can be used to evaluate inference algorithms. This benchmark is then used to evaluate our inference method. 1 | en_US |
| dc.description.abstract | Práce se zabývá učením modelů redukční analýzy, která je důležitým nástrojem pro zpracování vět přirozeného jazyka. Dokazujeme, že hledání malých modelů na základě pozitivních a negativních příkladů je NP-těžké oproti úloze uvažující pouze pozitivní příklady, pro kterou navrhujeme efek- tivní algoritmus. Navrhujeme model redukční analýzy (tzv. single k-reversi- bilní restartovací automat) a metodu pro jeho učení z pozitivních příkladů redukčních analýz. Ukazujeme, že síla tohoto modelu leží mezi rostoucími kontextovými jazyky a kontextovými jazyky. Dále navrhujeme metodu pro testování učících algoritmů, která pracuje s cílovými jazyky založenými na náhodných automatech. Ta je následně použita na otestování naší učící metody. Navíc ukazujeme několik omezení testovacích metod používajících cílové jazyky založené na gramatikách. 1 | cs_CZ |
| dc.language | English | cs_CZ |
| dc.language.iso | en_US | |
| dc.publisher | Univerzita Karlova, Matematicko-fyzikální fakulta | cs_CZ |
| dc.subject | analysis by reduction | en_US |
| dc.subject | restarting automata | en_US |
| dc.subject | grammatical inference | en_US |
| dc.subject | benchmark | en_US |
| dc.subject | redukční analýza | cs_CZ |
| dc.subject | restartovací automaty | cs_CZ |
| dc.subject | gramatická inference | cs_CZ |
| dc.subject | testování | cs_CZ |
| dc.title | Machine learning of analysis by reduction | en_US |
| dc.type | dizertační práce | cs_CZ |
| dcterms.created | 2013 | |
| dcterms.dateAccepted | 2013-09-18 | |
| dc.description.department | Katedra softwaru a výuky informatiky | cs_CZ |
| dc.description.department | Department of Software and Computer Science Education | en_US |
| dc.description.faculty | Faculty of Mathematics and Physics | en_US |
| dc.description.faculty | Matematicko-fyzikální fakulta | cs_CZ |
| dc.identifier.repId | 42351 | |
| dc.title.translated | Strojové učení redukční analýzy | cs_CZ |
| dc.contributor.referee | Otto, Friedrich | |
| dc.contributor.referee | Průša, Daniel | |
| dc.identifier.aleph | 001636859 | |
| thesis.degree.name | Ph.D. | |
| thesis.degree.level | doktorské | cs_CZ |
| thesis.degree.discipline | Teoretická informatika | cs_CZ |
| thesis.degree.discipline | Theoretical Computer Science | en_US |
| thesis.degree.program | Informatics | en_US |
| thesis.degree.program | Informatika | cs_CZ |
| uk.thesis.type | dizertační práce | cs_CZ |
| uk.taxonomy.organization-cs | Matematicko-fyzikální fakulta::Katedra softwaru a výuky informatiky | cs_CZ |
| uk.taxonomy.organization-en | Faculty of Mathematics and Physics::Department of Software and Computer Science Education | en_US |
| uk.faculty-name.cs | Matematicko-fyzikální fakulta | cs_CZ |
| uk.faculty-name.en | Faculty of Mathematics and Physics | en_US |
| uk.faculty-abbr.cs | MFF | cs_CZ |
| uk.degree-discipline.cs | Teoretická informatika | cs_CZ |
| uk.degree-discipline.en | Theoretical Computer Science | en_US |
| uk.degree-program.cs | Informatika | cs_CZ |
| uk.degree-program.en | Informatics | en_US |
| thesis.grade.cs | Prospěl/a | cs_CZ |
| thesis.grade.en | Pass | en_US |
| uk.abstract.cs | Práce se zabývá učením modelů redukční analýzy, která je důležitým nástrojem pro zpracování vět přirozeného jazyka. Dokazujeme, že hledání malých modelů na základě pozitivních a negativních příkladů je NP-těžké oproti úloze uvažující pouze pozitivní příklady, pro kterou navrhujeme efek- tivní algoritmus. Navrhujeme model redukční analýzy (tzv. single k-reversi- bilní restartovací automat) a metodu pro jeho učení z pozitivních příkladů redukčních analýz. Ukazujeme, že síla tohoto modelu leží mezi rostoucími kontextovými jazyky a kontextovými jazyky. Dále navrhujeme metodu pro testování učících algoritmů, která pracuje s cílovými jazyky založenými na náhodných automatech. Ta je následně použita na otestování naší učící metody. Navíc ukazujeme několik omezení testovacích metod používajících cílové jazyky založené na gramatikách. 1 | cs_CZ |
| uk.abstract.en | We study the inference of models of the analysis by reduction that forms an important tool for parsing natural language sentences. We prove that the inference of such models from positive and negative samples is NP-hard when requiring a small model. On the other hand, if only positive samples are considered, the problem is effectively solvable. We propose a new model of the analysis by reduction (the so-called single k-reversible restarting automaton) and propose a method for inferring it from positive samples of analyses by reduction. The power of the model lies between growing context-sensitive languages and context-sensitive languages. Benchmarks using targets based on grammars have several drawbacks. Therefore we propose a benchmark working with targets based on random automata, that can be used to evaluate inference algorithms. This benchmark is then used to evaluate our inference method. 1 | en_US |
| uk.file-availability | V | |
| uk.publication.place | Praha | cs_CZ |
| uk.grantor | Univerzita Karlova, Matematicko-fyzikální fakulta, Katedra softwaru a výuky informatiky | cs_CZ |
| thesis.grade.code | P | |
| dc.identifier.lisID | 990016368590106986 | |