Back to search

Michal Fait

Master's thesis

Rozpoznávání kontextů v TIL

Context Recognition in TIL
Abstract:
Cílem této diplomové práce je implementace systému rozpoznávání tří druhů kontextu, a to extensionálního, intensionálního a hyperintensionálního kontextu, ve kterém se může vyskytovat daná konstrukce systému Transparentní intensionální logiky (TIL). Implementace pro komputační variantu systému TIL, tj. funkcionální jazyk TIL-Script, je provedena v programovacím jazyce Prolog. Rozpoznání kontextu je …more
Abstract:
The goal of this diploma thesis has been implementation of the algorithm for recognising three kinds of context in which constructions of Transparent Intensional Logic (TIL) can occur, to wit extensional, intensional or hyperintensional occurrence. The algorithm has been implemented in the Prolog programming language and realized for the computational variant of TIL, the TIL-Script functional programming …more
 

Keywords

Transparentní intensionální logika TIL TIL-Script tři druhy kontextu hyperintensionalita algoritmus rozpoznání kontextu Prolog.

Keywords

Transparent intensional logic TIL TIL-Script three kinds of context hyperintensionality algorithm of context recognition Prolog.
 
Language used: Czech
Date on which the thesis was submitted / produced: 29. 4. 2016
Identifier: http://hdl.handle.net/10084/115830

Thesis defence

  • Date of defence: 7. 6. 2016
  • Supervisor: Marek Menšík
  • Reader: Miloš Kosterec

Citation record

Cite this text

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: VŠB - Technická univerzita Ostrava