Computing formal concepts by attribute sorting
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989592%3A15310%2F12%3A33141180" target="_blank" >RIV/61989592:15310/12:33141180 - isvavai.cz</a>
Výsledek na webu
<a href="http://dx.doi.org/10.3233/FI-2012-661" target="_blank" >http://dx.doi.org/10.3233/FI-2012-661</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.3233/FI-2012-661" target="_blank" >10.3233/FI-2012-661</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Computing formal concepts by attribute sorting
Popis výsledku v původním jazyce
We present a novel approach to compute formal concepts of formal context. In terms of operations with Boolean matrices, the presented algorithm computes all maximal rectangles of the input Boolean matrix which are full of 1s. The algorithm combines basicideas of previous approaches with our recent observations on the influence of attribute permutations and attribute sorting on the number of formal concepts which are computed multiple times. As a result, we present algorithm which computes formal concepts by successive context reduction and attribute sorting. We prove its soundness, discuss its complexity and efficiency, and show that it outperforms other algorithms from the CbO family in terms of substantially lower numbers of formal concepts which are computed multiple times.
Název v anglickém jazyce
Computing formal concepts by attribute sorting
Popis výsledku anglicky
We present a novel approach to compute formal concepts of formal context. In terms of operations with Boolean matrices, the presented algorithm computes all maximal rectangles of the input Boolean matrix which are full of 1s. The algorithm combines basicideas of previous approaches with our recent observations on the influence of attribute permutations and attribute sorting on the number of formal concepts which are computed multiple times. As a result, we present algorithm which computes formal concepts by successive context reduction and attribute sorting. We prove its soundness, discuss its complexity and efficiency, and show that it outperforms other algorithms from the CbO family in terms of substantially lower numbers of formal concepts which are computed multiple times.
Klasifikace
Druh
J<sub>x</sub> - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
CEP obor
IN - Informatika
OECD FORD obor
—
Návaznosti výsledku
Projekt
Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2012
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název periodika
Fundamenta Informaticae
ISSN
0169-2968
e-ISSN
—
Svazek periodika
115
Číslo periodika v rámci svazku
4
Stát vydavatele periodika
NL - Nizozemsko
Počet stran výsledku
23
Strana od-do
395-417
Kód UT WoS článku
000304190500008
EID výsledku v databázi Scopus
—