Dotazování s časovými informacemi nad znalostmi v transparentní intenzionální logice – Bc. Andrej Gardoň
Bc. Andrej Gardoň
Master's thesis
Dotazování s časovými informacemi nad znalostmi v transparentní intenzionální logice
Querying of Temporal Information over Knowledge in Transparent Intensional Logic
Abstract:
This master's thesis deals with computer model for transparent intensional logic aimed at basic inference and time support. The goal is to develop software tool capable to analyze simple TIL constructions and to search answers using stored knowledge. For this purpose the work establishes DOLLY language that transforms TIL constructions to forms readable by computers. There is a model application written …moreAbstract:
Predkladaná práca sa zaoberá návrhom výpočtového modelu transparentnej intenzionálnej Logiky (TIL) v oblasti základnej inferencie a časového spracovania. Cieľom je vytvorenie fungujúceho softwarového nástroja schopného spracovať jednoduché TIL konštrukcie a umožňujúceho vyhľadávanie odpovedí na otázky pomocou získaných znalostí. Za týmto účelom práca zavádza pre počítače zrozumiteľný zápis TILu v podobe …more
Language used: Slovak
Date on which the thesis was submitted / produced: 31. 5. 2010
Identifier:
https://is.muni.cz/th/l9kaz/
Thesis defence
- Date of defence: 29. 6. 2010
- Supervisor: doc. RNDr. Aleš Horák, Ph.D.
- Reader: prof. PhDr. Karel Pala, CSc.
Citation record
ISO 690-compliant citation record:
GARDOŇ, Andrej. \textit{Dotazování s časovými informacemi nad znalostmi v transparentní intenzionální logice}. Online. Master's thesis. Brno: Masaryk University, Faculty of Informatics. 2010. Available from: https://theses.cz/id/9teq8i/.
Full text of thesis
Contents of on-line thesis archive
Published in Theses:- světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatikyMasaryk University
Faculty of InformaticsMaster programme / field:
Informatics / Computer Systems
Theses on a related topic
-
TIL jakožto specifikační jazyk pro inference v PL1.
Jozef Straka -
Návrh báze znalostí a základního inferenčního stroje pro TIL
Andrej Gardoň -
Automatická analýza a porovnávání obrazů uživatelských rozhraní
Marta Surgentová -
Analýza průběhu řešení logických úloh
Martin Vardan