Fuzzy Logic Programming and Fuzzy Control

@article{Gerla2005FuzzyLP,
  title={Fuzzy Logic Programming and Fuzzy Control},
  author={Giangiacomo Gerla},
  journal={Studia Logica},
  year={2005},
  volume={79},
  pages={231-254}
}
We show that it is possible to base fuzzy control on fuzzy logic programming. Indeed, we observe that the class of fuzzy Herbrand interpretations gives a semantics for fuzzy programs and we show that the fuzzy function associated with a fuzzy system of IF-THEN rules is the fuzzy Herbrand interpretation associated with a suitable fuzzy program. 
Toward Problems for Mathematical Fuzzy Logic
  • S. Gottwald
  • Computer Science
  • 2006 IEEE International Conference on Fuzzy Systems
  • 2006
The paper discusses some open problems in the field of mathematical fuzzy logic which may have a decisive influence for the future development of fuzzy logic within the next decade.
On the existence of free models in fuzzy universal Horn classes
TLDR
It is proved that every equality-free consistent universal Horn fuzzy theory has a Herbrand model and the notion of term structure associated to a set of formulas in the fuzzy context is introduced. Expand
Formalization of Fuzzy Control in Possibility Theory via Rule Extraction
  • Wei Mei
  • Computer Science
  • IEEE Access
  • 2019
TLDR
The role of possibility theory is strengthened as a foundation for fuzzy sets, and as a complementary method to probability theory for handling information with fuzzy uncertainty, by regarding the fuzzification procedure of fuzzy control as extraction process of the fuzzy variable from crisp input, and the fuzzy if-then rules as extracted rules between fuzzy input/output. Expand
Fuzzy linguistic logic programming and its applications
TLDR
F fuzzy linguistic logic programming is introduced, which is a combination of fuzzy logic programming, introduced by P. Vojtáš, and hedge algebras in order to facilitate the representation and reasoning on human knowledge expressed in natural languages. Expand
Characteristics of t-norms and fuzzy control
The application of conjunctive aggregation operators in fuzzy control systems with 2 inputs is discussed and the effect of the choice of a continuous t-norm operator in inference phase for TSKExpand
Situational Management of Complex Information Systems Based on Fuzzy Correspondence Models
  • Marat A. Rakhmatullaev
  • Computer Science
  • 2019 International Conference on Information Science and Communications Technologies (ICISCT)
  • 2019
TLDR
The model and software are used to create and operate situational expert systems with fuzzy logic to solve complex information systems problems using the fuzzy correspondence models. Expand
Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic
TLDR
This paper proves two amalgamation results using the technique of diagrams in the setting of structures valued on a finite MTL-algebra, from which analogues of the Łoś–Tarski and the Chang–Ło–Suszko preservation theorems follow. Expand
Differences between t‐norms in fuzzy control
The application of conjunctive aggregation functions in fuzzy control systems with n inputs is discussed, and the effect of the choice of a continuous t‐norm in the inference phase forExpand
Is there a need for fuzzy logic?
  • L. Zadeh
  • Computer Science
  • NAFIPS 2008 - 2008 Annual Meeting of the North American Fuzzy Information Processing Society
  • 2008
TLDR
In this paper, fuzzy logic is viewed in a nonstandard perspective and the cornerstones of fuzzy logic-and its principal distinguishing features-are: graduation, granulation, precisiation and the concept of a generalized constraint. Expand
Is there a need for fuzzy logic
"Is there a need for fuzzy logic?" is an issue which is associated with a long history of spirited discussions and debates. There are many misconceptions about fuzzy logic. Fuzzy logic is not fuzzy.Expand
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 28 REFERENCES
Fuzzy control as a fuzzy deduction system
An approach to fuzzy control based on fuzzy logic in narrow sense (fuzzy inference rules + fuzzy set of logical axioms) is proposed. This gives an interesting theoretical framework and suggests newExpand
Fuzzy logic programming
  • P. Vojtás
  • Mathematics, Computer Science
  • Fuzzy Sets Syst.
  • 2001
TLDR
This paper considers the theory of fuzzy logic programming without negation, and proves the soundness and the completeness of the formal model and shows that fuzzy unification based on similarities has applications to fuzzy databases and flexible querying. Expand
Application of Fuzzy Logic to Approximate Reasoning Using Linguistic Synthesis
  • E. Mamdani
  • Mathematics, Computer Science
  • IEEE Transactions on Computers
  • 1977
TLDR
An avenue for further work in this area is described where the need is to go beyond a purely descriptive approach, and means for implementing a prescriptive or a self-organizing system are explored. Expand
Fuzzy sets and fuzzy logic - theory and applications
TLDR
Fuzzy Sets and Fuzzy Logic is a true magnum opus; it addresses practically every significant topic in the broad expanse of the union of fuzzy set theory and fuzzy logic. Expand
What are fuzzy rules and how to use them
TLDR
A survey of different possible semantics for a fuzzy rule and shows how they can be captured in the framework of fuzzy set and possibility theory. Expand
Metamathematics of Fuzzy Logic
  • P. Hájek
  • Computer Science, Mathematics
  • Trends in Logic
  • 1998
TLDR
This paper presents a meta-analysis of many-Valued Propositional Logic, focusing on the part of Lukasiewicz's Logic that deals with Complexity, Undecidability and Generalized Quantifiers and Modalities. Expand
Fuzzy Logic: Mathematical Tools for Approximate Reasoning
The theme of this book is fuzzy logic in a narrow sense, a promising new chapter of formal logic. The basic ideas of formal logic were formulated by Lotfi Zadeh in 1975. The aim of this logic is toExpand
Fuzzy logic and approximate reasoning
  • L. Zadeh
  • Computer Science, Mathematics
  • Synthese
  • 2004
The term fuzzy logic is used in this paper to describe an imprecise logical system, FL, in which the truth-values are fuzzy subsets of the unit interval with linguistic labels such as true, false,Expand
Hybrid Probabilistic Logic Programs as Residuated Logic Programs
In this paper we show the embedding of Hybrid Probabilistic Logic Programs into the rather general framework of Residuated Logic Programs, where the main results of (definite) logic programming areExpand
Fuzzy Logic and Approximate Reasoning: An Overview
Approximate Reasoning is the process or processes by which a possible imprecise conclusion is deduced from a collection of imprecise premises. Fuzzy logic plays the major role in approximateExpand
...
1
2
3
...