Programming support for intelligent reasoning of agent in the multi-agent world.
| dc.contributor.advisor | Duží, Marie | en |
| dc.contributor.author | Ciprich, Nikola | en |
| dc.contributor.referee | Gajdoš, Petr | en |
| dc.date.accepted | 2009-06-02 | en |
| dc.date.accessioned | 2009-09-01T06:49:24Z | |
| dc.date.available | 2009-09-01T06:49:24Z | |
| dc.date.issued | 2009 | en |
| dc.description.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. | en |
| dc.description.abstract | 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. | cs |
| dc.description.category | Prezenční | cs |
| dc.description.department | 456 - Katedra informatiky | en |
| dc.description.result | výborně | cs |
| dc.format | Neuvedeno | cs |
| dc.identifier.location | ÚK/Sklad diplomových prací | cs |
| dc.identifier.other | OSD002 | cs |
| dc.identifier.sender | S2724 | cs |
| dc.identifier.signature | 200901573 | cs |
| dc.identifier.thesis | CIP016_FEI_N2646_2612T025_2009 | |
| dc.identifier.uri | http://hdl.handle.net/10084/74088 | |
| dc.language.iso | en | en |
| dc.publisher | Vysoká škola báňská - Technická univerzita Ostrava | cs |
| dc.subject | intensional logic | en |
| dc.subject | modal logic | en |
| dc.subject | temporal logic | en |
| dc.subject | knowledge base | en |
| dc.subject | inference engine | en |
| dc.subject | higher order logic | en |
| dc.subject | TIL-Script | en |
| dc.subject | Transparent Intensional Logic | en |
| dc.subject | TIL | en |
| dc.subject | natural language processing | en |
| dc.subject | multi-agent systems | en |
| dc.subject | TIL | cs |
| dc.subject | Transparentní Intensionální Logika | cs |
| dc.subject | TIL-Script | cs |
| dc.subject | zpracování přirozeného jazyka | cs |
| dc.subject | logika vyššího řádu | cs |
| dc.subject | inferenční stroj | cs |
| dc.subject | znalostní báze | cs |
| dc.subject | temporální logika | cs |
| dc.subject | modální logika | cs |
| dc.subject | intensionální logika | cs |
| dc.subject | multiagentní systém | cs |
| dc.thesis.degree-branch | Informatika a výpočetní technika | cs |
| dc.thesis.degree-grantor | Vysoká škola báňská - Technická univerzita Ostrava. Fakulta elektrotechniky a informatiky | cs |
| dc.thesis.degree-level | Magisterský studijní program | cs |
| dc.thesis.degree-name | Ing. | en |
| dc.thesis.degree-program | Informační technologie | cs |
| dc.title | Programming support for intelligent reasoning of agent in the multi-agent world. | en |
| dc.title.alternative | Programová podpora inteligentního rozhodování agentů v multi-agentním světě. | cs |
| dc.title.alternative | TIL-Script - výpočetní varianta TIL | |
| dc.title.alternative | TIL-Script - the computational variant of TIL | |
| dc.type | Diplomová práce | cs |