Bell inequalities in cardinality-based similarity measurement

In this thesis a parametric family of cardinality-based similarity measures for ordinary sets (on a finite universe) harbouring numerous well-known similarity measures is introduced. The Lukasiewicz- and product-transitive members of this family are characterized. Their importance derives from the one-to-one correspondence with pseudo-metrics. Also a parametric family of cardinality-based inclusion measures for ordinary sets (on a finite universe) is introduced, and the Lukasiewicz- and product-transitivity properties are also studied. Fuzzification schemes based on a commutative quasi-copula are then used to transform these similarity and inclusion measures for ordinary sets into similarity and inclusion measures for fuzzy sets on a finite universe, rendering them applicable on graded feature set representations of objects. One of the main results of this thesis is that transitivity, and hence the corresponding dual metrical interpretation (for similarity measures only), is preserved along this fuzzification process. It is remarkable that one stumbles across the same inequalities that should be fulfilled when checking these transitivity properties. The inequalities are known as the Bell inequalities. All Bell-type inequalities regarding at most four random events of which not more than two are intersected at the same time are presented in this work and are reformulated in the context of fuzzy scalar cardinalities leading to related inequalities on commutative conjunctors. It is proven that some of these inequalities are fulfilled for commutative (quasi-)copulas and for the most important families of Archimedean t-norms and each of the inequalities, the parameter values such that the corresponding t-norms satisfy the inequality considered, are identified. Meta-theorems, stating general conditions ensuring that certain inequalities for cardinalities of ordinary sets are preserved under fuzzification, when adopting a scalar approach to fuzzy set cardinality, are presented. The conditions pertain to a commutative conjunctor used for modeling fuzzy set intersection. In particular, this conjunctor should fulfill a number of Bell-type inequalities. The advantage of these meta-theorems is that repetitious calculations (for example, when checking the transitivity properties of fuzzy similarity measures) can be avoided

ISIPTA'07: Proceedings of the Fifth International Symposium on Imprecise Probability: Theories and Applications

B

Theoretical Computer Science and Discrete Mathematics

This book includes 15 articles published in the Special Issue "Theoretical Computer Science and Discrete Mathematics" of Symmetry (ISSN 2073-8994). This Special Issue is devoted to original and significant contributions to theoretical computer science and discrete mathematics. The aim was to bring together research papers linking different areas of discrete mathematics and theoretical computer science, as well as applications of discrete mathematics to other areas of science and technology. The Special Issue covers topics in discrete mathematics including (but not limited to) graph theory, cryptography, numerical semigroups, discrete optimization, algorithms, and complexity

Notes in Pure Mathematics & Mathematical Structures in Physics

These Notes deal with various areas of mathematics, and seek reciprocal combinations, explore mutual relations, ranging from abstract objects to problems in physics.Comment: Small improvements and addition

Fuzzy Techniques for Decision Making 2018

Zadeh's fuzzy set theory incorporates the impreciseness of data and evaluations, by imputting the degrees by which each object belongs to a set. Its success fostered theories that codify the subjectivity, uncertainty, imprecision, or roughness of the evaluations. Their rationale is to produce new flexible methodologies in order to model a variety of concrete decision problems more realistically. This Special Issue garners contributions addressing novel tools, techniques and methodologies for decision making (inclusive of both individual and group, single- or multi-criteria decision making) in the context of these theories. It contains 38 research articles that contribute to a variety of setups that combine fuzziness, hesitancy, roughness, covering sets, and linguistic approaches. Their ranges vary from fundamental or technical to applied approaches

Fuzzy Sets, Fuzzy Logic and Their Applications

The present book contains 20 articles collected from amongst the 53 total submitted manuscripts for the Special Issue “Fuzzy Sets, Fuzzy Loigic and Their Applications” of the MDPI journal Mathematics. The articles, which appear in the book in the series in which they were accepted, published in Volumes 7 (2019) and 8 (2020) of the journal, cover a wide range of topics connected to the theory and applications of fuzzy systems and their extensions and generalizations. This range includes, among others, management of the uncertainty in a fuzzy environment; fuzzy assessment methods of human-machine performance; fuzzy graphs; fuzzy topological and convergence spaces; bipolar fuzzy relations; type-2 fuzzy; and intuitionistic, interval-valued, complex, picture, and Pythagorean fuzzy sets, soft sets and algebras, etc. The applications presented are oriented to finance, fuzzy analytic hierarchy, green supply chain industries, smart health practice, and hotel selection. This wide range of topics makes the book interesting for all those working in the wider area of Fuzzy sets and systems and of fuzzy logic and for those who have the proper mathematical background who wish to become familiar with recent advances in fuzzy mathematics, which has entered to almost all sectors of human life and activity

Foundations of Software Science and Computation Structures

This open access book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The 28 regular papers presented in this volume were carefully reviewed and selected from 88 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems