Rating 

Title 
Quantitative Logic and Soft Computing : proceedings of the QL&SC 2012, Xi'an, China, 12  15 May 2012 
Creator 
International Conference on Quantitative Logic and Soft Computing (2012 : Xi'an, China) 
Contributors 
Wang, Guojun, Prof. Zhao, Bin. Li, Yongming. World Scientific (Firm) 
DescriptionAbstract 
The QL&SC 2012 is a major symposium for scientists, and practitioners all around the world to present their latest researches, results, ideas, developments and applications in such areas as quantitative logic, manyvalued logic, fuzzy logic, quantification of software, artificial intelligence, fuzzy sets and systems and soft computing. This invaluable book provides a broad introduction to the fuzzy reasoning and soft computing. It is certain one should not go too far in approximation and optimization, and a certain degree must be kept in mind. This is the essential idea of quantitative logic and soft computing. The explanations in the book are complete to provide the necessary background material needed to go further into the subject and explore the research literature. It is suitable reading for graduate students. It provides a platform for mutual exchanges from top experts and scholars around the world in this field. 
DescriptionTable Of Contents 
Weighted automata and quantitative logics / M. Droste  On the role of [symbol]groups and Pogroups for algebraic and quantum structures / A. Dvurecenskij  Personalised recommender systems for ebusiness intelligence with soft computing / J. Lu  Types of bipolarity and bipolar structures / J. Montero ... [et al.]  Granular logic systems and their development in the setting of granular fuzzy relational equations / W. Pedrycz  An axiomatic method for evaluating goodness of closed predicate propositions containing no function letters / G.J. Wang  Intelligent learning systems for soft information / R. R. Yager  Semantic resolution principle in propositional valuation algebra / B. H. Han and X. N. Li  Logical properties of the system L[symbol] and their applications / L. Zhang and D. W. Pei  Continuity of fuzzy peasoning in several metrics / S. S. Dai, D. W. Pei and L. Li  Falsity accumulation theory in multivalued Godel logic system / X. J. Hui  The affine transformation in quantitative logic / Q. P. Wang and G.J. Wang  Accuracy and roughness measures for formulae in rough logic / Y. H. She and X. L. He  Manyvalued modal logic metric spaces based on frames / H. X. Shi and G.J. Wang  Riecan and Bosbach states on Glivenko residuated lattices / H.J. Zhou  Matching functionbased fully implicational methods for fuzzy reasoning / H. W. Liu and P. J. Xue  Fuzzy preunivex functions / L. F. Li, S. Y. Liu and J. K. Zhang  Sunstructiral fuzzy logics with Ncontraction / S. M. Wang  The semantics theory for multivalued reasoning about knowledge / L. N. Ma and S. Liu  The probabilitytruth degree of uncertain propositional formula / X. F. Zhang and G. W. Meng  The approximate reduction in manyvalued propositional logic systema L[symbol] / P. Yu  Cirquent calculus system CL8S versus calculus of structures systems SKSG for propositional logic / W. Y. Xu and S. Y. Liu  Truth degree of formulas and state theory / D. W. Pei, L. Li and L. L. Xie  Theory of [symbol]fuzzy truth degree relative to finite theory in logic system R[symbol] / G. N. Xu and Y. M. Li  Truth degree and nearness on fuzzy sets based on Lukasiewicz implication / D.X. Zhang and S.L. Chen  The classical symmetrical logic metric subspace / M. D. Hu  Generalized Rcalculus / Q.Y. He, J. Ding and L.S. Xu  Universal triple I method and its application to textual emotion polarity recognition / Y. M. Tang, F. J. Ren and Y. X. Chen  A quantitative relation model between trustworthy attributes / H. W. Tao and Y. X. Chen  Bisimilarity for fuzzy doubly labeled transition systems / H. Y. Pan, M. Zhang and Y. X. Chen  Fuzzy random expected value model based multiobjective optimization routing for wireless sensor networks / J. L. Lu and X. M. Wang. ; 8 The partial correctness semantics of imperative fuzzy programming language / H. Y. Wu and Y. X. Chen  Two variant OWA operators based on Tnorms / H. Z Liu, D. W. Pei and L. L. Xie  On the average distance and Wiener index of Cartesian product networks / F. Li, Z. B. Xu and H. X. Zhao  An ideal multisecret sharing scheme based on MSP / Z. Hei, Z.H. Li and X.X. Wu  Infinite evolution mechanism of [symbol]bisimilarity / Y. F. Ma, M. Zhang and L. Chen  CMPR: costaware multipath routing algorithm for mobile wireless sensor networks / D. Liu, X. M. Wang and J. L. Lu  Discrimination of quantum states by local operation and classical commutation / L. Y. Ren and J. Lu  Solution sets of fuzzy relation equations in complete Brouwerian lattices / X. B. Qu, M. H. Lei and X. P. Wang  Fuzzy hybrid MKNF knowledge bases for the semantic web / S. S. Huang and Q. G. Li  Modelchecking of lineartime properties in possibilistic Kripke structure / L. J. Li and Y. M. Li  Possibilistic Kripke structure decision processes / Y. Xue, H. X. Lei and Y. M. Li  The representation of semiringbased constraint satisfaction problems using fuzzy finite automata / Y. M. Li  On reversible fuzzy automata / L. Li and Y. M. Li  The representation of the universal fuzzy automaton / Q. Wang and Y. M. Li  Dynamical analysis of BAM neural networks with continuously distributed delays / C. Chen and Z. K. Huang  Intuitionistic fuzzy pushdown automata / X. Wang  Existence results for impulsive BAM networks on time scales / S. S. Xie and Z. K. Huang  Properties of the reversal of weighted finite automata over strong bimonoids based on different semantics / P. Li and S. L. Geng  An improved bacteria foraging optimization algorithm based on intuitionistic fuzzy set for clustering PPI networks / S. Wu, X. J. Lei and J. F. Tian  Formal verification of a solution for green computing / L. H. Lei  State succinctness of twoway finite automata with quantum and classical states / S. G. Zheng, D. W. Qiu and L. Z. Li  A robust partially supervised clustering algorithms with dot density weights of labeled data for image segmentation / W. Li ... [et al.]  An adaptive fuzzy rulebased color image segmentation algorithm / S. Y. Wu ... [et al.]  Point density weighted Kmeans algorithm for remote sensing image classifying / B.K. Guo ... [et al.]  Concatenation and Kleene Star on deterministic finite automata / G.Q. Zhang ... [et al.]  A generalized nonpumping lemma for regular languages / L. C. Cui and G.Q. Zhang  Semiautomata and near rings / S. F. You, M. Cao and Y. J. Feng  An approach to MScott topology / Y. P. Wei, L. X. Lu and W. Yao  Closure operators in topologies, simple matroids and rough sets / S. Feng ... [et al.]  Filters in stone BL algebras / Q. J. Luo and G.J. Wang. ; 8 On the existence of states on residuated lattices / L. Z. Liu  Falling fuzzy filters of MTLalgebras / J. M. Zhan  Approximations in multilattices / Q. G. Li and J. Hao  Level soft sets based on fuzzy sets / F. Feng, Y. M. Li and H. X. Lei  Various [symbol]IVfuzzy filters in FIalgebras / C. H. Liu  Countable precompactness of Lfuzzy sets / S. Z. Bai and W. M. He  A remark on fuzzy subsets of ordered semigroup / S. W. Han and B. Zhao  Fuzzy domains and a classification theorem / K. Y. Wang and B. Zhao  A note on completeness of Lpartially ordered sets / M. Liu, K. Y. Wang and B. Zhao  Fuzzy EQfilters of EQalgebras / Z. M. Ma and B. Q. Hu  The hyperspace of the regions below latticevalue continuous maps / L. L. Zhang  One research of soft lattices / G. M. Lang and Q. G. Li  Generating left semiuninorms and implications on a complete lattice / Y. Su and Z. D. Wang  Principal congruences and kernel ideals of symmetric extended de Morgan algebras / C. W. Luo and M. Xie  On the monotonicity of the fuzzy systems based upon genuine manyvalued implicationsSISO cases / F. Qin and D. F. Wang  A generalization of Dilworth's principal elements / D. S. Zhao and Y. T. Nai  Residuated lattices as extensions of elementary algebraic structures / I. Perfilieva  Distance and similarity measures between intuitionistic fuzzy sets / M. C. Zheng and Z. K. Shi  Construction quantaloids from quantales / H. L. Lai and D. X. Zhang  The unitizations of pseudoeffect algebras / Y. J. Xie and D. C. Li  A topological position of the set of strongly discontinuous maps in the set of upper semicontinuous maps / H. B. Yang and L. Yang  On fuzzy soft set relations / H.L. Yang  O[symbol]convergence in posets / Y. H. Zhou and J. Ma  Soft quantales / Z.L. Guo and H.L. Yang  Notes on discrete fuzzy numbers / T. H. Fan  Statistical extensions of statistical default logic / L. Fu  The exocenter of a generalized pseudoeffect algebra / S. Pulmannova  The [symbol]regular separation axiom in L[symbol]spaces / J. L. Xie, S. L. Chen and G. D. Li  Based on modified quaternion Zernike moments for sea ship target recognition / P. Cheng, S. L. Chen and Y. D. Wu  Intermediate quantifiers, natural language and human reasoning / V. Novak and P. Muriova  Intervals on weakly ordered partial commutative groups of linear operators / J. Janda. 
Publisher 
World Scientific Pub. Co. 
Subject 
Soft computing  Congresses. Intelligent control systems  Congresses. Logic programming  Congresses. 
Identifier (Full text) 
http://www.worldscientific.com/worldscibooks/10.1142/8450#t=toc 
ISBN 
9789814401531 (electronic bk.) ; 9814401528 ; 9789814401524 
Language 
eng 
Type 
Text 
FormatExtent 
xvii, 705 p. : ill. (some col.) 
Date 
c2012. 
RelationIs Part Of 
World Scientific proceedings series on computer engineering and information science v. 5 
OCLC number 
874498452 
CONTENTdm number 
2280 