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

Abstract

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.