Zpět na vyhledávání

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 …more
Abstract:
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
 

Keywords

Transparentná intenzionálna logika logická analýza jazyk DOLLY systém Dolphin báza znalostí inferencia Atomická inferencia Nulárna inferencia aplikačná a zmenová inferencia spracovanie času
 
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

Cite this text

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 informatiky
Složka Reference to the local database directory of the institution

Masaryk University

Faculty of Informatics

Master programme / field:
Informatics / Computer Systems

Theses on a related topic

List of theses with an identical keyword.