Quantitative Logic and Soft Computing 2010: Volume 2

Front Matter....Pages -
Learning Structure of Human Behavior Patterns in a Smart Home System....Pages 1-15
Modeling the Degree of Truthfulness....Pages 17-38
A Nonlinear Integral Which Generalizes Both the Choquet and the Sugeno Integral....Pages 39-52
On Virtues of Many-Valued (Fuzzy) Type Theories....Pages 53-69
Semilinear Space, Galois Connections and Fuzzy Relation Equations....Pages 71-79
Quantitative Logic: A Quantitative Approach to Many-Valued Logics....Pages 81-91
 D -Completions of Net Convergence Structures....Pages 93-110
Modal R 0 -Algebra-Valued Modal Logic System M $\\mathcal{L}$ *....Pages 111-120
Deduction Theorem for Symmetric Cirquent Calculus....Pages 121-126
Equilateral Polygons in Classical Logic Metric Space....Pages 127-134
Reflexive Transformation in L * -Logic Metric Space....Pages 135-144
A Quantitative Analysis of Rough Logic....Pages 145-156
Applying Association Rules to ε -Reduction of Finite Theory in Two-Valued Propositional Logic....Pages 157-165
A Family I LΠGN(q,p) of Implication Operators and Triple I Methods Based on It....Pages 167-175
The Properties of Normal R_0 Algebras....Pages 177-185
A Splitting Algorithm Based on Soft Constraints for the Computation of Truth Degree in Quantitative Logic....Pages 187-198
Some Remarks on a Few Approximate Reasoning Patterns....Pages 199-206
The Interval-Valued Truth Degree Theory of the Modal Formulas....Pages 207-214
T-Seminorms and Implications on a Complete Lattice....Pages 215-225
Reversibility of Triple I Method Based on Łukasiewicz and Goguen Implication....Pages 227-232
Random Truth Theory of Proposition Logic and Its Application....Pages 233-244
Soft Set Based Approximate Reasoning: A Quantitative Logic Approach....Pages 245-255
Left(Right)-Continuity of t-Norms on the Metric Lattice....Pages 257-261
Predicate Formal System $\\forall\\mathcal{UL}_{h\\in (0,1]}^{\\triangle }$ and Its Completeness....Pages 263-272
The Degree of the Quasi-similarity and the Pseudo-metric between Predicate Formulae....Pages 273-283
Conditional Truth Degree of a Logic Theory in Two-Valued Propositional Logic System and Its Application....Pages 285-296
 PIMP -Filters of R 0 -Algebras....Pages 297-302
Quantitative Logic Theory in Gödel System....Pages 303-309
Finite Topological Models of Modal Logic Systems S4 and S5....Pages 311-319
Researches on (n) Truth Degrees in Modal Logic....Pages 321-330
Lattice-Valued Truth Degree in Łukasiewicz Propositional Fuzzy Logic....Pages 331-337
Decomposition Theorems and Representation Theorems on the IVIFS....Pages 339-349
Approximation of Fuzzy Neural Networks to Fuzzy-Valued Measurable Function....Pages 351-358
Fuzzy Divergences Based on Tsallis Relative Entropy....Pages 359-368
Strong-II N β -Compactness in L -Topological Spaces....Pages 369-374
Some Notes on K-Harmonic Means Clustering Algorithm....Pages 375-384
On Fuzzy Prime Filters of Lattice H Implication Algebras....Pages 385-393
Numerical Characteristics of Intuitionistic Fuzzy Sets....Pages 395-404
The Study of Time Division Scheduling Mechanisms for Zigbee Cluster-Tree Wireless Sensor Networks....Pages 405-411
Discovery of S-Rough Decision Law and Its Relation Metric....Pages 413-424
On ⊙-Ideals and Lattices of ⊙-Ideals in Regular Residuated Lattices....Pages 425-434
A Fuzzy System with Its Applications Based on MISS....Pages 435-445
Particle Swarm Optimization of T-S Fuzzy Model....Pages 447-452
Inverse Limits of Category CL....Pages 453-458
Relative Density Weights Based Fuzzy C-Means Clustering Algorithms....Pages 459-466
A Generalization of the Lowen Functor ω L ....Pages 467-471
Remote Sensing Image Classification Based on Fuzzy Entropy Triple I Algorithm....Pages 473-482
Formalized Solutions for Reverse Triple-I under Theory of Truth Degree....Pages 483-490
Properties of L -Extremally Disconnected Spaces....Pages 491-498
Fuzzy Cluster Analysis of Regional City Multi-level Logistics Distribution Center Location Plan....Pages 499-508
The Establishment and Reliability Analysis of the Majorized Model of a Kind of Fuzzy Multidimensional Synthetical Decision....Pages 509-517
 ωθ -Countability in an Lω -Space....Pages 519-526
Using Two-Level Fuzzy Pattern Recognition in the Classification of Convex Quadrilateral....Pages 527-534
Moore-Smith ωθ -Convergence Theory in ω -Molecular Lattices....Pages 535-543
Some Properties about Lω -Quotient Spaces and Lω -Product Spaces....Pages 545-552
Self-adaptive Fuzzy PID Controller for Airborne Three-Axis Pan-Tilt....Pages 553-559
 ω -Convergence Theory of Filters in ω -Molecular Lattices....Pages 561-568
The Structures and Constructions of Power Group....Pages 569-579
P-Sets and Applications of Internal-Outer Data Circle....Pages 581-591
Convergent Properties of Arbitrary Order Neural Networks....Pages 593-601
Analyzing and Predicting Interannual Variability in Nearshore Topographic Field on Large Scales by EOF and ANN....Pages 603-612
 f -Model Generated by P -Set....Pages 613-620
Mining Fuzzy Association Rules by Using Nonlinear Particle Swarm Optimization....Pages 621-630
On $(\\bar\\in,\\bar\\in\\vee \\bar q)$ -Fuzzy Filters of Residuated Lattices....Pages 631-640
On the Interpolation by Entire Function of the Exponential Type....Pages 641-649
A Multi-objective Algorithm Based on Discrete PSO for VLSI Partitioning Problem....Pages 651-660
Generation and Recovery of Compressed Data and Redundant Data....Pages 661-671
On the Decomposition of Distribution Function by Using Hausdorff Calculus....Pages 673-681
A New Artificial Glowworm Swarm Optimization Algorithm Based on Chaos Method....Pages 683-693
Another Metric Model for Trustworthiness of Softwares Based on Partition....Pages 695-705
Multi-random Relation and Its Applications....Pages 707-714
An Algorithm of Context Rules Generation Based on Virtual Environment....Pages 715-726
A Classification Method of Grassland and Trees in Remote Sensing Image....Pages 727-734
 P -Set and Its $(f,\\bar f)$ -Heredity....Pages 735-743
Notes on Two-Sided Quantales....Pages 745-753
Counting the Solutions of a System of Equations over Finite Field is NP-Hard....Pages 755-759
The Stability of BAM Networks with Delayed Self-feedback and Impulses....Pages 761-769
The Selection and Rational Evaluation of Surface Mining Technology System....Pages 771-778
The Blow-Up of Discrete Solution for NLS Equation with Potential....Pages 779-789
 P -Sets and $\\bar{F}$ -Data Selection-Discovery....Pages 791-799
AI-VCR Addition Computing without Overflowing....Pages 801-810
A New Face Recognition Algorithm Based on DCT and LBP....Pages 811-818
An Building Edge Detection Method Using Fuzzy SVM....Pages 819-826
Back Matter....Pages -