• čeština
    • English
    • русский
    • Deutsch
    • français
    • polski
    • українська
  • English 
    • čeština
    • English
    • русский
    • Deutsch
    • français
    • polski
    • українська
  • Login
View Item 
  •   Repository Home
  • Závěrečné práce
  • bakalářské práce
  • Fakulta informačních technologií
  • 2010
  • View Item
  •   Repository Home
  • Závěrečné práce
  • bakalářské práce
  • Fakulta informačních technologií
  • 2010
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Pro lidi srozumitelný jazyk temporální logiky

Temporal Logics for a Man

Thumbnail
View/Open
review_34662.html (1.440Kb)
final-thesis.pdf (388.3Kb)
Author
Žilka, Lukáš
Advisor
Smrčka, Aleš
Referee
Letko, Zdeněk
Grade
A
Altmetrics
Metadata
Show full item record
Abstract
Tato práce se zabývá automatickým překladem z přirozeného jazyka do temporální logiky. Existující výzkum na toto téma je shrnut a práce je na něm založena. Pro specifikaci temporálních vlastností, je vytvořen kontrolovaný jazyk, podmnožina anglického jazyka. Hlavním přínosem práce jsou algoritmy pro překlad mezi přirozeným jazykem a temporální logikou, založený na zpracovávání a prohledávání vzorů v gramatických závislostech Standfordského parseru angličtiny. Další směr vývoje je diskutován na konci.
 
The work deals with the automated translation of a natural language to temporal logic. Existing research attempts are summarized and built upon. For specificating the temporal properties a subset of English is introduced. The main contribution of the work is the proposed algorithm of translation of a property in the given language to LTL temporal logic, based on processing of and finding patterns in grammatical dependencies of The Stanford English Parser. Future research directions are discussed at the end.
 
Keywords
temporální logika, LTL, NLP, omezený jazyk, angličtina, temporal logic, LTL, NLP, controlled language, English
Language
čeština (Czech)
Study brunch
Informační technologie
Composition of Committee
prof. Ing. Tomáš Vojnar, Ph.D. (předseda) doc. Dr. Ing. Otto Fučík (místopředseda) doc. Ing. Peter Chudý, Ph.D., MBA (člen) Ing. Radek Kočí, Ph.D. (člen) Dr. Ing. Petr Peringer (člen)
Date of defence
2010-06-16
Process of defence
Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se pak seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na otázky oponenta a na další otázky přítomných. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studenta na položené otázky rozhodla práci hodnotit stupněm výborně (A). Otázky u obhajoby: Vaše práce se zabývá překladem vět v omezené angličtině do formulí LTL logiky. Jak si představujete kontrolu korektnosti tohoto převodu? Je jednodušší naučit se použitou jednoduchou angličtinu nebo logiku? Jaké specifikace jazyka jste zvažoval?
Result of the defence
práce byla úspěšně obhájena
Persistent identifier
http://hdl.handle.net/11012/55912
Source
ŽILKA, L. Pro lidi srozumitelný jazyk temporální logiky [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2010.
Collections
  • 2010 [347]
Citace PRO

Portal of libraries | Central library on Facebook
DSpace software copyright © 2002-2015  DuraSpace
Contact Us | Send Feedback | Theme by @mire NV
 

 

Browse

All of repositoryCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

My Account

LoginRegister

Statistics

View Usage Statistics

Portal of libraries | Central library on Facebook
DSpace software copyright © 2002-2015  DuraSpace
Contact Us | Send Feedback | Theme by @mire NV