scholarly journals On the interaction of semantics and deduction in Transparent Intensional Logic (Is Tichý's logic a logic?)

2013 ◽  
Vol 0 (0) ◽  
Author(s):  
Jiří Raclavský
Keyword(s):  
Intensional Logic ◽  
Transparent Intensional Logic

scholarly journals Search for Appropriate Textual Information Sources

2020 ◽  
Author(s):  
Adam Albert ◽  
Marie Duží ◽  
Marek Menšík ◽  
Miroslav Pajr ◽  
Vojtěch Patschka
Keyword(s):  
Machine Learning ◽  
Data Mining ◽  
Information Retrieval ◽  
Association Rules ◽  
Information Sources ◽  
Intensional Logic ◽  
Textual Information ◽  
Transparent Intensional Logic ◽  
Background Theory ◽  
Mining Methods

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