Advances and New Developments in Fuzzy Logic and Technology : Selected Papers from IWIFSGN'2019 – The Eighteenth International Workshop on Intuitionistic Fuzzy Sets and Generalized Nets held on October 24-25, 2019 in Warsaw, Poland / / edited by Krassimir T. Atanassov, Vassia Atanassova, Janusz Kacprzyk, Andrzej Kałuszko, Maciej Krawczak, Jan W. Owsiński, Sotir S. Sotirov, Evdokia Sotirova, Eulalia Szmidt, Sławomir Zadrożny |
Edizione | [1st ed. 2021.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
Descrizione fisica | 1 online resource (334 pages) |
Disciplina | 511.3 |
Collana | Advances in Intelligent Systems and Computing |
Soggetto topico |
Computational intelligence
Engineering—Data processing Computational Intelligence Data Engineering Lògica difusa |
Soggetto genere / forma |
Llibres electrònics
Congressos |
ISBN | 3-030-77716-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Intro -- Preface -- Contents -- Issues in the Representation, Processing and Analyses of Uncertain Information -- Intuitionistic Fuzzy Temporal-Modal Operators -- 1 Introduction -- 2 Preliminary Remarks -- 3 Definitions of the Intuitionistic Fuzzy Implications 139, ..., 185 over Intuitionistic Fuzzy Sets -- 4 Intuitionistic Fuzzy Temporal-Modal Operators ``Necessity'' and ``Possibility'' -- 5 Conclusion -- References -- In Direction of Intuitionistic Fuzzy Arithmetic -- 1 Introduction -- 2 Intuitionistic Fuzzy Set and Type 2 Fuzzy Set -- 3 Alternative Definition of the Fuzzy Set Type 2 -- 4 Conclusions -- References -- A New Approach for an Intuitionistic Fuzzy Sugeno Integral Using Morphological Gradient Edge Detector -- 1 Introduction -- 2 Sugeno Measures and Fuzzy Integrals -- 2.1 Monotonic Measures -- 2.2 Sugeno Measure -- 2.3 Sugeno Integral -- 3 Sugeno Integral with Intuitionistic Fuzzy Sets -- 3.1 Intuitionistic Fuzzy Set -- 3.2 Sugeno Integral with Intuitionistic Fuzzy Set -- 3.3 Intuitionistic Fuzzy Sugeno Integral Using πA = 0.4 -- 4 Edge Detection -- 5 Simulation Results -- 6 Conclusion -- References -- M-Probabilistic Versions of the Strong Law of Large Numbers -- 1 Introduction -- 2 Selected Elements of M-Probability Theory -- 3 M-Probabilistic Versions of the Strong Law of Large Numbers -- 4 An Illustrative Example -- 5 Conclusions -- References -- Intuitionistic Fuzzy Probability and Almost Everywhere Convergence -- 1 Introduction -- 2 IF-Event, IF-Probability, IF-State and IF-Observable -- 3 Product Operation, Joint IF-Observable and Function of Several IF-Observables -- 4 Lower and Upper Limits, m-Almost Everywhere Convergence -- 5 P-Almost Everywhere Convergence -- 6 Conclusion -- References -- Classification of Images by Using Distance Functions Defined on Intuitionistic Fuzzy Sets -- 1 Introduction.
2 Intuitionistic Fuzzy Sets -- 3 Preparation of the Data -- 3.1 Pre-processing of the Images -- 3.2 Pre-processing of the Data -- 3.3 Classification of the Images -- 4 Experimental Results -- 5 Conclusions -- References -- A Study on Local Properties and Local Contrast in Fuzzy Setting -- 1 Introduction -- 2 Preliminaries -- 3 Local Contrast and Local Properties -- 4 Notes on Application -- 5 Conclusions -- References -- Note on the Zadeh's Extension Principle Based on Fuzzy Variable Approach -- 1 Introduction -- 2 Fuzzy Variables -- 2.1 Generalized Measure Theory -- 2.2 From Possibility Measures to Fuzzy Sets -- 2.3 Non-interacting Sets -- 2.4 Extension Principles -- 3 Conclusions -- References -- OFNBee Method Applied for Solution of Problems with Multiple Extremes -- 1 Introduction -- 2 OFN Ordered Fuzzy Numbers -- 3 Test Functions -- 4 Results -- 5 Conclusions -- References -- Imprecision Indexes of Oriented Fuzzy Numbers -- 1 Introduction -- 2 Oriented Fuzzy Numbers - Basic Facts -- 3 Evaluation of Imprecision for Oriented Fuzzy Numbers -- 4 Imprecision Evaluation for Trapezoidal Oriented Fuzzy Numbers -- 5 Portfolio Diversification -- 6 Final Remarks -- References -- Detailed Evaluation of Fuzzy Sets in Rule Conditions as a Key for Accurate and Explainable Rule-Based Systems -- 1 Introduction -- 2 Methods -- 2.1 Design of Fuzzy Membership Functions -- 2.2 Evaluation of Fuzzy Membership Functions -- 2.3 Fuzzy Rules Design and Fuzzy Belief Measure Calculation -- 3 Experiments -- 4 Discussion and Conclusions -- References -- Tests for Estimates of the Tolerance Relation Based on Pairwise Comparisons in Binary and Multivalent Form -- 1 Introduction -- 2 Estimation Problem, Form of Estimators and Their Properties for Binary Comparisons -- 2.1 Estimation Problem for Binary Comparisons -- 2.2 The Form of Estimator and Its Properties. 3 Tests for Verification of an Estimate of Tolerance Relation for Binary Comparisons -- 4 Estimation Problem, Form of Estimators and Their Properties for Multivalent Comparisons -- 4.1 Estimation Problem for Multivalent Comparisons -- 4.2 The Form of Estimator and Its Properties -- 5 Tests for Verification of an Estimate of Tolerance Relation for Multivalent Comparisons -- 6 Summary and Conclusions -- References -- Applications in Healthcare, Medicine, and Sports -- Opportunity for Obtaining an Intuitionistic Fuzzy Estimation for Health-Related Quality of Life Data -- 1 Introduction -- 2 Multi Layer Perceptron -- 3 Discussion -- 4 Conclusion -- References -- InterCriteria Analysis of the Blood Group Distribution of Patients of Saint Anna Hospital in 2015-2019 -- 1 Introduction -- 2 Input Data -- 3 Application of the InterCriteria Analysis - Results and Discussion -- 4 Conclusion -- References -- Application of the InterCriteria Analysis Method to a Data of Malignant Melanoma Disease for the Burgas Region for 2014-2018 -- 1 Introduction -- 2 An Application of the ICA -- 2.1 Applying ICA Approach for International Statistical Classification of Diseases and Health Problems Group for Malignant Melanoma of Skin -- 2.2 Applying ICA Approach for Marital Status and Gender Data -- 3 Discussions -- 4 Conclusion -- References -- A Generalized Net Model of the Abdominal Aorta and Its Branches as a Part of the Vascular System -- 1 Introduction -- 2 A Generalized Net Model of the Abdominal Aorta and Its Branches as a Part of the Vascular System -- 3 Conclusion -- References -- A Generalized Net Model of the Human Body Excretory System -- 1 Introduction -- 2 The Generalized Net Model -- 3 Conclusion -- References -- Clustering of InterCriteria Analysis Data Using a Malignant Neoplasms of the Digestive Organs Data -- 1 Introduction -- 2 InterCriteria Analysis. 3 Self Organizing Map Neural Networks -- 4 Testing with Data for Malignant Neoplasms of the Digestive Organs Data -- 5 Conclusion -- References -- Fuzzy-Based Algorithm for QRS Detection -- 1 Introduction -- 2 Overview of Algorithm -- 2.1 The Preprocessing Stage -- 2.2 Estimation of the Amplitude Threshold with Fuzzy c-Median Clustering Method -- 3 Numerical Experiment and Results -- 3.1 Data -- 3.2 Results -- 4 Conclusion -- References -- Influence of the Indoor Hockey "Push & -- Flick" Methodology on the Ball Speed During the Penalty Corner Shooting -- 1 Introduction -- 2 Methodology -- 3 InterCriteria Analysis Background -- 4 Results and Discussion from the Study on the Speed of the Ball When Executing a Penalty Corner Using Flick -- 4.1 Variation Analysis of the Speed of the Ball When Executing a Penalty Corner in Goal-Scoring Areas -- 4.2 InterCriteria Analysis of the Speed of the Ball When Executing a Penalty Corner in Goal-Scoring Areas -- 5 Conclusion -- References -- InterCriteria Analysis of Data Obtained from University Students Practicing Sports Activities -- 1 Introduction -- 2 Presentation of the Input Data -- 3 Application of the InterCriteria Analysis -- 4 Conclusions -- References -- Applications in Industry, Business and Critical Infrastructure -- Forest Fire Analysis Based on InterCriteria Analysis -- 1 Introduction -- 2 Forest Fires Data -- 3 Methods Theoretical Background -- 3.1 Methodology of Lubenov -- 4 InterCriteria Analysis -- 5 Results and Discussion -- 6 Conclusion -- References -- Generalized Net Model of Overall Telecommunication System with Queuing -- 1 Introduction -- 2 Classical Conceptual Model of Overall Telecommunication System -- 2.1 Base Virtual Devices Representation and Their Parameters -- 2.2 Types and Names of the Base Virtual Devices -- 2.3 Comprise Virtual Devices. 3 Generalized Net Model of Overall Telecommunication System with Queuing -- 3.1 Generalized Net Model of the Dialing Stage -- 3.2 Generalized Net Model of the Switching Stage -- 3.3 Generalized Net Model of the Ringing Stage -- 3.4 Generalized Net Model of the Communication Stage -- 4 Analytical Modeling of the Overall Telecommunication System Using the GN Model -- 4.1 Static and Dynamic Parameters of the Model -- 4.2 Main Assumptions -- 4.3 Equation for the Traffic Intensity of the Called Terminals -- 5 Conclusions -- References -- Generalized Net Model of Information Security Activities in the Automated Information Systems -- 1 Introduction -- 2 Generalized Net Model of Information Security Activities in Automated Information Systems -- 3 Conclusion -- References -- Use of OFN in the Short-Term Prediction of Exchange Rates -- 1 Introduction -- 2 Exchange Rates and Currency Markets -- 3 Fuzzy Observation of the Exchange Rate of Euro in Relation to USD -- 4 Formalizing the Description of Fuzzy Observation -- 5 Conclusion -- References -- Ordered Fuzzy Numbers for IoT Smart Home Solution -- 1 Introduction -- 2 The Idea of IoT and Intelligent - Smart Homes -- 3 Ordered Fuzzy Numbers for Smart Home Heating and Cooling System -- 4 The Real Test of Proposed Method -- 5 Conclusion -- References -- When Two-Constraint Binary Knapsack Problem is Equivalent to Classical Knapsack Problem? -- 1 Introduction -- 2 Definitions -- 3 Lagrange and Dual Estimations -- 4 Probabilistic Analysis -- 5 Concluding Remarks -- References -- Author Index. |
Record Nr. | UNINA-9910488700503321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Advances in Fuzzy Implication Functions / / edited by Michał Baczyński, Gleb Beliakov, Humberto Bustince Sola, Ana Pradera |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (VII, 209 p.) |
Disciplina | 511.3 |
Collana | Studies in Fuzziness and Soft Computing |
Soggetto topico |
Computational intelligence
Artificial intelligence Computational Intelligence Artificial Intelligence |
ISBN | 3-642-35677-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | An Overview of Construction Methods of Fuzzy Implications -- Fuzzy Implications: Classification and a New Class -- A Survey of the Distributivity of Implications over Continuous T-norms and the Simultaneous Satisfaction of the Contrapositive Symmetry -- Implication Functions in Interval-valued Fuzzy Set Theory -- (S;N)-Implications on Bounded Lattices -- Implication Functions Generated Using Functions of one Variable -- Compositions of Fuzzy Implications -- Fuzzy Implications: Some Recently Solved Problems. |
Record Nr. | UNINA-9910437893503321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Advances in Fuzzy Logic and Technology 2017 : Proceedings of: EUSFLAT- 2017 – The 10th Conference of the European Society for Fuzzy Logic and Technology, September 11-15, 2017, Warsaw, Poland IWIFSGN’2017 – The Sixteenth International Workshop on Intuitionistic Fuzzy Sets and Generalized Nets, September 13-15, 2017, Warsaw, Poland, Volume 3 / / edited by Janusz Kacprzyk, Eulalia Szmidt, Slawomir Zadrożny, Krassimir T. Atanassov, Maciej Krawczak |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XI, 602 p. 143 illus.) |
Disciplina | 511.3 |
Collana | Advances in Intelligent Systems and Computing |
Soggetto topico |
Computational intelligence
Artificial intelligence Computational Intelligence Artificial Intelligence |
ISBN | 3-319-66827-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910299885603321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Advances in linear logic : Linear Logic Workshop, Cornell University, Ithaca, New York : USA, June 14-18, 1993 / edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier |
Pubbl/distr/stampa | Cambridge : Cambridge University Press, c1995 |
Descrizione fisica | vi, 389 p. : ill. ; 23 cm |
Disciplina | 511.3 |
Collana | London Mathematical Society lecture note series |
Soggetto non controllato | Logica lineare - Congressi |
ISBN | 0-521-55961-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001359470403321 |
Cambridge : Cambridge University Press, c1995 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Advances in linear logic / edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier |
Pubbl/distr/stampa | Cambridge ; New York : Cambridge University Press, 1995 |
Descrizione fisica | vi, 389 p. : ill. ; 23 cm |
Disciplina | 511.3 |
Altri autori (Persone) |
Girard, Jean-Yves
Lafont, Yves Regnier, Laurent |
Altri autori (Convegni) | Linear logic workshop <1993 ; Mathematical Sciences Institute, Cornell University> |
Collana | London Mathematical Society lecture note series, 0076-0552 ; 222 |
Soggetto topico | Symbolic and mathematical logic - Congresses |
ISBN | 0521559618 |
Classificazione |
AMS 03-06
AMS 68-06 AMS 68N15 QA9.A1L56 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000647729707536 |
Cambridge ; New York : Cambridge University Press, 1995 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Advances in logic : the North Texas Logic Conference, october 8-10, 2004, University of North Texas, Denton, Texas / Su Gao, Steve Jackson, Yi Zhang editors |
Autore | North Texas Logic Conference : <2004 |
Pubbl/distr/stampa | Providence : American Mathematical Society, c2007 |
Descrizione fisica | vii, 150 p. : ill. ; 24 cm |
Disciplina | 511.3 |
Collana | Contemporary mathematics |
Soggetto non controllato |
Logica - Simbolica - Congressi
Teoria dei modelli |
ISBN | 978-0-8218-3819-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990008566590403321 |
North Texas Logic Conference : <2004 | ||
Providence : American Mathematical Society, c2007 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Advances in logic : the North Texas logic conference, October 8-10, 2004, University of North Texas, Denton, Texas / Su Gao, Steve Jackson, Yi Zhang, editors |
Autore | North Texas Logic Conference <2004 ; University of North Texas> |
Pubbl/distr/stampa | Providence, R. I. : American Mathematical Society, c2007 |
Descrizione fisica | vii, 150 p. : ill. ; 26 cm |
Disciplina | 511.3 |
Altri autori (Persone) |
Gao, Suauthor
Jackson, Steveauthor Zhang, Yiauthor |
Collana | Contemporary mathematics, 0271-4132 ; 425 |
Soggetto topico | Logic, Symbolic and mathematical - Congresses |
ISBN | 0821838199 |
Classificazione |
AMS 03C52
AMS 03D25 AMS 03D35 AMS 03D80 AMS 03E05 AMS 03E15 AMS 03E60 AMS 05C12 AMS 52C20 LC QA9.A1N67 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991002739769707536 |
North Texas Logic Conference <2004 ; University of North Texas> | ||
Providence, R. I. : American Mathematical Society, c2007 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Advances in logic : the North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas / / Su Gao, Steve Jackson, Yi Zhang, editors |
Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [2007] |
Descrizione fisica | 1 online resource (162 p.) |
Disciplina | 511.3 |
Collana | Contemporary mathematics |
Soggetto topico | Logic, Symbolic and mathematical |
Soggetto genere / forma | Electronic books. |
ISBN |
0-8218-8104-3
0-8218-3819-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
""Contents""; ""Preface""; ""A stationary-tower-free proof of the derived model theorem""; ""A proof of the â??21-absoluteness theorem""; ""A simple inductive measure analysis for cardinals under the Axiom of Determinacy""; ""The complexity of the index sets of N0-categorical theories and of Ehrenfeucht theories""; ""Computable structures of Scott rank Ï?CK1 in familiar classes""; ""Thin classes of separating sets""; ""Voting rules for infinite sets and Boolean algebras""; ""Very mad families""; ""Borel boundedness and the lattice rounding property""; ""Steinhaus sets and Jackson sets""
""A problem list"" |
Record Nr. | UNINA-9910481048403321 |
Providence, Rhode Island : , : American Mathematical Society, , [2007] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Advances in logic : the North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas / / Su Gao, Steve Jackson, Yi Zhang, editors |
Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [2007] |
Descrizione fisica | 1 online resource (162 p.) |
Disciplina | 511.3 |
Collana | Contemporary mathematics |
Soggetto topico | Logic, Symbolic and mathematical |
ISBN |
0-8218-8104-3
0-8218-3819-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
""Contents""; ""Preface""; ""A stationary-tower-free proof of the derived model theorem""; ""A proof of the â??21-absoluteness theorem""; ""A simple inductive measure analysis for cardinals under the Axiom of Determinacy""; ""The complexity of the index sets of N0-categorical theories and of Ehrenfeucht theories""; ""Computable structures of Scott rank Ï?CK1 in familiar classes""; ""Thin classes of separating sets""; ""Voting rules for infinite sets and Boolean algebras""; ""Very mad families""; ""Borel boundedness and the lattice rounding property""; ""Steinhaus sets and Jackson sets""
""A problem list"" |
Record Nr. | UNINA-9910788790503321 |
Providence, Rhode Island : , : American Mathematical Society, , [2007] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Advances in logic : the North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas / / Su Gao, Steve Jackson, Yi Zhang, editors |
Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [2007] |
Descrizione fisica | 1 online resource (162 p.) |
Disciplina | 511.3 |
Collana | Contemporary mathematics |
Soggetto topico | Logic, Symbolic and mathematical |
ISBN |
0-8218-8104-3
0-8218-3819-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
""Contents""; ""Preface""; ""A stationary-tower-free proof of the derived model theorem""; ""A proof of the â??21-absoluteness theorem""; ""A simple inductive measure analysis for cardinals under the Axiom of Determinacy""; ""The complexity of the index sets of N0-categorical theories and of Ehrenfeucht theories""; ""Computable structures of Scott rank Ï?CK1 in familiar classes""; ""Thin classes of separating sets""; ""Voting rules for infinite sets and Boolean algebras""; ""Very mad families""; ""Borel boundedness and the lattice rounding property""; ""Steinhaus sets and Jackson sets""
""A problem list"" |
Record Nr. | UNINA-9910809223203321 |
Providence, Rhode Island : , : American Mathematical Society, , [2007] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|