Quantitative Logic and Soft Computing Vol 2

Admittedly, the notion “intelligence or intelligent computing” has been around us for several decades, implicitly indicating any non-conventional methods of solving complex system problems such as expert systems and intelligent control techniques that mimic human skill and replace human operators for automation. Various kinds of intelligent methods have been suggested, phenomenological or ontological, and we have been witnessing quite successful applications. On the other hand, “Soft Computing Techniques” is the concept coined by Lot? Zadeh, referring to “a set of approaches of computing which parallels the remarkable ability of the human mind to reason and learn in an environment of uncertainty, imprecision and partial truth. ” Such a notion is well contrasted with the conventionalbinary logic based hard c- puting and has been effectively utilized with the guiding principle of “exploiting the tolerance for uncertainty,imprecision and partial truth to achieve tractability, - bustness and low solution cost. ” The soft computing techniques are often employed as the technical entities in a tool box with tools being FL, ANN, Rough Set, GA etc. Based on one’s intuition and experience, an engineer can build and realize hum- like systems by smartly mixing proper technical tools effectivelyand ef?ciently in a wide range of ?elds. For some time, the soft computing techniques are also referred to as intelligent computing tools.

Keynote Speakers.- Learning Structure of Human Behavior Patterns in a Smart Home System.- Modeling the Degree of Truthfulness.- A Nonlinear Integral Which Generalizes Both the Choquet and the Sugeno Integral.- On Virtues of Many-Valued (Fuzzy) Type Theories.- Semilinear Space, Galois Connections and Fuzzy Relation Equations.- Quantitative Logic: A Quantitative Approach to Many-Valued Logics.- D-Completions of Net Convergence Structures.- Quantitative Logic.- Modal R 0-Algebra-Valued Modal Logic System M *.- Deduction Theorem for Symmetric Cirquent Calculus.- Equilateral Polygons in Classical Logic Metric Space.- Reflexive Transformation in L *-Logic Metric Space.- A Quantitative Analysis of Rough Logic.- Applying Association Rules to ?-Reduction of Finite Theory in Two-Valued Propositional Logic.- A Family I L?GN(q,p) of Implication Operators and Triple I Methods Based on It.- The Properties of Normal R_0 Algebras.- A Splitting Algorithm Based on Soft Constraints for the Computation of Truth Degree in Quantitative Logic.- Some Remarks on a Few Approximate Reasoning Patterns.- The Interval-Valued Truth Degree Theory of the Modal Formulas.- T-Seminorms and Implications on a Complete Lattice.- Reversibility of Triple I Method Based on ?ukasiewicz and Goguen Implication.- Random Truth Theory of Proposition Logic and Its Application.- Soft Set Based Approximate Reasoning: A Quantitative Logic Approach.- Left(Right)-Continuity of t-Norms on the Metric Lattice.- Predicate Formal System and Its Completeness.- The Degree of the Quasi-similarity and the Pseudo-metric between Predicate Formulae.- Conditional Truth Degree of a Logic Theory in Two-Valued Propositional Logic System and Its Application.- PIMP-Filters of R 0-Algebras.- Quantitative Logic Theory in Gödel System.- Finite Topological Models of Modal Logic Systems S4 and S5.- Researches on (n) Truth Degrees in Modal Logic.- Lattice-Valued Truth Degree in ?ukasiewicz Propositional Fuzzy Logic.- Fuzzy Sets and Systems.- Decomposition Theorems and Representation Theorems on the IVIFS.- Approximation of Fuzzy Neural Networks to Fuzzy-Valued Measurable Function.- Fuzzy Divergences Based on Tsallis Relative Entropy.- Strong-II N ? -Compactness in L-Topological Spaces.- Some Notes on K-Harmonic Means Clustering Algorithm.- On Fuzzy Prime Filters of Lattice H Implication Algebras.- Numerical Characteristics of Intuitionistic Fuzzy Sets.- The Study of Time Division Scheduling Mechanisms for Zigbee Cluster-Tree Wireless Sensor Networks.- Discovery of S-Rough Decision Law and Its Relation Metric.- On ?-Ideals and Lattices of ?-Ideals in Regular Residuated Lattices.- A Fuzzy System with Its Applications Based on MISS.- Particle Swarm Optimization of T-S Fuzzy Model.- Inverse Limits of Category CL.- Relative Density Weights Based Fuzzy C-Means Clustering Algorithms.- A Generalization of the Lowen Functor ? L .- Remote Sensing Image Classification Based on Fuzzy Entropy Triple I Algorithm.- Formalized Solutions for Reverse Triple-I under Theory of Truth Degree.- Properties of L-Extremally Disconnected Spaces.- Fuzzy Cluster Analysis of Regional City Multi-level Logistics Distribution Center Location Plan.- The Establishment and Reliability Analysis of the Majorized Model of a Kind of Fuzzy Multidimensional Synthetical Decision.- ??-Countability in an L?-Space.- Using Two-Level Fuzzy Pattern Recognition in the Classification of Convex Quadrilateral.- Moore-Smith ??-Convergence Theory in ?-Molecular Lattices.- Some Properties about L?-Quotient Spaces and L?-Product Spaces.- Self-adaptive Fuzzy PID Controller for Airborne Three-Axis Pan-Tilt.- ?-Convergence Theory of Filters in ?-Molecular Lattices.- Soft Computing.- The Structures and Constructions of Power Group.- P-Sets and Applications of Internal-Outer Data Circle.- Convergent Properties of Arbitrary Order Neural Networks.- Analyzing and Predicting Interannual Variability in Nearshore Topographic Field on Large Scales by EOF and ANN.- f-Model Generated by P-Set.- Mining Fuzzy Association Rules by Using Nonlinear Particle Swarm Optimization.- On -Fuzzy Filters of Residuated Lattices.- On the Interpolation by Entire Function of the Exponential Type.- A Multi-objective Algorithm Based on Discrete PSO for VLSI Partitioning Problem.- Generation and Recovery of Compressed Data and Redundant Data.- On the Decomposition of Distribution Function by Using Hausdorff Calculus.- A New Artificial Glowworm Swarm Optimization Algorithm Based on Chaos Method.- Another Metric Model for Trustworthiness of Softwares Based on Partition.- Multi-random Relation and Its Applications.- An Algorithm of Context Rules Generation Based on Virtual Environment.- A Classification Method of Grassland and Trees in Remote Sensing Image.- P-Set and Its -Heredity.- Notes on Two-Sided Quantales.- Counting the Solutions of a System of Equations over Finite Field is NP-Hard.- The Stability of BAM Networks with Delayed Self-feedback and Impulses.- The Selection and Rational Evaluation of Surface Mining Technology System.- The Blow-Up of Discrete Solution for NLS Equation with Potential.- P-Sets and -Data Selection-Discovery.- AI-VCR Addition Computing without Overflowing.- A New Face Recognition Algorithm Based on DCT and LBP.- An Building Edge Detection Method Using Fuzzy SVM.