Lukáš Vích
Master's thesis
Metrika podobnosti formalizací v PL1
The Similarity Measure of PL1 Formalisations
Abstract:
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í …moreAbstract:
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 …more
Language used: Czech
Date on which the thesis was submitted / produced: 2010
Identifier:
http://hdl.handle.net/10084/78440
Thesis defence
- Supervisor: Marek Menšík
- Reader: Martina Číhalová
Citation record
Full text of thesis
Accessibility: 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.
Contents of on-line thesis archive
Published in Theses:- autentizovaným zaměstnancům ze stejné školy/fakulty
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Vysoká škola báňská - Technická univerzita OstravaVysoká škola báňská - Technická univerzita Ostrava
Fakulta elektrotechniky a informatikyMaster programme / field:
Informační a komunikační technologie / Informatika a výpočetní technika
Theses on a related topic
-
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