Computational Intelligence and Mathematics for Tackling Complex Problems 4

Preface
Contents
Decidability for S4 Gödel Modal Logics
	1 Introduction
	2 Syntax and Semantics
	3 Birelational Completeness
	4 The Finite Model Property
	5 Conclusion
	References
Basic Logic Versus Multi-adjoint Logic
	1 Introduction
	2 Basic and Multi-adjoint Logics
	3 Relationship Between BL and ML
	4 Conclusions and Future Work
	References
Fuzzy Logic Programming  with Generalized Quantifiers
	1 Introduction
	2 Preliminaries
	3 Fixed Point Semantics with Generalized Quantifiers
	4 Conclusions and Future Work
	References
Fuzzy Relations: The Fundament for Fuzzy Rough Approximation, Fuzzy Concept Analysis and Fuzzy Mathematical Morphology
	1 Introduction
	2 Preliminaries
	3 Forward and Backward Operators Induced by upper LL-Fuzzy Relations
	4 Operators upper R Superscript white medium square Baseline colon upper L Superscript upper X Baseline right arrow upper L Superscript upper Y Baseline comma upper R Superscript lozenge Baseline colon upper R Superscript upper X Baseline right arrow upper L Superscript upper YR 2mu-:6muplus1muLXtoLY,  R 2mu-:6muplus1muRX toLY  upper R Superscript black medium square Baseline colon upper L Superscript upper Y Baseline right arrow upper L Superscript upper X Baseline comma upper R Superscript black lozenge Baseline colon upper R Superscript upper Y Baseline right arrow upper L Superscript upper XR 2mu-:6muplus1muLYtoLX,  R 2mu-:6muplus1muRY toLX
	5 Operators upper R Superscript white medium square Baseline comma upper R Superscript lozenge Baseline comma upper R Superscript black medium square Baseline comma upper R Superscript black lozengeR ,  R ,  R ,  R  in Fuzzy Rough Set Theory
	6 Operators upper R Superscript white medium square Baseline comma upper R Superscript lozenge Baseline comma upper R Superscript black medium square Baseline comma upper R Superscript black lozengeR ,  R ,  R ,  R  and Fuzzy Concept Analysis
	7 Operators upper R Superscript white medium square Baseline comma upper R Superscript lozenge Baseline comma upper R Superscript black medium square Baseline comma upper R Superscript black lozengeR ,  R ,  R ,  R  and Fuzzy Mathematical Morphology
	8 Conclusion
	References
Information Bireducts and Its Relationship with Reducts
	1 Introduction
	2 Preliminaries
	3 Bireducts in Information Tables
	4 Conclusions and Future Work
	References
On the Applicability of Fuzzy Lines  in Circular Hough Transform in Lesion Segmentation on Liver CT Images
	1 Introduction
	2 Mathematical Background
		2.1 Hough Transform
		2.2 Fuzzy Hough transform
	3 Image Processing Tools
	4 Results
	5 Conclusion
	References
Directional Properties of Semi-aggregation Functions
	1 Introduction and Preliminaries
	2 Directionally Monotone Functions
	3 Directionally Shift-Invariant Functions
	4 Concluding Remarks
	References
Generalized Phi-Transform of Aggregation Functions on Bounded Lattices
	1 Introduction
	2 Preliminaries
		2.1 Bounded Lattices
		2.2 Aggregation Functions
	3 The Construction Method upper A Subscript left angle bracket upper F comma bold c right angle bracketAlangleF,crangle on Bounded Lattices
	4 Conclusion
	References
Sugeno Integral for Atanassov Intuitionistic Fuzzy Sets
	1 Introduction
	2 Preliminaries
	3 mathcalLALF-Measure and Sugeno Integral
		3.1 Lower Sugeno Integral
		3.2 Upper Sugeno Integral
	4 Interpretation
	5 Conclusions
	References
Facilitating the Simulation of Domestic Energy Systems Through Linguistic Representations
	1 Introduction
	2 Homegrid Modeling
	3 Optimisation Through Constraint Satisfaction
	4 Experimental Results
	5 Conclusions
	References
Experiments with the Discrete Bacterial Memetic Evolutionary Algorithm for Solving the Cumulative Capacitated Vehicle Routing Problem
	1 Introduction
		1.1 The Cumulative Capacitated Vehicle Routing Problem (CCVRP)
		1.2 Our Previous Work
	2 Our Method
	3 Computational Results
	4 Conclusions
	References
Fuzzy Inference System-like Aggregation Operator for Fuzzy Signatures
	1 Introduction
	2 Fuzzy Inference System-like Aggregations Operator (FISAO)
	3 An Experimental Application of FISAO
	4 Conclusion and Future Work
	References
Context of a Local Congruence Concept Reduction
	1 Introduction
	2 Preliminaries
	3 Context Modification from a Local Congruence Reduction
	4 Conclusions and Future Work
	References
One-sided Concept Lattices by Blocks
	1 Introduction
	2 Preliminaries
		2.1 One-Sided Concept Lattices
		2.2 alphaα-Blocks on Tolerance Relations
	3 One-Sided Concept Lattices by Means of Blocks
	4 Conclusions
	References
From Fuzzy Partitions to Riemannian Manifolds
	1 Introduction
		1.1 How to Assign an Inner Product?
	2 Fuzzy Set and Its Tangent Space
		2.1 Associated Inner Product and the Kernel Trick
		2.2 Associated Feature Space
	3 Fuzzy Partition and Related Riemannian Manifold
	4 Conclusions
	References
Discrete Universal Fuzzy Integrals
	1 Introduction and Preliminaries
	2 Discrete Fuzzy Integrals Based on Aggregation Functions
	3 Some Particular Discrete Fuzzy Integrals
	4 Concluding Remarks
	References
Energy Determined Membership Function of Viscoelastic Models
	1 Introduction
	2 Rheology and Thermodynamics
		2.1 Stress and Strain in Mechanics and in Rheology
		2.2 Dissipation of Energy of Viscoelastic Materials Subjected to a Mechanical Load
	3 Viscolelasticity, Loading and Energy
	4 Fluidity and V-membership Function
	5 Computer Analogy
	6 Conclusion
	References
Advances in Forgery Detection of Driving Licences Using Truthfulness Degrees
	1 Introduction
	2 Degree of Truthfulness
	3 Real Cases
		3.1 French Driving Licences
		3.2 Italian Driving Licences
	4 Conclusions and Future Work
	References
A Formal Method for Driver Identification
	1 Introduction
	2 Attribute Implications in FCA
	3 Driver Identification Methodology
	4 Conclusions and Future Work
	References
Analysis and Identification of Forensic Events Using Non-parametric Density Estimation
	1 Introduction
	2 Data Set
		2.1 Input Characteristics
		2.2 Data Processing
	3 Kernel Density Estimator
	4 Identification of the Assaults with KDE
	5 Conclusions
	References
Fuzzy Signature Based Model in Material Handling Management
	1 Introduction
	2 Theoretical Background
		2.1 Linear Programming
		2.2 Fuzzy Signatures
	3 Fuzzy Signature Based Job Shop Scheduling Model
		3.1 Input Parameters and Their Correlations
		3.2 Fuzzy Signature Basing on Expert Knowledge
	4 Experimental Results
		4.1 Numerical Example
		4.2 Comparison with LP Models
	5 Conclusion and Future Work
	References
On Choquet Integral in Ranking Crimes
	1 Introduction
	2 Preliminary Notions
	3 On Determining Fuzzy Measure
	4 Model for the Automatic Ranking of Data
	5 Experimental Example: Bilbao Crime Dataset
	6 Conclusions and Future Work
	References
The Effects of Knowledge Extraction Approaches on Cryptanalysis Studies and Analysis of the Success of Chaos-Based Countermeasures
	1 Introduction
	2 Knowledge Extraction and Cryptanalysis
	3 Countermeasures Based on Chaotic Masks
	4 Experimental Setup
	5 Analysis Results and Discussions
	6 Conclusions
	References