Implementace funkce if-then-else s lazy evaluací dle specifikace v TIL

Abstract

Cílem práce je podrobně popsat problematiku spjatou se specifikací funkce If-then-else v různých oblastech jejího využití, uvést striktní definici této funkce v Transparentní intensionální logice (TIL), ukázat její užití při analýze vět spojených s presupozicí a na příkladu komunikace agentů v multiagentním systému demonstrovat vhodnost použití TIL se striktní definicí If-then-else jakožto prostředku komunikace mezi agenty v multiagentním systému. Součástí práce bude rovněž shrnutí základů TIL, popis její výpočetní varianty – jazyka TIL-Script – a implementace funkce If-then-else (pro demonstrační účely) v rámci TIL-Scriptu.

The aim of the thesis is to describe issues associated with the specification of the If-then-else function in various fields of application, introduce the strict definition of the function in Transparent Intensional Logic (TIL) and show its use at the analysis of sentences that come with a presupposition. An example of communication in a multi-agent system will demonstrate suitability of using TIL with its strict definition of If-then-else as means of communication of agents in multi-agent systems. The thesis will also include a brief summary of the foundations of TIL, description of its computational variant -- the TIL-Script language -- and implementation of the If-then-else function (for demonstration purposes) within TIL-Script.