Lukáš Vích
Diplomová práce
Metrika podobnosti formalizací v PL1
The Similarity Measure of PL1 Formalisations
Anotace:
Tato práce se zabývá problematikou při formalizaci vět z přirozeného jazyka do jazyka predikátové logiky 1. řádu (dále jenom PL1). Cílem je seznámit čtenáře se základy sémantiky PL1, uvést jej do dané problematiky a vysvětlit všechny důležité aspekty spjaté s převáděním vět z přirozeného jazyka do jazyka PL1. Dalším cílem je vymezit konkrétní podmnožinu PL1 a nad ní definovat metriku podobnosti formalizací …víceAbstract:
This work deal with questions of sentences formalization from natural language to the language of first order predicate logic (further just PL1). The target is introduce reader to the principles of semantic of PL1, bring him to the existent problems and explain all of the important aspects wedded with sentences conversion from natural langugage to the language of PL1. The next target is define the …více
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 2010
Identifikátor:
http://hdl.handle.net/10084/78440
Obhajoba závěrečné práce
- Vedoucí: Marek Menšík
- Oponent: Martina Číhalová
Citační záznam
Plný text práce
Právo: Plné texty vysokoškolských kvalifikačních prací obhájených na Vysoké škole báňské - Technické univerzitě Ostrava jsou uloženy v repozitáři DSpace. Přístup k plným textům mají všichni uživatelé bez omezení. Přístup je omezen pouze ve výjimečných případech, zpravidla z důvodu ochrany duševního vlastnictví. Nepřístupné práce jsou označeny jako closedAccess nebo embargoedAccess. Tištěné verze prácí jsou uloženy v Ústřední knihovně VŠB-TUO a jsou prezenčně přístupné ve studovně diplomových prací. Další nakládání s prací (kopírování, opisy, MVS) se řídí Knihovní a výpůjčním řádem Ústřední knihovny VŠB-TUO.
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- autentizovaným zaměstnancům ze stejné školy/fakulty
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Vysoká škola báňská - Technická univerzita OstravaVysoká škola báňská - Technická univerzita Ostrava
Fakulta elektrotechniky a informatikyMagisterský studijní program / obor:
Informační a komunikační technologie / Informatika a výpočetní technika
Práce na příbuzné téma
-
Komponenta výukového serveru TI - Predikátová logika
Michaela Lubyová -
Aktualizace LMS Moodle modulu pro kurz Logika pro informatiky s interaktivními prvky výuky
Zuzana MICHÁLKOVÁ -
Logika v dětské literatuře: Medvídek Pů
Dagmar KUČEROVÁ -
Predikátová a klauzulární logika
Juraj Paluš -
Predikátová logika 1. řádu a Hornovy klauzule
Martin Blahovský -
Metody syntézy inovačních konceptů a kreativních řešení a jejich formalizace
Jakub Jura