Year: 2023
Type: dissertation
Abstract: Cílem práce je implementovat programovací jazyk TIL-Script. Jazyk TIL-Script slouží jako výpočetní varianta logického kalkulu TIL, jenž umožňuje jednoduchý strojový zápis konstrukcí Transparentní intenzionální logiky, ale také jejich následné provedení. Práce dále řeší praktické problémy s interpretací jazyka TIL-Script, a to například definice pojmenovaných funkcí, interakce s databází, apod. Dále se práce snaží navrhnout nadmnožinu jazyka TIL-Script, která umožní konstrukce TIL nejen provádět, ale také analyzovat, vytvářet je, a pracovat s nimi.
Source: DSpace VŠB-TUO (VŠB-TUO)
Author: Peterek, Filip
Language: Czech
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7010496619