We discuss, using recent results on the thermodynamics of multivalued logic, the difficulties and pitfalls of how to apply the Landauer’s principle to thermodynamic computer memory models. The presentation is based on Szilard’s version of Maxwell’s demon experiment and use of equilibrium Thermodynamics. Different versions of thermodynamic/mechanical memory are presented – a one-hot encoding version and an implementation based on a reversed Szilard’s experiment. The relationship of the Landauer’s principle to the Galois connection is explained in detail.
PL
Opisujemy, używając niedawne badania związane z termodynamiką dla logiki wielowartościowej, problemy związane z zastosowaniem reguły Landauera dla termodynamicznego modelu pamięci komputera. Analiza jest oparta na wersji Szilarda demona Maxwella z termodynamiki równowagowej. Zostały zaprezentowane różne wersje termodynamicznej/mechanicznej pamięci – wersja gorąco jedynkowa i implementacja bazująca na odwróconym eksperymencie Szilarda. Zaprezentowano również związek pomiędzy regułą Landauera i koneksją Galois.
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.
3
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
We provide a new approach to fusion of Fuzzy Formal Concept Analysis and Rough Set Theory. As a starting point we take into account a couple of fuzzy relations, one of them represents the lower approximation, while the other one the upper approximation of a given data table. By defining appropriate concept-forming operators we transfer the roughness of the input data table to the roughness of corresponding formal fuzzy concepts in the sense that a formal fuzzy concept is considered as a collection of objects accompanied with two fuzzy sets of attributes— those which are shared by all the objects and those which at least one object has. In the paper we study the properties of such formal concepts and show their relationship with concepts formed by well-known isotone and antitone operators.
4
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
The primary goal of the paper is to establish a duality for quasilattices. The main ingredients are duality for semilattices and their representations, the structural analysis of quasilattices as Płonka sums of lattices, and the duality for lattices developed by Hartonas and Dunn. Lattice duality treats the identity function on a lattice as a Galois connection between its meet and join semilattice reducts, and then invokes a duality between Galois connections and polarities. A second goal of the paper is a further examination of this latter duality, using the concept of a pairing to provide an algebraic equivalent to the relational structure of a polarity.
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.
6
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
Formal concept analysis and rough set analysis are two complementary approaches for analyzing data. This paper studies approaches to constructing fuzzy concept lattices based on generalized fuzzy rough approximation operators. For a residual implicator θ satisfying θa, b) = *theta;(1 -b, 1 -a) and its dual σ, a pair of (θ,σ)-fuzzy rough approximation operators is defined. We then propose three kinds of fuzzy operators, and examine some of their basic properties. Thus, three complete fuzzy concept lattices can be produced, for which the properties are analogous to those of the classical concept lattices.
7
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
In this paper a restricted version of the Galois connection between poly-morphisms and invariants, called Pol . C Inv, is studied, where the invariant relations are restricted to so-called clausal relations. The lattice of all clones arising from this Ga-lois connection, so-called C-clones, is investigated up to equality of their unary parts, denominated C-monoids. All atoms and co-atoms in the lattice of all C-monoids are characterized.
8
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
A nearsemilattice is a poset having the upper-bound property. A binary operation — on a poset with the least element 0 is said to be subtraction-like if x ≤ y if and only if x — y = 0 for all x, y. Associated with such an operation is a family of partial operations lp defined by lp(x) := p— x on every initial segment [0, p]; these operations are thought of as local (sectional) complementations of some kind. We study several types of subtraction-like operations, show that each of these operations can be restored in a uniform way from the corresponding local complementations, and state some connections between properties of a (sufficiently strong) subtraction on a nearsemilattice and distributivity of the latter.
9
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
We present a review of ideas of a general theory of convergence, developed independently of topology, with the stress on the duality of convergence and topology. Results and problems concerning sufficient and necessary conditions for a convergence to be topological, both in case of the single- and multi-valued cases, are recalled. We reconstruct, filling certain gaps, an example given in [7] to show that one of sufficient conditions in the theorems proved in [1] and [9] for multi-valued convergences to be topological is not necessary.
10
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
In this paper we show that each Galois connection between two complete lattices determines an Armstrong system, that is, a closed set of dependencies. Especially, we study Galois connections and Armstrong systems determined by Pawlak's information systems.
11
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
In this work, four modal-like operators on Boolean lattices are introduced and their theory is presented from lattice-theoretical, topological and algebraic point of view. It is also shown how rough set approximation operators, modal operators in temporal logic, and linguistic modifiers determined by L-sets can be interpreted as modal-like operators.
12
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
We investigate Galois connections and their relations to the major theories of (qualitative) data analysis: Rough Set Theory (RST), Formal Concept Analysis (FCA) and John Stuart Mill Reasoning (JSM-Reasoning). Polarities, a type of contravariant Galois connections, and their relationships with data analysis has been already well-known. This paper shows how axialities, a type of covariant Galois connections, are related to problems adressed by data analysis and prove that they give rise to a number of interesting lattices.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.