Dissertation > Excellent graduate degree dissertation topics show

The Study of Approximate Reasoning in Lattice-Valued Logic Based on Lattice Implication Algebra

Author: ZhouPing
Tutor: XuYang
School: Southwest Jiaotong University
Course: Traffic Information Engineering \u0026 Control
Keywords: lattice-valued propositional logic system lattice-valued first-order logic system approximate reasoning generalized quantifier
CLC: TP18
Type: PhD thesis
Year: 2007
Downloads: 129
Quote: 2
Read: Download Dissertation

Abstract


Human intelligence actions are always involved with acquiring, refining, judgment, reasoning and decision-making about uncertainty information. Uncertainty reasoning plays the key role in the intelligence activities of humankind. It is also the important subject of computer science and artificial intelligence technology. After Zadeh’s fuzzy reasoning method proposed, so many uncertainty reasoning methods and theories are proposed. Naturally, the multi-valued logic and fuzzy logic become the foundation of uncertainty reasoning. They are expanding of classical logic whose valuation field from two-valued to multi-valued or Infinitive valued. But they can only deal with the order or comparability information with their linear-valued field. The lattice is a kind of important algebraic structure. Many non-comparability phenomena can be described by lattice in real word. Lattice-valued logic which valuation field is lattice can deal with not only order information but also non-order information. Therefore, it can deal with the reasoning of comparability and non comparability information. Xu Yang proposed the Lattice Implication Algebra, and put the logic on it, such as LP(X), LF(X), Lvpl and Lvfl.Based on lattice-valued propositional logic systems LP(X), Lvpl and lattice-valued first-order logic systems LF(X), Lvfl, the author studied the rules of uncertainty reasoning, the uncertainty reasoning with generalized quantifier, and probed syntax properties andα-resolution principle. The main specific contents are as follow1. We proved the reasoning rules of FMP, FMT and their restoration theorems in the lattice-valued propositional logics and lattice-valued first-order logics.2. We gave the definition of generalized quantifier in the lattice-valued first-order logic LF(X) and Lvfl. We also gave the inclusion relation, union and product operation of generalized quantifiers and proved reasoning results with them.3. We gave the extended definition of closed L-type fuzzy set with the generalized quantifier in lattice-valued first-order logic LF(X). We studied syntax and also proved the soundness theorem and weak completion theorem with generalized quantifier.4. We gave the definition of generalized quantifier prenex stander form , generalized-Skolem standard form and H-interpretation, and proved the Herbrand theorem which was theoretic prepare ofα-resolution with generalized quantifier in LF(X).

Related Dissertations

  1. Generalized Quantifier Theory for Natural Language Determinative of Research,B812
  2. Research on Approximate Reasoning and Multi-attribute Decision-making Based on Intuitionistic-interval-valued Fuzzy Theory,O159
  3. \,R222
  4. The quantitative logic randomized research,O141.1
  5. Study on Runoff Forecasting Methods Based on Variable Fuzzy Set Theory,TV124
  6. Similarity Degree, Pseudo-metric and Approximate Reasoning in Propositional Logic System,O141.1
  7. A Method of Affective Annotation for Image Based on Fuzzy Approximate Reasoning,TP391.41
  8. TCM Clinical Training system analysis based on the case intelligent design,R319
  9. Evaluation of Power Supply Capability in Distribution Networks Based on Fuzzy Reasoning,TM72
  10. Research and Application of Intelligent Processing Information System in Wheat,TP274.2
  11. Theories of Truth Degrees and Approximate Reasoning in a class of n - valued Prepositional Logics,O141
  12. A Research on Learning Weights of Fuzzy Production Rules Based on Maximum Fuzzy Entropy,TP18
  13. A Three-dimsension Expression of Vague Set and Research,O159
  14. Comprehensive Expert System Based on ASP Technology for Plant Management,TP182
  15. Propositional logic formula Γ implies the truth degrees and the relative Γ- tautology Degree of,O141.1
  16. Small and Medium Private Enterprises Research on Human Resource Recruitment,F276.5
  17. Knowledge Representation and Processing Based on Infinite-Valued Model of Medium Logic,TP182
  18. The Research on Approximate Inference Algorithm for Dynamic Bayesian Networks,TP183
  19. Research of Urban Fire Risk Assessment Based on Fuzz Information Optimization Method,X932
  20. Research and Application of Fuzzy Expert System Based on Vague Sets,TP18

CLC: > Industrial Technology > Automation technology,computer technology > Automated basic theory > Artificial intelligence theory
© 2012 www.DissertationTopic.Net  Mobile