Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "Galois connection" wg kryterium: Temat


Wyświetlanie 1-5 z 5
Tytuł:
Clausal relations and C-clones
Autorzy:
Vargas, Edith
Powiązania:
https://bibliotekanauki.pl/articles/729057.pdf
Data publikacji:
2010
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
clone
Galois connection
clausal relation
C-clone
Opis:
We introduce a special set of relations called clausal relations. We study a Galois connection Pol-CInv between the set of all finitary operations on a finite set D and the set of clausal relations, which is a restricted version of the Galois connection Pol-Inv. We define C-clones as the Galois closed sets of operations with respect to Pol-CInv and describe the lattice of all C-clones for the Boolean case D = {0,1}. Finally we prove certain results about C-clones over a larger set.
Źródło:
Discussiones Mathematicae - General Algebra and Applications; 2010, 30, 2; 147-171
1509-9415
Pojawia się w:
Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Disjunctive Multiple-Conclusion Consequence Relations
Autorzy:
Nowak, Marek
Powiązania:
https://bibliotekanauki.pl/articles/750032.pdf
Data publikacji:
2019
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
multiple-conclusion consequence relation
closure operation
Galois connection
Opis:
The concept of multiple-conclusion consequence relation from [8] and [7] is considered. The closure operation C assigning to any binary relation r (dened on the power set of a set of all formulas of a given language) the least multiple-conclusion consequence relation containing r, is dened on the grounds of a natural Galois connection. It is shown that the very closure C is an isomorphism from the power set algebra of a simple binary relation to the Boolean algebra of all multiple-conclusion consequence relations.
Źródło:
Bulletin of the Section of Logic; 2019, 48, 4
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The Słupecki criterion by duality
Autorzy:
Horváth, Eszter
Powiązania:
https://bibliotekanauki.pl/articles/728802.pdf
Data publikacji:
2001
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
primal algebra
diagonal relation
Galois connection
Słupecki Criterion
Opis:
A method is presented for proving primality and functional completeness theorems, which makes use of the operation-relation duality. By the result of Sierpiński, we have to investigate relations generated by the two-element subsets of $A^{k}$ only. We show how the method applies for proving Słupecki's classical theorem by generating diagonal relations from each pair of k-tuples.
Źródło:
Discussiones Mathematicae - General Algebra and Applications; 2001, 21, 1; 5-11
1509-9415
Pojawia się w:
Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Rough sets based on Galois connections
Autorzy:
Madrid, Nicolás
Medina, Jesús
Ramírez-Poussa, Eloísa
Powiązania:
https://bibliotekanauki.pl/articles/330499.pdf
Data publikacji:
2020
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
rough sets
Galois connection
approximation operator
zbiór przybliżony
połączenie Galois
operator aproksymacji
Opis:
Rough set theory is an important tool to extract knowledge from relational databases. The original definitions of approximation operators are based on an indiscernibility relation, which is an equivalence one. Lately, different papers have motivated the possibility of considering arbitrary relations. Nevertheless, when those are taken into account, the original definitions given by Pawlak may lose fundamental properties. This paper proposes a possible solution to the arising problems by presenting an alternative definition of approximation operators based on the closure and interior operators obtained from an isotone Galois connection. We prove that the proposed definition satisfies interesting properties and that it also improves object classification tasks.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2020, 30, 2; 299-313
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A comprehensive survey on formal concept analysis, its research trends and applications
Autorzy:
Singh, P. K.
Aswani Kumar, C.
Gani, A.
Powiązania:
https://bibliotekanauki.pl/articles/330445.pdf
Data publikacji:
2016
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
concept lattice
formal concept analysis
formal concept
formal context
Galois connection
krata pojęć
formalna analiza koncepcji
koneksja Galois
Opis:
In recent years, FCA has received significant attention from research communities of various fields. Further, the theory of FCA is being extended into different frontiers and augmented with other knowledge representation frameworks. In this backdrop, this paper aims to provide an understanding of the necessary mathematical background for each extension of FCA like FCA with granular computing, a fuzzy setting, interval-valued, possibility theory, triadic, factor concepts and handling incomplete data. Subsequently, the paper illustrates emerging trends for each extension with applications. To this end, we summarize more than 350 recent (published after 2011) research papers indexed in Google Scholar, IEEE Xplore, ScienceDirect, Scopus, SpringerLink, and a few authoritative fundamental papers.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2016, 26, 2; 495-516
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-5 z 5

    Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies