Programming support for intelligent reasoning of agent in the multi-agent world.
Loading...
Downloads
Date issued
Authors
Ciprich, Nikola
Journal Title
Journal ISSN
Volume Title
Publisher
Vysoká škola báňská - Technická univerzita Ostrava
Location
ÚK/Sklad diplomových prací
Signature
200901573
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.
Description
Subject(s)
intensional logic, modal logic, temporal logic, knowledge base, inference engine, higher order logic, TIL-Script, Transparent Intensional Logic, TIL, natural language processing, multi-agent systems