Residuated Lattices of Block Relations: Size Reduction of Concept Lattices
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989592%3A15310%2F16%3A33160922" target="_blank" >RIV/61989592:15310/16:33160922 - isvavai.cz</a>
Result on the web
<a href="http://dx.doi.org/10.1080/03081079.2016.1144601" target="_blank" >http://dx.doi.org/10.1080/03081079.2016.1144601</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1080/03081079.2016.1144601" target="_blank" >10.1080/03081079.2016.1144601</a>
Alternative languages
Result language
angličtina
Original language name
Residuated Lattices of Block Relations: Size Reduction of Concept Lattices
Original language description
We deal with size reduction of concept lattices by means of factorization by block relations defined on corresponding formal context. We show that all block relations with a multiplication defined by means of relational composition form a (non-commutative) residuated lattice. Such residuated lattice can be then thought of as a scale of truth degrees using which we evaluate formulas of predicate logic specifying the desired parameters of the factorization. We also introduce efficient algorithms computing operations on a residuated lattice of block relations. The naive way how to design such algorithms is to compute all the formal concepts of a given context in advance, and then apply some well-known properties of residuated lattices. Our algorithms get rid of the time-consuming precomputation of all concepts
Czech name
—
Czech description
—
Classification
Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/EE2.3.20.0059" target="_blank" >EE2.3.20.0059: Reintegration of Czech Scientist and Creation of Top Level Team in Information Sciences</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2016
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Name of the periodical
International Journal of General Systems
ISSN
0308-1079
e-ISSN
—
Volume of the periodical
45
Issue of the periodical within the volume
7-8
Country of publishing house
GB - UNITED KINGDOM
Number of pages
17
Pages from-to
773-789
UT code for WoS article
000393213500005
EID of the result in the Scopus database
2-s2.0-84966697380