# 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.

#### Topics from this paper

#### 58 Citations

Toward Problems for Mathematical Fuzzy Logic

- 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

- Mathematics, Computer Science
- J. Appl. Log.
- 2017

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

- Computer Science
- IEEE Access
- 2019

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

- Computer Science
- Theory and Practice of Logic Programming
- 2009

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

- 2008

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 TSK… Expand

Situational Management of Complex Information Systems Based on Fuzzy Correspondence Models

- Computer Science
- 2019 International Conference on Information Science and Communications Technologies (ICISCT)
- 2019

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

- Computer Science, Mathematics
- Soft Comput.
- 2019

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

- Mathematics, Computer Science
- Int. J. Intell. Syst.
- 2012

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 for… Expand

Is there a need for fuzzy logic?

- Computer Science
- NAFIPS 2008 - 2008 Annual Meeting of the North American Fuzzy Information Processing Society
- 2008

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

- Mathematics
- NAFIPS 2008
- 2008

"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

#### References

SHOWING 1-10 OF 28 REFERENCES

Fuzzy control as a fuzzy deduction system

- Computer Science, Mathematics
- Fuzzy Sets Syst.
- 2001

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 new… Expand

Fuzzy logic programming

- Mathematics, Computer Science
- Fuzzy Sets Syst.
- 2001

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

- Mathematics, Computer Science
- IEEE Transactions on Computers
- 1977

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

- Mathematics, Computer Science
- 1995

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

- Mathematics, Computer Science
- Fuzzy Sets Syst.
- 1996

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

- Computer Science, Mathematics
- Trends in Logic
- 1998

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

- Mathematics
- 2001

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 to… Expand

Fuzzy logic and approximate reasoning

- 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

- Computer Science
- JELIA
- 2000

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 are… Expand

Fuzzy Logic and Approximate Reasoning: An Overview

- Mathematics
- 1991

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 approximate… Expand