Programming support for intelligent reasoning of agent in the multi-agent world.

Abstract

This thesis deals with the TIL-Script project, an interpreter of Transparent Intensional Logic, which is in many respects an outstanding logic founded by the Czech logician Pavel Tichý. The goal is to design the syntax for TIL-Script language and implement corresponding parser for it. TIL-Script will then be used as a communication tool in the multi-agent system developped at Research Laboratory of Intelligent Systems and also for purposes of further research in the area of natural language processing.

Tato práce se zabývá TIL-Scriptem, interpretem Transparentní Intensionální Logiky, což je v mnoha ohledech výjimečná logika vytvořená českým logikem Pavlem Tichým. Cílem je navrhnout syntax pro TIL-Script a implementovat odpovídající parser. TIL-Script pak bude použit jako komunikační prostředek v multiagentním systému vyvíjeném ve Výzkumné laboratoři inteligentních systémů a také pro další výzkum v oblasti zpracování přirozeného jazyka.