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

Martin Velek

Master's thesis

Implementation of the If-then-else Function with Lazy Evaluation Based on 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.

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.

Keywords

TIL, Transparentní intensionální logika, TIL-Script, If-then-else, If-then-else-fail, lazy evaluace, MAS, multiagentní systém, komunikace v multiagentním systému

Keywords

TIL, Transparent Intensional Logic, TIL-Script, If-then-else, If-then-else-fail, lazy evaluation, MAS, multi-agent system, communication in a multi-agent system

Language used: Czech

Date on which the thesis was submitted / produced: 7. 5. 2014

Thesis defence

• Date of defence: 10. 6. 2014
• Supervisor: Marie Duží
• Reader: Martina Číhalová

VŠB - Technical University of Ostrava

Fakulta elektrotechniky a informatiky

Master programme / field:
Informační a komunikační technologie / Informatika a výpočetní technika