Paper Search Console

Home Search Page About Contact

Journal Title

Title of Journal: Soft Comput

Search In Journal Title:

Abbravation: Soft Computing

Search In Journal Abbravation:

Publisher

Springer-Verlag

Search In Publisher:

ISSN

1433-7479

Search In ISSN:
Search In Title Of Papers:

General form of Emphasis Type="Italic"α/Emphasi

Authors: Xiaomei Zhong Yang Xu Jun Liu Shuwei Chen
Publish Date: 2012/06/29
Volume: 16, Issue: 10, Pages: 1767-1781
PDF Link

Abstract

This paper is focused on resolutionbased automated reasoning theory in linguistic truthvalued latticevalued logic based on linguistic truthvalued lattice implication algebra Concretely the general form of αresolution principle based on the above latticevalued logic is equivalently transformed into another simpler latticevalued logic system Firstly the general form of αresolution principle for latticevalued propositional logic fancyscriptL n times fancyscriptL 2textPX is equivalently transformed into that for latticevalued propositional logic fancyscriptL n PX A similar conclusion is obtained between the general form of αresolution principle for linguistic truthvalued latticevalued propositional logic fancyscriptL Vn times 2PX and that for latticevalued propositional logic fancyscriptL Vn PX Secondly the general form of αresolution principle for latticevalued firstorder logic fancyscriptL n times fancyscriptL 2 FX is equivalently transformed into that for fancyscriptL n PX Similarly this conclusion also holds for linguistic truthvalued latticevalued firstorder fancyscriptL Vn times 2 FX and fancyscriptL Vn PX The presented work provides a key theoretical support for automated reasoning approaches and algorithms in linguistic truthvalued logic which can further support linguistic information processing for decision making ie reasoning with wordsThis work is partially supported by the National Natural Science Foundation of P R China Grant No 60875034 61175055 61100046 the project TIN20090828 Sichuan Key Technology Research and Development Program of China Grant No 2011FZ0051 and Wireless Administration of Ministry of Industry and Information Technology of China 2011146

Keywords:

References

.
Search In Abstract Of Papers:
Other Papers In This Journal:
  1. Structure optimization of neural networks for evolutionary design optimization
  2. Sheaf representations of BL-algebras
  3. Flexible neural trees based early stage identification for IP traffic
  4. Rule acquisition and attribute reduction in real decision formal contexts
  5. An evaluation of non-redundant objective sets based on the spatial similarity ratio
  6. An approach to efficient business intelligent system for financial prediction
  7. Multi-Objective Optimization using Grid Computing
  8. Group decision-making procedure based on incomplete reciprocal relations
  9. An evolutionary algorithm to discover quantitative association rules in multidimensional time series
  10. Neighborhood field for cooperative optimization
  11. The equivalence between fuzzy Mealy and fuzzy Moore machines
  12. Computational evaluation of a MIP model for multi-port stowage planning problems
  13. A multiobjective discrete cuckoo search algorithm for community detection in dynamic networks
  14. Metric learning with geometric mean for similarities measurement
  15. Fuzzy adaptive genetic algorithms: design, taxonomy, and future directions
  16. Generalized fuzzy filters of R 0 -algebras
  17. Robust intelligent backstepping tracking control for wheeled inverted pendulum
  18. Minimax mean-variance models for fuzzy portfolio selection
  19. Selection of laser bending process parameters for maximal deformation angle through neural network and teaching–learning-based optimization algorithm
  20. A hill-jump algorithm of Hopfield neural network for shortest path problem in communication network
  21. Self-configuration single particle optimizer for DNA sequence compression
  22. Rough set feature extraction by remarkable degrees with real world decision-making problems
  23. Characterizations of two kinds of hemirings based on probability spaces
  24. An analytical solution to the TOPSIS model with interval type-2 fuzzy sets
  25. On investigation of interdependence between sub-problems of the Travelling Thief Problem
  26. Uncertain regression analysis: an approach for imprecise observations
  27. Particle swarm optimization-based feature selection in sentiment classification
  28. An approach to fuzzy default reasoning for function approximation
  29. A fuzzy interval analysis approach to kriging with ill-known variogram and data
  30. Topology optimization of compliant structures and mechanisms using constructive solid geometry for 2-d and 3-d applications
  31. Comparison of methods for developing dynamic reduced models for design optimization
  32. Similarity recognition using context-based pattern for cyber-society
  33. An extension of a fuzzy reputation agent trust model (AFRAS) in the ART testbed
  34. A robust algorithm of support vector regression with a trimmed Huber loss function in the primal
  35. On soft weak structures
  36. A memetic algorithm for the cyclic antibandwidth maximization problem
  37. Integration of classifier diversity measures for feature selection-based classifier ensemble reduction
  38. An evolutionary algorithm using spherical inversions
  39. Variational learning of hierarchical infinite generalized Dirichlet mixture models and applications
  40. ATAC4Cloud: a framework for modeling and simulating autonomic cloud
  41. Related Fritz Carlson type inequalities for Sugeno integrals
  42. Cultural algorithms: a Tabu search approach for the optimization of engineering design problems
  43. A special issue on decision intelligence with soft computing
  44. Fuzzy characterization of spike synchrony in parallel spike trains
  45. Minimal attribute reduction with rough set based on compactness discernibility information tree
  46. A hybrid approach of dimension partition and velocity control to enhance performance of particle swarm optimization
  47. Scenario Violation in Nursing Activities: Nursing Risk Management from the Viewpoint of Chance Discovery
  48. Nearest neighbor search with locally weighted linear regression for heartbeat classification
  49. Improving the multiobjective evolutionary algorithm based on decomposition with new penalty schemes
  50. An improved back propagation algorithm topredict episodes of poor air quality
  51. An algorithmic analysis of DNA structure
Search Result: