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

Martin Velek

Diplomová práce

Implementation of the If-then-else Function with Lazy Evaluation Based on TIL

Anotace:

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.

Klíčová slova

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

Jazyk práce: čeština

Datum vytvoření / odevzdání či podání práce: 7. 5. 2014

Obhajoba závěrečné práce

• Obhajoba proběhla 10. 6. 2014
• Vedoucí: Marie Duží
• Oponent: Martina Číhalová

VŠB - Technická univerzita Ostrava

Fakulta elektrotechniky a informatiky

Magisterský studijní program / obor:
Informační a komunikační technologie / Informatika a výpočetní technika