All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Previous Page 20 Next

Displaying 381 – 400 of 1306

Showing per page

Formalization of Generalized Almost Distributive Lattices

Adam Grabowski (2014)

Formalized Mathematics

Almost Distributive Lattices (ADL) are structures defined by Swamy and Rao [14] as a common abstraction of some generalizations of the Boolean algebra. In our paper, we deal with a certain further generalization of ADLs, namely the Generalized Almost Distributive Lattices (GADL). Our main aim was to give the formal counterpart of this structure and we succeeded formalizing all items from the Section 3 of Rao et al.’s paper [13]. Essentially among GADLs we can find structures which are neither V-commutative...

Formalization of the Advanced Encryption Standard. Part I

Kenichi Arai, Hiroyuki Okazaki (2013)

Formalized Mathematics

In this article, we formalize the Advanced Encryption Standard (AES). AES, which is the most widely used symmetric cryptosystem in the world, is a block cipher that was selected by the National Institute of Standards and Technology (NIST) as an official Federal Information Processing Standard for the United States in 2001 [12]. AES is the successor to DES [13], which was formerly the most widely used symmetric cryptosystem in the world. We formalize the AES algorithm according to [12]. We then verify...

Formulation of Cell Petri Nets

Mitsuru Jitsukawa, Pauline N. Kawamoto, Yasunari Shidama (2013)

Formalized Mathematics

Based on the Petri net definitions and theorems already formalized in the Mizar article [13], in this article we were able to formalize the definition of cell Petri nets. It is based on [12]. Colored Petri net has already been defined in [11]. In addition, the conditions of the firing rule and the colored set to this definition, that defines the cell Petri nets are further extended to CPNT.i further. The synthesis of two Petri nets was introduced in [11] and in this work the definition is extended...

Free Interpretation, Quotient Interpretation and Substitution of a Letter with a Term for First Order Languages

Marco Caminati (2011)

Formalized Mathematics

Fourth of a series of articles laying down the bases for classical first order model theory. This paper supplies a toolkit of constructions to work with languages and interpretations, and results relating them. The free interpretation of a language, having as a universe the set of terms of the language itself, is defined.The quotient of an interpreteation with respect to an equivalence relation is built, and shown to remain an interpretation when the relation respects it. Both the concepts of quotient...

From two- to four-valued logic

Chris Brink (1993)

Banach Center Publications

The purpose of this note is to show that a known and natural four-valued logic co-exists with classical two-valued logic in the familiar context of truth tables. The tool required is the power construction.

Fundamentals of a mathematical theory of fuzzy sets

Jindřich Spal (1982)

Aplikace matematiky

Fuzzy sets establish a mapping from the interval of values of a criterial function onto a system of subsets of a basic set. In the paper, a system of definitions and theorems is introduced, which is aimed at an adequate expression of this point of view. The criterial function, with an arbitrary interval of values, serves for expressing the really existing objective property, forming the basis for defining a fuzzy set.

Fuzzy decision trees to help flexible querying

Christophe Marsala (2000)

Kybernetika

Fuzzy data mining by means of the fuzzy decision tree method enables the construction of a set of fuzzy rules. Such a rule set can be associated with a database as a knowledge base that can be used to help answering frequent queries. In this paper, a study is done that enables us to show that classification by means of a fuzzy decision tree is equivalent to the generalized modus ponens. Moreover, it is shown that the decision taken by means of a fuzzy decision tree is more stable when observation...

Fuzzy diagnostic reasoning that takes into account the uncertainty of the relation between faults and symptoms

Jan Kościelny, Michał Syfert (2006)

International Journal of Applied Mathematics and Computer Science

Knowledge about the relation between faults and the observed symptoms is necessary for fault isolation. Such a relation can be expressed in various forms, including binary diagnostic matrices or information systems. The paper presents the use of fuzzy logic for diagnostic reasoning. This method enables us to take into account various kinds of uncertainties connected with diagnostic reasoning, including the uncertainty of the faults-symptoms relation. The presented methods allow us to determine the...

Fuzzy distances

Josef Bednář (2005)

Kybernetika

In the paper, three different ways of constructing distances between vaguely described objects are shown: a generalization of the classic distance between subsets of a metric space, distance between membership functions of fuzzy sets and a fuzzy metric introduced by generalizing a metric space to fuzzy-metric one. Fuzzy metric spaces defined by Zadeh’s extension principle, particularly to ℝ n are dealt with in detail.

Fuzzy n-fold integral filters in BL-algebras

Rajab Ali Borzooei, Akbar Paad (2013)

Discussiones Mathematicae - General Algebra and Applications

In this paper, we introduce the notion of fuzzy n-fold integral filter in BL-algebras and we state and prove several properties of fuzzy n-fold integral filters. Using a level subset of a fuzzy set in a BL-algebra, we give a characterization of fuzzy n-fold integral filters. Also, we prove that the homomorphic image and preimage of fuzzy n-fold integral filters are also fuzzy n-fold integral filters. Finally, we study the relationship among fuzzy n-fold obstinate filters, fuzzy n-fold integral filters...

Fuzzy quantum logics.

Maria Luisa Dalla Chiara, Roberto Giuntini (1996)

Mathware and Soft Computing

Quantum logic is a particular example of a fuzzy quantum logic. QL is semantically characterized by the class of all quantum MV algebras. The standard quantum MV algebra is based on the set of all effects in a Hilbert space. From the physical point of view, effects represent physical properties that may be noisy and ambiguous.

Fuzzy sets (in)equations with a complete codomain lattice

Vanja Stepanović, Andreja Tepavčević (2022)

Kybernetika

The paper applies some properties of the monotonous operators on the complete lattices to problems of the existence and the construction of the solutions to some fuzzy relational equations, inequations, and their systems, taking a complete lattice for the codomain lattice. The existing solutions are extremal - the least or the greatest, thus we prove some extremal problems related to fuzzy sets (in)equations. Also, some properties of upper-continuous lattices are proved and applied to systems of...

Currently displaying 381 – 400 of 1306