Screen LibraryQuantitative Logic and Soft Computing : proceedings of the QL&SC 2012, Xi'an, China, 12 - 15 May 2012 /
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, many-valued logic, fuzzy logic, quantification of software, artificial intelligence, f...
Saved in:
| Corporate Authors: | ; |
|---|---|
| Group Author: | ; ; |
| Published: |
World Scientific Pub. Co.,
|
| Publisher Address: | Singapore ; Hackensack, N.J. : |
| Publication Dates: | 2012. |
| Literature type: | eBook |
| Language: | English |
| Series: |
World Scientific proceedings series on computer engineering and information science ;
v. 5 |
| Subjects: | |
| Online Access: |
http://www.worldscientific.com/worldscibooks/10.1142/8450#t=toc |
| Summary: |
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, many-valued 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. |
| Carrier Form: | 1 online resource (xvii,705pages) : illustrations (some color). |
| Bibliography: | Includes bibliographical references and index. |
| ISBN: | 9789814401531 (electronic bk.) |
| CLC: | TP18-532 |
| Contents: |
Weighted automata and quantitative logics / M. Droste -- On the role of [symbol]-groups and Po-groups for algebraic and quantum structures / A. Dvurecenskij -- Personalised recommender systems for e-business 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 multi-valued 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 -- Many-valued 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 function-based 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 N-contraction / S. M. Wang -- The semantics theory for multi-valued reasoning about knowledge / L. N. Ma and S. Liu -- The probability-truth degree of uncertain propositional formula / X. F. Zhang and G. W. Meng -- The approximate reduction in many-valued 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 sub-space / M. D. Hu -- Generalized R-calculus / 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 multi-objective optimization routing for wireless sensor networks / J. L. Lu and X. M. Wang. The partial correctness semantics of imperative fuzzy programming language / H. Y. Wu and Y. X. Chen -- Two variant OWA operators based on T-norms / 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 multi-secret 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: cost-aware 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 -- Model-checking of linear-time 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 semiring-based 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 push-down 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 two-way 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 rule-based color image segmentation algorithm / S. Y. Wu ... [et al.] -- Point density weighted K-means 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 non-pumping 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 M-Scott 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. On the existence of states on residuated lattices / L. Z. Liu -- Falling fuzzy filters of MTL-algebras / 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]-IV-fuzzy filters in FI-algebras / C. H. Liu -- Countable pre-compactness of L-fuzzy 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 L-partially ordered sets / M. Liu, K. Y. Wang and B. Zhao -- Fuzzy EQ-filters of EQ-algebras / Z. M. Ma and B. Q. Hu -- The hyperspace of the regions below lattice-value continuous maps / L. L. Zhang -- One research of soft lattices / G. M. Lang and Q. G. Li -- Generating left semi-uninorms 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 many-valued implications-SISO 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 pseudo-effect algebras / Y. J. Xie and D. C. Li -- A topological position of the set of strongly discontinuous maps in the set of upper semi-continuous 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. |