Residuated Lattices of Block Relations: Size Reduction of Concept Lattices

Kód výsledku v 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>

Výsledek na webu

<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>

Jazyk výsledku

angličtina

Název v původním jazyce

Residuated Lattices of Block Relations: Size Reduction of Concept Lattices

Popis výsledku v původním jazyce

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

Název v anglickém jazyce

Residuated Lattices of Block Relations: Size Reduction of Concept Lattices

Popis výsledku anglicky

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

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

<a href="/cs/project/EE2.3.20.0059" target="_blank" >EE2.3.20.0059: Reintegrace českého vědce a vytvoření špičkového týmu v informačních vědách</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2016

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ů

Název periodika

International Journal of General Systems

ISSN

0308-1079

e-ISSN

—

Svazek periodika

45

Číslo periodika v rámci svazku

7-8

Stát vydavatele periodika

GB - Spojené království Velké Británie a Severního Irska

Počet stran výsledku

17

Strana od-do

773-789

Kód UT WoS článku

000393213500005

EID výsledku v databázi Scopus

2-s2.0-84966697380