Time Dimension in the Dolphin Nick Knowledge Base Using Transparent Intensional Logic

Author(s):  
Andrej Gardoň ◽  
Aleš Horák
Author(s):  
Adam Albert ◽  
Marie Duží ◽  
Marek Menšík ◽  
Miroslav Pajr ◽  
Vojtěch Patschka

In this paper, we deal with the support in the search for appropriate textual sources. Users ask for an atomic concept that is explicated using machine learning methods applied to different textual sources. Next, we deal with the so-obtained explications to provide even more useful information. To this end, we apply the method of computing association rules. The method is one of the data-mining methods used for information retrieval. Our background theory is the system of Transparent Intensional Logic (TIL); all the concepts are formalised as TIL constructions.


Sign in / Sign up

Export Citation Format

Share Document