Fuzzy Reasoning Based on First-Order Modal Logic
| Autor: | Zhisheng Huang, Xiaoru Zhang, Zaiyue Zhang, Yuefei Sui |
|---|---|
| Rok vydání: | 2009 |
| Předmět: |
Theoretical computer science
Fuzzy classification Deductive reasoning Neuro-fuzzy Fuzzy Control Language Computer science Fuzzy subalgebra Semantics Type-2 fuzzy sets and systems Defuzzification Fuzzy logic Computer Science::Logic in Computer Science Fuzzy number Fuzzy associative matrix Automated reasoning Non-monotonic logic computer.programming_language Soundness Adaptive neuro fuzzy inference system Reasoning system Multimodal logic Modal logic Fuzzy control system Formal system Fuzzy mathematics Fuzzy set operations T-norm fuzzy logics computer Software |
| Zdroj: | Journal of Software. 19:3170-3178 |
| ISSN: | 1000-9825 |
| DOI: | 10.3724/sp.j.1001.2008.03170 |
| Popis: | As an extension of traditional modal logics, this paper proposes a fuzzy first-order modal logic based on believable degree, and gives out a description of the fuzzy first-order modal logic based on constant domain semantics. In order to make the reasoning procedure between the fuzzy assertions efficiently, the notion of the fuzzy constraint is considered. A fuzzy constraint is an expression in which both syntax ingredient and semantics information are contained. By using the notion of the constraint, the reasoning procedure between the fuzzy assertions can be directly considered in the semantics environment, thus a fuzzy reasoning formal system which contains fuzzy constraint as its basic element is developed. As a main work of the paper, the relationship between the validity of the new assertion and the satisfiability of the fuzzy constraints is analyzed, and reasoning rules of the fuzzy reasoning formal system based on first order modal logic are given out. Further work could be done by considering the soundness and completeness of the formal system, and by building an efficient mechanism of reasoning procedure. The results have potential application in the areas of artificial intelligence and computer science. © 2008 by Journal of Software. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|