Relevant bibliographies by topics / Fuzzy modal logics

Academic literature on the topic 'Fuzzy modal logics'

Author: Grafiati
Published: 8 June 2024

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Fuzzy modal logics.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Journal articles on the topic "Fuzzy modal logics":

1

Mironov, A. M. "Fuzzy Modal Logics." Journal of Mathematical Sciences 128, no. 6 (August 2005): 3461–83. http://dx.doi.org/10.1007/s10958-005-0281-1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Hájek, Petr. "On fuzzy modal logics." Fuzzy Sets and Systems 161, no. 18 (September 2010): 2389–96. http://dx.doi.org/10.1016/j.fss.2009.11.011.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Mattila, Jorma K. "Modifier Logics Based on Graded Modalities." Journal of Advanced Computational Intelligence and Intelligent Informatics 7, no. 2 (June 20, 2003): 72–78. http://dx.doi.org/10.20965/jaciii.2003.p0072.

Full text
APA, Harvard, Vancouver, ISO, and other styles
Abstract:
Modifier logics are considered as generalizations of "classical" modal logics. Thus modifier logics are so-called multimodal logics. Multimodality means here that the basic logics are modal logics with graded modalities. The interpretation of modal operators is more general, too. Leibniz’s motivating semantical ideas (see [8], p. 20-21) give justification to these generalizations. Semantics of canonical frames forms the formal semantic base for modifier logics. Several modifier systems are given. A special modifier calculus is combined from some "pure" modifier logics. Creating a topological semantics to this special modifier logic may give a basis to some kind of fuzzy topology. Modifier logics of S4-type modifiers will give a graded topological interior operator systems, and thus we have a link to fuzzy topology.
4

Iashin, Boris Leonidovich. "Non-Classical Logics in Modern Science." Философская мысль, no. 1 (January 2023): 15–25. http://dx.doi.org/10.25136/2409-8728.2023.1.39350.

Full text
APA, Harvard, Vancouver, ISO, and other styles
Abstract:
Non-classical logicians have significantly expanded the traditional field of using logical methods. The first of them was the three-digit logic of Y. Lukasevich. Next came the three-digit logic of A. Bochvar, the "quantum logics" of G. Reichenbach and P. Detush-Fevrier, infinite-valued, probabilistic and other logics. The possibilities of non-classical logics have become widely used in various branches of scientific knowledge. Polysemantic, fuzzy, intuitionistic, modal, relevant and paranoherent, temporal and other non-classical logics are widely used today in physics, computational mathematics, computer science, linguistics, jurisprudence, ethics and other fields of natural science and socio-humanitarian knowledge. The recently increased interest in non-classical logics is explained, first of all, by the fact that various philosophical, syntactic, semantic and metalogical problems that were previously discussed in the scientific community are being replaced by practical interests. The main source of such interest is their wide application in computer science, artificial intelligence and programming. The logic of causality is used in the interpretation of the concepts of "law of nature", "ontological necessity" and "determinism"; temporal modal logics - for modeling, specification and verification of software systems of logical control; logics with vector semantics, combining the features of fuzzy and para-contradictory logics - in solving problems of dynamic verification of production knowledge bases and expert systems.
5

Blondeel, Marjon, Tommaso Flaminio, Steven Schockaert, Lluís Godo, and Martine De Cock. "On the relationship between fuzzy autoepistemic logic and fuzzy modal logics of belief." Fuzzy Sets and Systems 276 (October 2015): 74–99. http://dx.doi.org/10.1016/j.fss.2015.02.018.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Ming-Sheng, Ying. "On standard models of fuzzy modal logics." Fuzzy Sets and Systems 26, no. 3 (June 1988): 357–63. http://dx.doi.org/10.1016/0165-0114(88)90128-5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Lano, K. "Intuitionistic modal logic and set theory." Journal of Symbolic Logic 56, no. 2 (June 1991): 497–516. http://dx.doi.org/10.2307/2274696.

Full text
APA, Harvard, Vancouver, ISO, and other styles
Abstract:
The mathematical treatment of the concepts of vagueness and approximation is of increasing importance in artificial intelligence and related research. The theory of fuzzy sets was created by Zadeh [Z] to allow representation and mathematical manipulation of situations of partial truth, and proceeding from this a large amount of theoretical and applied development of this concept has occurred. The aim of this paper is to develop a natural logic and set theory that is a candidate for the formalisation of the theory of fuzzy sets. In these theories the underlying logic of properties and sets is intuitionistic, but there is a subset of formulae that are ‘crisp’, classical and two-valued, which represent the certain information. Quantum logic or logics weaker than intuitionistic can also be adopted as the basis, as described in [L]. The relationship of this theory to the intensional set theory MZF of [Gd] and the global intuitionistic set theory GIZF of Takeuti and Titani [TT] is also treated.
8

Cerami, Marco, Francesc Esteva, and Àngel García-Cerdaña. "On the relationship between fuzzy description logics and many-valued modal logics." International Journal of Approximate Reasoning 93 (February 2018): 372–94. http://dx.doi.org/10.1016/j.ijar.2017.11.006.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Stankovic, Marko, Miroslav Ciric, and Jelena Ignjatovic. "Simulations and bisimulations for fuzzy multimodal logics over Heyting algebras." Filomat 37, no. 3 (2023): 711–43. http://dx.doi.org/10.2298/fil2303711s.

Full text
APA, Harvard, Vancouver, ISO, and other styles
Abstract:
In the present paper, we study fuzzy multimodal logics over complete Heyting algebras and Kripke models for these logics. We introduce two types of simulations (forward and backward) and five types of bisimulations (forward, backward, forward-backward, backward-forward and regular) between Kripke models, as well as the corresponding presimulations and prebisimulations, which are simulations and bisimulations with relaxed conditions. For each type of simulations and bisimulations an efficient algorithm has been provided that works as follows: it computes the greatest presimulation/prebisimulation of that type, and then checks whether it meets the additional condition: if it does, then it is also the greatest simulation/ bisimulation of that type, otherwise, there is not any simulation/bisimulation of that type. The algorithms are inspired by algorithms for checking the existence and computing the greatest simulations and bisimulations between fuzzy automata. We also demonstrate the application of these algorithms in the state reduction of Kripke models. We show that forward bisimulation fuzzy equivalences on the Kripke model provide reduced models equivalent to the original model concerning plus-formulas, backward bisimulation fuzzy equivalences provide reduced models equivalent concerning minus-formulas, while regular bisimulation fuzzy equivalences provide reduced models equivalent concerning all modal formulas.
10

Sakai, Hiroshi, and Masahiro Inuiguchi. "Special Issue on Rough Sets and Granular Computing." Journal of Advanced Computational Intelligence and Intelligent Informatics 10, no. 5 (September 20, 2006): 605. http://dx.doi.org/10.20965/jaciii.2006.p0605.

Full text
APA, Harvard, Vancouver, ISO, and other styles
Abstract:
Rough sets and granular computing, known as new methodologies for computing technology, are now attracting great interest of researchers. This special issue presents 12 articles, and most of them were presented at the second Japanese workshop on Rough Sets held at Kyushu Institute of Technology in Tobata, Kitakyushu, Japan, on August 17-18, 2005. The first article studies the relation between rough set theory and formal concept analysis. These two frameworks are analyzed and connected by using the method of morphism. The second article introduces object-oriented paradigm into rough set theory, and object-oriented rough set models are proposed. Theoretical aspects of these new models are also examined. The third article considers relations between generalized rough sets, topologies and modal logics, and some topological properties of rough sets induced by equivalence relations are presented. The fourth article focuses on a family of polymodal systems, and theoretical aspects of these systems, like the completeness, are investigated. By means of combining polymodal logic concept and rough set theory, a new framework named multi-rough sets is established. The fifth article focuses on the information incompleteness in fuzzy relational models, and a generalized possibility-based fuzzy relational model is proposed. The sixth article presents a developed software EVALPSN (Extended Vector Annotated Logic Program with Strong Negation) and the application of this software to pipeline valve control. The seventh article presents the properties of attribute reduction in variable precision rough set models. Ten kinds of meaningful reducts are newly proposed, and hierarchical relations in these reducts are examined. The eighth article proposes attribute-value reduction for Kansei analysis using information granulation, and illustrative results for some databases in UCI Machine Learning Repository are presented. The ninth article investigates cluster analysis for data with errors tolerance. Two new clustering algorithms, which are based on the entropy regularized fuzzy c-means, are proposed. The tenth article applies binary decision trees to handwritten Japanese Kanji recognition. The consideration to the experimental results of real Kanji data is also presented. The eleventh article applies a rough sets based method to analysing the character of the screen-design in every web site. The obtained character gives us good knowledge to generate a new web site. The last article focuses on rule generation in non-deterministic information systems. For generating minimal certain rules, discernibility functions are introduced. A new algorithm is also proposed for handling every discernibility function. Finally, we would like to acknowledge all the authors for their efforts and contributions. We are very grateful to reviewers for their thorough and on-time reviews, too. We are also grateful to Prof. Toshio Fukuda and Prof. Kaoru Hirota, Editors-in-Chief of JACIII, for inviting us to serve as Guest Editors of this Journal, and to Mr. Uchino and Mr. Ohmori of Fuji Technology Press for their kind assistance in publication of this special issue.
More sources
You might also be interested in the extended bibliographies on the topic 'Fuzzy modal logics' for particular source types:
Journal articles Dissertations / Theses

Dissertations / Theses on the topic "Fuzzy modal logics":

1

KOZHEMIACHENKO, Daniil. "Paraconsistent and fuzzy modal logics for reasoning about uncertainty." Electronic Thesis or Diss., Bourges, INSA Centre Val de Loire, 2023. http://www.theses.fr/2023ISAB0014.

Full text
APA, Harvard, Vancouver, ISO, and other styles
Abstract:
Ce manuscrit est dédié à l'étude des logiques modales floues qui formalisent le raisonnement (paraconsistant) sur l'incertitude. Ici, l'interprétation d'«information (données) incertain(es)» inclut toute combinaison des trois propriétés suivantes. Premièrement, l'information peur être quantifiée, i.e., la proposition est associée à un degré de vérité plutôt qu'une valeur de vérité. Deuxièmement, l'information peut être incomplète. Troisièmement, l'information peut être contradictoire.Toutes les logiques étudiees se divisent en deux groupes. Les plus «traditionnelles» dont la sémantique est construite sur des modèles de Kripke où les formules (et parfois, même des relations d'accessibilité) prennent des valeurs dans [0,1] constituent le premier groupe. Le second groupe contient des logiques dites «bi-stratifiées». Ici, le langage est composé de trois parties: la strate intérieure, la strate extérieure, et la modalité non-nichante. On interprète la modalité comme une mesure sur l'univers (e.g., une mesure de probabilité, fonction de croyance, fonction de plausibilité, etc.) correspondante au degré de (in)certitude de l'agent dans une proposition donnée. Le raisonnement sur cette (in)certitude est conduit dans la strate extérieure. Les cadres dans des logiques bi-stratifiées sont alors des ensembles munis de mesures.Chacun de ces deux genres de logiques correspond à l'une des façons d'interpréter l'incertitude. Dans le cas moins formel, nous utiliserons les logiques avec la sémantique de Kripke. Dans le cas plus formel où l'on assume que le degré de certitude se comporte comme une mesure d'incertitude concrète, nous utiliserons les logiques bi-stratifiées
This dissertation is devoted to the study of fuzzy modal logics that formalise (paraconsistent) reasoning about uncertainty. The understanding of ‘uncertain information (data)’ here includes any combination of the following three characteristics. First, the information can be graded, i.e., the statement is equipped with a truth degree rather than a truth value. Second, the information can be incomplete. Third, the information can be contradictory.All the logics in question can be divided into two kinds. First, the more ‘traditional’ modal logics defined on [0,1]-valued Kripke models (possibly, with fuzzy accessibility relations) whose language includes modal operators interpreted as infima and suprema of values in the accessible states.The second kind of logics contains so-called ‘two-layered’ logics. In this framework, the language is divided into three parts: the inner layer, the outer layer, and the non-nesting modality. The idea is to use the inner-layer language to describe events, interpret the modality as a measure on the set of events (e.g., as a probability function, belief function, plausibility, etc.) corresponding to the degree of the agent's (un)certainty in a given event, and then reason about this (un)certainty in the outer-layer language. A frame in a two-layered logic is, thus, a set with a measure defined thereon.These two kinds of logics correspond to two ways of interpreting uncertainty. In the less formal one, we will be using the logics with the Kripke-frame semantics. In the more formal case where the degree of one's certainty or belief is assumed to behave as a concrete uncertainty measure, we will use the two-layered logics
2

Dod?, Adriano Alves. "On rich modal logics." Universidade Federal do Rio Grande do Norte, 2013. http://repositorio.ufrn.br:8080/jspui/handle/123456789/18688.

Full text
APA, Harvard, Vancouver, ISO, and other styles
Abstract:
Made available in DSpace on 2015-03-03T15:47:48Z (GMT). No. of bitstreams: 1 AdrianoAD_DISSERT.pdf: 771338 bytes, checksum: 06adea5feab9914c5a48eb146511b556 (MD5) Previous issue date: 2013-11-19
Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior
I thank to my advisor, Jo?o Marcos, for the intellectual support and patience that devoted me along graduate years. With his friendship, his ability to see problems of the better point of view and his love in to make Logic, he became a great inspiration for me. I thank to my committee members: Claudia Nalon, Elaine Pimentel and Benjamin Bedregal. These make a rigorous lecture of my work and give me valuable suggestions to make it better. I am grateful to the Post-Graduate Program in Systems and Computation that accepted me as student and provided to me the propitious environment to develop my research. I thank also to the CAPES for a 21 months fellowship. Thanks to my research group, LoLITA (Logic, Language, Information, Theory and Applications). In this group I have the opportunity to make some friends. Someone of them I knew in my early classes, they are: Sanderson, Haniel and Carol Blasio. Others I knew during the course, among them I?d like to cite: Patrick, Claudio, Flaulles and Ronildo. I thank to Severino Linhares and Maria Linhares who gently hosted me at your home in my first months in Natal. This couple jointly with my colleagues of student flat Fernado, Don?tila and Aline are my nuclear family in Natal. I thank my fianc?e Lucl?cia for her precious a ective support and to understand my absence at home during my master. I thank also my parents Manoel and Zenilda, my siblings Alexandre, Paulo and Paula.Without their confidence and encouragement I wouldn?t achieve success in this journey. If you want the hits, be prepared for the misses Carl Yastrzemski
Esta disserta??o trata do enriquecimento de l?gicas modais. O termo enriquecimento ? usado em dois sentidos distintos. No primeiro deles, de fundo sem?ntico, propomos uma sem?ntica difusa para diversas l?gicas modais normais e demonstramos um resultado de completude para uma extensa classe dessas l?gicas enriquecidas com m?ltiplas inst?ncias do axioma da conflu?ncia. Um fato curioso a respeito dessa sem?ntica ? que ela se comporta como as sem?nticas de Kripke usuais. O outro enriquecimento diz respeito ? expressividade da l?gica e se d? por meio da adi??o de novos conectivos, especialmente de nega??es modais. Neste sentido, estudamos inicialmente o fragmento da l?gica cl?ssica positiva estendido com uma nega??o modal paraconsistente e mostramos que essa linguagem ? forte o suficiente para expressar as linguagens modais normais. Vemos que tamb?m ? poss?vel definir uma nega??o modal paracompleta e conectivos de restaura??o que internalizam as no??es de consist?ncia e determina??o a n?vel da linguagem-objeto. Esta l?gica constitui-se em uma L?gica da Inconsist?ncia Formal e em uma L?gica da Indetermina??o Formal. Em tais l?gicas, com o objetivo de recuperar infer?ncias cl?ssicas perdidas, demonstram-se Teoremas de Ajuste de Derivabilidade. No caso da l?gica estendida com uma nega??o paraconsistente, se removermos a implica??o ainda lidaremos com uma linguagem bastante rica, com ambas nega??es paranormais e seus respectivos conectivos de restaura??o. Sobre esta linguagem estudamos a l?gica modal normal minimal definida por meio de um c?lculo de Gentzen apropriado, ? diferen?a dos demais sistemas estudados at? ent?o, que s?o apresentados via c?lculo de Hilbert. Em seguida ap?s demonstrarmos a completude do sistema dedutivo associado a este c?lculo, introduzimos algumas extens?es desse sistema e buscamos Teoremas de Ajuste de Derivabilidade adequados
3

Vidal, Wandelmer Amanda. "On modal expansions of t-norm based logics with rational constants." Doctoral thesis, Universitat de Barcelona, 2015. http://hdl.handle.net/10803/316575.

Full text
APA, Harvard, Vancouver, ISO, and other styles
Abstract:
According to Zadeh, the term “fuzzy logic” has two different meanings: wide and narrow. In a narrow sense it is a logical system which aims a formalization of approximate reasoning, and so it can be considered an extension of many-valued logic. However, Zadeh also says that the agenda of fuzzy logic is quite different from that of traditional many-valued logic, as it addresses concepts like linguistic variable, fuzzy if-then rule, linguistic quantifiers etc. Hájek, in the preface of his foundational book Metamathematics of Fuzzy Logic, agrees with Zadeh’s distinction, but stressing that formal calculi of many-valued logics are the kernel of the so-called Basic Fuzzy logic (BL), having continuous triangular norms (t-norm) and their residua as semantics for the conjunction and implication respectively, and of its most prominent extensions, namely Lukasiewicz, Gödel and Product fuzzy logics. Taking advantage of the fact that a t-norm has residuum if, and only if, it is left-continuous, the logic of the left-continuous t-norms, called MTL, was soon after introduced. On the other hand, classical modal logic is an active field of mathematical logic, originally introduced at the beginning of the XXth century for philosophical purposes, that more recently has shown to be very successful in many other areas, specially in computer science. That are the most well-known semantics for classical modal logics. Modal expansions of non-classical logics, in particular of many-valued logics, have also been studied in the literature. In this thesis we focus on the study of some modal logics over MTL, using natural generalizations of the classical Kripke relational structures where propositions at possible words can be many-valued, but keeping classical accessibility relations. In more detail, the main goal of this thesis has been to study modal expansions of the logic of a left-continuous t-norm, defined over the language of MTL expanded with rational truth-constants and the Monteiro-Baaz Delta-operator, whose intended (standard) semantics is given by Kripke models with crisp accessibility relations and taking the unit real interval [0, 1] as set of truth-values. To get complete axiomatizations, already known techniques based on the canonical model construction are uses, but this requires to ensure that the underlying (propositional) fuzzy logic is strongly standard complete. This constraint leads us to consider axiomatic systems with infinitary inference rules, already at the propositional level. A second goal of the thesis has been to also develop and automated reasoning software tool to solve satisfiability and logical consequence problems for some of the fuzzy logic modal logics considered. This dissertation is structured in four parts. After a gentle introduction, Part I contains the needed preliminaries for the thesis be as self-contained as possible. Most of the theoretical results are developed in Parts II and III. Part II focuses on solving some problems concerning the strong standard completeness of underlying non-modal expansions. We first present and axiomatic system for the non-nodal propositional logic of a left-continuous t-norm who makes use of a unique infinitary inference rule, the “density rule”, that solves several problems pointed out in the literature. We further expand this axiomatic system in order to also characterize arbitrary operations over [0, 1] satisfying certain regularity conditions. However, since this axiomatic system turn out to be not well-behaved for the modal expansion, we search for alternative axiomatizations with some particular kind of inference rules (that will be called conjunctive). Unfortunately, this kind of axiomatization does not necessarily exist for all left-continuous t-norms (in particular, it does not exist for the Gödel logic case), but we identify a wide class of t-norms for which it works. This “well-behaved” t-norms include all ordinal sums of Lukasiewiczand Product t-norms. Part III focuses on the modal expansion of the logics presented before. We propose axiomatic systems (which are, as expected, modal expansions of the ones given in the previous part) respectively strongly complete with respect to local and global Kripke semantics defined over frames with crisp accessibility relations and worlds evaluated over a “well-behaved” left-continuous t-norm. We also study some properties and extensions of these logics and also show how to use it for axiomatizing the possibilistic logic over the very same t-norm. Later on, we characterize the algebraic companion of these modal logics, provide some algebraic completeness results and study the relation between their Kripke and algebraic semantics. Finally, Part IV of the thesis is devoted to a software application, mNiB-LoS, who uses Satisfability Modulo Theories in order to build an automated reasoning system to reason over modal logics evaluated over BL algebras. The acronym of this applications stands for a modal Nice BL-logics Solver. The use of BL logics along this part is motivated by the fact that continuous t-norms can be represented as ordinal sums of three particular t-norms: Gödel, Lukasiewicz and Product ones. It is then possible to show that these t-norms have alternative characterizations that, although equivalent from the point of view of the logic, have strong differences for what concerns the design, implementation and efficiency of the application. For practical reasons, the modal structures included in the solver are limited to the finite ones (with no bound on the cardinality).
4

Pergl, Miroslav. "Vývojové prostředí pro umělou inteligenci Modul fuzzy čísel." Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2009. http://www.nusl.cz/ntk/nusl-218054.

Full text
APA, Harvard, Vancouver, ISO, and other styles
Abstract:
Master’s thesis deals with mathematical operation with fuzzy numbers. The first part of the thesis deals with theoretical knowledge of fuzzy arithmetic and defines fuzzy sets, fuzzy numbers, universum and five membership function used in program. In the concrete it describes – cut method for dealing with fuzzy numbers as with limited interval for specific level which simplifies computation. The second part of the thesis contains description of programmed module for mathematical operation with fuzzy numbers. There is described creation of user interface which is using to set parameters of computation. There are also described support functions which make operation with fuzzy numbers possible and operation ensures output.
5

García, Z. Yohn E. "Fuzzy logic in process control : a new fuzzy logic controller and an improved fuzzy-internal model controller." [Tampa, Fla] : University of South Florida, 2006. http://purl.fcla.edu/usf/dc/et/SFE0001552.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

García, Z. Yohn E. "Fuzzy logic in process control: A new fuzzy logic controller and an improved fuzzy-internal model controller." Scholar Commons, 2006. http://scholarcommons.usf.edu/etd/2529.

Full text
APA, Harvard, Vancouver, ISO, and other styles
Abstract:
Two fuzzy controllers are presented. A fuzzy controller with intermediate variable designed for cascade control purposes is presented as the FCIV controller. An intermediate variable and a new set of fuzzy logic rules are added to a conventional Fuzzy Logic Controller (FLC) to build the Fuzzy Controller with Intermediate Variable (FCIV). The new controller was tested in the control of a nonlinear chemical process, and its performance was compared to several other controllers. The FCIV shows the best control performance regarding stability and robustness. The new controller also has an acceptable performance when noise is added to the sensor signal. An optimization program has been used to determine the optimum tuning parameters for all controllers to control a chemical process. This program allows obtaining the tuning parameters for a minimum IAE (Integral absolute of the error). The second controller presented uses fuzzy logic to improve the performance of the convention al internal model controller (IMC). This controller is called FAIMCr (Fuzzy Adaptive Internal Model Controller). Twofuzzy modules plus a filter tuning equation are added to the conventional IMC to achieve the objective. The first fuzzy module, the IMCFAM, determines the process parameters changes. The second fuzzy module, the IMCFF, provides stability to the control system, and a tuning equation is developed for the filter time constant based on the process parameters. The results show the FAIMCr providing a robust response and overcoming stability problems. Adding noise to the sensor signal does not affect the performance of the FAIMC.The contributions presented in this work include:The development of a fuzzy controller with intermediate variable for cascade control purposes. An adaptive model controller which uses fuzzy logic to predict the process parameters changes for the IMC controller. An IMC filter tuning equation to update the filter time constant based in the process paramete rs values. A variable fuzzy filter for the internal model controller (IMC) useful to provide stability to the control system.
7

Paulová, Martina. "Vyhodnocení nabídek pomocí fuzzy logiky." Master's thesis, Vysoké učení technické v Brně. Fakulta podnikatelská, 2016. http://www.nusl.cz/ntk/nusl-241392.

Full text
APA, Harvard, Vancouver, ISO, and other styles
Abstract:
This diploma thesis deals with the evaluation of offers with the usage of fuzzy logic. It describes methods and processes of a model building. The aim is to make a decision – making model that helps a customer to make decisions between more properties.
8

Al-Humaidi, Hanouf M. "A fuzzy logic approach to model delays in construction projects." Columbus, Ohio : Ohio State University, 2007. http://rave.ohiolink.edu/etdc/view?acc%5Fnum=osu1185539202.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Peterek, Daniel. "Vyhodnocení dodavatelského rizika prostřednictvím fuzzy logiky." Master's thesis, Vysoké učení technické v Brně. Ústav soudního inženýrství, 2020. http://www.nusl.cz/ntk/nusl-414170.

Full text
APA, Harvard, Vancouver, ISO, and other styles
Abstract:
The presented diploma thesis deals with the evaluation of suppliers for the company Ferrit using fuzzy logic. The main part of the diploma thesis deals with the creation of proposals for the solution of the evaluation of suppliers of a selected company. Decision models are created in Microsoft Excel and MATLAB. The comparison of the results of both proposed models is the content of the part of the work.
10

Kutláková, Klára. "Aplikace fuzzy logiky při hodnocení dodavatelů firmy." Master's thesis, Vysoké učení technické v Brně. Fakulta podnikatelská, 2016. http://www.nusl.cz/ntk/nusl-241171.

Full text
APA, Harvard, Vancouver, ISO, and other styles
Abstract:
Master's thesis deals with a design of models that allow selection of the most suitable contractor for construction of a company's new branch. Models are based on utilization of basic principles of fuzzy logic. Proposed fuzzy models allow evaluation of individual offers and serve as support in decision-making process.
More sources

Books on the topic "Fuzzy modal logics":

1

Hans, Hellendoorn, and Driankov Dimiter, eds. Fuzzy model identification: Selected approaches. Berlin: Springer, 1997.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Tan, Joey Sing Yee, and Amandeep S. Sidhu. Real-time Knowledge-based Fuzzy Logic Model for Soft Tissue Deformation. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-15585-8.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Miller, Marvin Lewis. Improvement of JANUS target acquisition using a fuzzy logic human factors model. Monterey, Calif: Naval Postgraduate School, 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Vasil'eva, Natal'ya. Mathematical models in the management of copper production: ideas, methods, examples. ru: INFRA-M Academic Publishing LLC., 2020. http://dx.doi.org/10.12737/1014071.

Full text
APA, Harvard, Vancouver, ISO, and other styles
Abstract:
Presents the current status in modelling of metallurgical processes considered by the model the mathematical model used in the description of the processes of copper production and their classification. Set out a system of methods and models in the field of mathematical modeling of technological processes, including balance sheet, statistics, optimization models, forecasting models and predictive models. For specific technological processes are developed: the model of the balance of the cycle of pyrometallurgical production of copper, polynomial model for prediction of matte composition on the basis of the passive experiment, predictive model of quantitative estimation of the copper content in the matte based on fuzzy logic. Of interest to students, postgraduates, teachers of technical universities, engineers and research workers who use mathematical methods for processing of data of laboratory and industrial experiments.
5

Bělohlávek, Radim, Joseph W. Dauben, and George J. Klir. Fuzzy Logic in the Narrow Sense. Oxford University Press, 2017. http://dx.doi.org/10.1093/oso/9780190200015.003.0004.

Full text
APA, Harvard, Vancouver, ISO, and other styles
Abstract:
The chapter examines the various propositional and predicate many-valued logics that were studied prior to the emergence of the concept of a fuzzy set in the mid-1960s, which led to the genesis of fuzzy logic in broad and narrow senses. Early ideas regarding formal systems of fuzzy logic allowed for deduction from partially true premises to partially true consequences, as suggested first by Goguen in the 1960s and further developed by Pavelka in the 1970s, and these ideas were developed from the 1990s onward. The systematic development of fuzzy logics based on t-norms and their residua, pursued under the leadership of Hájek in the 1990s, is discussed in some detail. An overview is presented of fuzzy logics that are not truth-functional, such as probabilistic, possibilistic and modal fuzzy logic. The chapter concludes by reviewing relevant additional issues, such as issues of computational complexity for fuzzy logic or higher-order fuzzy logics.
6

Dostál, Petr, and Chia-Yang Lin. Business Applications of Fuzzy Logic. Edited by Shu-Heng Chen, Mak Kaboudan, and Ye-Rong Du. Oxford University Press, 2018. http://dx.doi.org/10.1093/oxfordhb/9780199844371.013.14.

Full text
APA, Harvard, Vancouver, ISO, and other styles
Abstract:
The chapter focuses on the use of fuzzy logic, or soft computing, among the different methods used as supports for decision making in business applications. The processes are focused on private corporate attempts at making money or decreasing expenses; therefore, the details of applications, successful or not, are not published very often. Fuzzy logic helps in decentralization of decisionmaking processes that are to be standardized, reproduced, and documented. Fuzzy logic plays very important roles, especially in business, because it helps reduce costs. It differs from conventional (hard) computing in that it is tolerant of imprecision, uncertainty, partial truth, and approximation. In effect, the role model for fuzzy logic is the human mind. The guiding principle of fuzzy logic is to exploit this tolerance to achieve tractability, robustness, and low solution cost.
7

Hellendoorn, Hans, and Dimiter Driankov. Fuzzy Model Identification: Selected Approaches. Springer London, Limited, 2012.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

(Editor), Hans Hellendoorn, and Dimiter Driankov (Editor), eds. Fuzzy Model Identification: Selected Approaches. Springer, 1998.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Sidhu, Amandeep S., and Joey Sing Yee Tan. Real-time Knowledge-based Fuzzy Logic Model for Soft Tissue Deformation. Springer, 2019.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Ślusarski, Marek. Metody i modele oceny jakości danych przestrzennych. Publishing House of the University of Agriculture in Krakow, 2017. http://dx.doi.org/10.15576/978-83-66602-30-4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
Abstract:
The quality of data collected in official spatial databases is crucial in making strategic decisions as well as in the implementation of planning and design works. Awareness of the level of the quality of these data is also important for individual users of official spatial data. The author presents methods and models of description and evaluation of the quality of spatial data collected in public registers. Data describing the space in the highest degree of detail, which are collected in three databases: land and buildings registry (EGiB), geodetic registry of the land infrastructure network (GESUT) and in database of topographic objects (BDOT500) were analyzed. The results of the research concerned selected aspects of activities in terms of the spatial data quality. These activities include: the assessment of the accuracy of data collected in official spatial databases; determination of the uncertainty of the area of registry parcels, analysis of the risk of damage to the underground infrastructure network due to the quality of spatial data, construction of the quality model of data collected in official databases and visualization of the phenomenon of uncertainty in spatial data. The evaluation of the accuracy of data collected in official, large-scale spatial databases was based on a representative sample of data. The test sample was a set of deviations of coordinates with three variables dX, dY and Dl – deviations from the X and Y coordinates and the length of the point offset vector of the test sample in relation to its position recognized as a faultless. The compatibility of empirical data accuracy distributions with models (theoretical distributions of random variables) was investigated and also the accuracy of the spatial data has been assessed by means of the methods resistant to the outliers. In the process of determination of the accuracy of spatial data collected in public registers, the author’s solution was used – resistant method of the relative frequency. Weight functions, which modify (to varying degree) the sizes of the vectors Dl – the lengths of the points offset vector of the test sample in relation to their position recognized as a faultless were proposed. From the scope of the uncertainty of estimation of the area of registry parcels the impact of the errors of the geodetic network points was determined (points of reference and of the higher class networks) and the effect of the correlation between the coordinates of the same point on the accuracy of the determined plot area. The scope of the correction was determined (in EGiB database) of the plots area, calculated on the basis of re-measurements, performed using equivalent techniques (in terms of accuracy). The analysis of the risk of damage to the underground infrastructure network due to the low quality of spatial data is another research topic presented in the paper. Three main factors have been identified that influence the value of this risk: incompleteness of spatial data sets and insufficient accuracy of determination of the horizontal and vertical position of underground infrastructure. A method for estimation of the project risk has been developed (quantitative and qualitative) and the author’s risk estimation technique, based on the idea of fuzzy logic was proposed. Maps (2D and 3D) of the risk of damage to the underground infrastructure network were developed in the form of large-scale thematic maps, presenting the design risk in qualitative and quantitative form. The data quality model is a set of rules used to describe the quality of these data sets. The model that has been proposed defines a standardized approach for assessing and reporting the quality of EGiB, GESUT and BDOT500 spatial data bases. Quantitative and qualitative rules (automatic, office and field) of data sets control were defined. The minimum sample size and the number of eligible nonconformities in random samples were determined. The data quality elements were described using the following descriptors: range, measure, result, and type and unit of value. Data quality studies were performed according to the users needs. The values of impact weights were determined by the hierarchical analytical process method (AHP). The harmonization of conceptual models of EGiB, GESUT and BDOT500 databases with BDOT10k database was analysed too. It was found that the downloading and supplying of the information in BDOT10k creation and update processes from the analyzed registers are limited. An effective approach to providing spatial data sets users with information concerning data uncertainty are cartographic visualization techniques. Based on the author’s own experience and research works on the quality of official spatial database data examination, the set of methods for visualization of the uncertainty of data bases EGiB, GESUT and BDOT500 was defined. This set includes visualization techniques designed to present three types of uncertainty: location, attribute values and time. Uncertainty of the position was defined (for surface, line, and point objects) using several (three to five) visual variables. Uncertainty of attribute values and time uncertainty, describing (for example) completeness or timeliness of sets, are presented by means of three graphical variables. The research problems presented in the paper are of cognitive and application importance. They indicate on the possibility of effective evaluation of the quality of spatial data collected in public registers and may be an important element of the expert system.

Book chapters on the topic "Fuzzy modal logics":

1

Atanassov, Krassimir T. "Intuitionistic Fuzzy Modal Logics." In Intuitionistic Fuzzy Logics, 79–124. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-48953-7_3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Bou, Félix, Francesc Esteva, and Lluís Godo. "On Possibilistic Modal Logics Defined Over MTL-Chains." In Petr Hájek on Mathematical Fuzzy Logic, 225–44. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-06233-4_11.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Cintula, Petr, Carles Noguera, and Jonas Rogger. "From Kripke to Neighborhood Semantics for Modal Fuzzy Logics." In Information Processing and Management of Uncertainty in Knowledge-Based Systems, 95–107. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-40581-0_9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Marchioni, Enrico, and Lluís Godo. "A Logic for Reasoning About Coherent Conditional Probability: A Modal Fuzzy Logic Approach." In Logics in Artificial Intelligence, 213–25. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-30227-8_20.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Murai, Tetsuya, Masaaki Miyakoshi, and Masaru Shimbo. "Measure-Based Semantics for Modal Logic." In Fuzzy Logic, 395–405. Dordrecht: Springer Netherlands, 1993. http://dx.doi.org/10.1007/978-94-011-2014-2_37.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Nakamori, Y., K. Suzuki, and T. Yamanaka. "Model Predictive Control Using Fuzzy Dynamic Models." In Fuzzy Logic, 497–506. Dordrecht: Springer Netherlands, 1993. http://dx.doi.org/10.1007/978-94-011-2014-2_46.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Kruse, Rudolf, Jörg Gebhardt, and Frank Klawonn. "Numerical and Logical Approaches to Fuzzy Set Theory by the Context Model." In Fuzzy Logic, 365–76. Dordrecht: Springer Netherlands, 1993. http://dx.doi.org/10.1007/978-94-011-2014-2_34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Novák, Vilém. "Fuzzy Logic and Fuzzy Sets." In The Alternative Mathematical Model of Linguistic Semantics and Pragmatics, 61–86. Boston, MA: Springer US, 1992. http://dx.doi.org/10.1007/978-1-4899-2317-2_4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Graham, Bruce, and Robert Newell. "An adaptive fuzzy model-based controller." In Fuzzy Logic and Fuzzy Control, 56–66. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/3-540-58279-7_19.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Hájek, Petr, and Dagmar Harmancová. "A comparative fuzzy modal logic." In Fuzzy Logic in Artificial Intelligence, 27–34. Berlin, Heidelberg: Springer Berlin Heidelberg, 1993. http://dx.doi.org/10.1007/3-540-56920-0_5.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Fuzzy modal logics":

1

Esteva, Francese, Lluis Godo, and Ricardo Oscar Rodriguez. "On the relation between modal and multi-modal logics over Łukasiewicz logic." In 2017 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE). IEEE, 2017. http://dx.doi.org/10.1109/fuzz-ieee.2017.8015703.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Baldi, Paolo, Petr Cintula, and Carles Noguera. "Translating Classical Probability Logics into Modal Fuzzy Logics." In Proceedings of the 2019 Conference of the International Fuzzy Systems Association and the European Society for Fuzzy Logic and Technology (EUSFLAT 2019). Paris, France: Atlantis Press, 2019. http://dx.doi.org/10.2991/eusflat-19.2019.49.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Dodo, Adriano, Joao Marcos, and Flaulles Boone Bergamaschi. "On classic-like fuzzy modal logics." In 2013 Joint IFSA World Congress and NAFIPS Annual Meeting (IFSA/NAFIPS 2013). IEEE, 2013. http://dx.doi.org/10.1109/ifsa-nafips.2013.6608582.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Nguyen, Linh Anh, and Ngoc-Thanh Nguyen. "Characterizing Crisp Simulations and Crisp Directed Simulations between Fuzzy Labeled Transition Systems by Using Fuzzy Modal Logics." In 2021 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE). IEEE, 2021. http://dx.doi.org/10.1109/fuzz45933.2021.9494504.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Flaminio, Tommaso, Sandro Preto, and Sara Ugolini. "Reasoning about Probability via Continuous Functions." In 20th International Conference on Principles of Knowledge Representation and Reasoning {KR-2023}. California: International Joint Conferences on Artificial Intelligence Organization, 2023. http://dx.doi.org/10.24963/kr.2023/28.

Full text
APA, Harvard, Vancouver, ISO, and other styles
Abstract:
For functional representation in an algebraizable logic we mean a representation of the algebras of formulas of the logic by means of (possibly real-valued) functions. Functional representations have shown to be a key tool for the study of non-classical logics, since they allow to regard formulas as functions and, by means of them, to approach the study of typical proof theoretical properties of the logics by means of their functional semantics. In the realm of (algebraizable) fuzzy logics, possibly the most well-known result in this respect is McNaughton theorem that shows formulas of the infinite-valued Lukasiewicz calculus to correspond, up to logical equivalence, to real valued continuous and piecewise linear functions. The functional representation for many-valued logics has been very recently shown in a paper by the second author to have an impact outside the purely logical realm and, in particular, they can be applied to study properties of artificial neural networks. In this contribution, we will provide a functional representation for the probability modal logic FP(L) that builds on Lukasiewicz calculus by adding to it a unary operator P that reads “it is probable that”. While the logic FP(L) is not algebraizable, at least not in the usual sense due to Blok and Pigozzi, we still can provide a functional representation result for its modal formulas. In order to do so, we adapt the usual universal algebraic methods to this peculiar setting, and moreover we make use of some techniques developed in a recent paper by two of the authors where a class of purely algebraic models for FP(L) based on de Finetti's coherence criterion have been introduced and studied. Our contribution will present two ways of providing a functional representation of the algebras of formulas of the modal logic FP(L): a local one, that relies on de Finetti's coherence argument; and a global one that, instead, relies on probability distributions on a finite domain.
6

Wild, Paul, Lutz Schröder, Dirk Pattinson, and Barbara König. "A Modal Characterization Theorem for a Probabilistic Fuzzy Description Logic." In Twenty-Eighth International Joint Conference on Artificial Intelligence {IJCAI-19}. California: International Joint Conferences on Artificial Intelligence Organization, 2019. http://dx.doi.org/10.24963/ijcai.2019/263.

Full text
APA, Harvard, Vancouver, ISO, and other styles
Abstract:
The fuzzy modality probably is interpreted over probabilistic type spaces by taking expected truth values. The arising probabilistic fuzzy description logic is invariant under probabilistic bisimilarity; more informatively, it is non-expansive wrt. a suitable notion of behavioural distance. In the present paper, we provide a characterization of the expressive power of this logic based on this observation: We prove a probabilistic analogue of the classical van Benthem theorem, which states that modal logic is precisely the bisimulation-invariant fragment of first-order logic. Specifically, we show that every formula in probabilistic fuzzy first-order logic that is non-expansive wrt. behavioural distance can be approximated by concepts of bounded rank in probabilistic fuzzy description logic.
7

Karanikola, Loukia, and Isambo Karali. "Dempster-Shafer logical model for fuzzy Description Logics." In 2016 IEEE Symposium Series on Computational Intelligence (SSCI). IEEE, 2016. http://dx.doi.org/10.1109/ssci.2016.7849960.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Bouyer, Patricia, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, and Giuseppe Perelli. "Reasoning about Quality and Fuzziness of Strategic Behaviours." In Twenty-Eighth International Joint Conference on Artificial Intelligence {IJCAI-19}. California: International Joint Conferences on Artificial Intelligence Organization, 2019. http://dx.doi.org/10.24963/ijcai.2019/220.

Full text
APA, Harvard, Vancouver, ISO, and other styles
Abstract:
We introduce and study SL[F], a quantitative extension of SL (Strategy Logic), one of the most natural and expressive logics describing strategic behaviours. The satisfaction value of an SL[F] formula is a real value in [0,1], reflecting ``how much'' or ``how well'' the strategic on-going objectives of the underlying agents are satisfied. We demonstrate the applications of SL[F] in quantitative reasoning about multi-agent systems, by showing how it can express concepts of stability in multi-agent systems, and how it generalises some fuzzy temporal logics. We also provide a model-checking algorithm for ourlogic, based on a quantitative extension of Quantified CTL*.
9

Mamboundou, Jerry, and Nicolas Langlois. "Indirect adaptive model predictive control supervised by fuzzy logic." In 2011 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE). IEEE, 2011. http://dx.doi.org/10.1109/fuzzy.2011.6007612.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Mizutani, Kaori, and Takamasa Akiyama. "A Logit Model for Modal Choice with a Fuzzy Logic Utility Function." In Second International Conference on Transportation and Traffic Studies (ICTTS ). Reston, VA: American Society of Civil Engineers, 2000. http://dx.doi.org/10.1061/40503(277)49.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Fuzzy modal logics":

1

Borgwardt, Stefan, Felix Distel, and Rafael Peñaloza. Gödel Description Logics: Decidability in the Absence of the Finitely-Valued Model Property. Technische Universität Dresden, 2013. http://dx.doi.org/10.25368/2022.199.

Full text
APA, Harvard, Vancouver, ISO, and other styles
Abstract:
In the last few years there has been a large effort for analysing the computational properties of reasoning in fuzzy Description Logics. This has led to a number of papers studying the complexity of these logics, depending on their chosen semantics. Surprisingly, despite being arguably the simplest form of fuzzy semantics, not much is known about the complexity of reasoning in fuzzy DLs w.r.t. witnessed models over the Gödel t-norm. We show that in the logic G-IALC, reasoning cannot be restricted to finitely valued models in general. Despite this negative result, we also show that all the standard reasoning problems can be solved in this logic in exponential time, matching the complexity of reasoning in classical ALC.
2

Borgwardt, Stefan, and Rafael Peñaloza. Consistency in Fuzzy Description Logics over Residuated De Morgan Lattices. Technische Universität Dresden, 2012. http://dx.doi.org/10.25368/2022.188.

Full text
APA, Harvard, Vancouver, ISO, and other styles
Abstract:
Fuzzy description logics can be used to model vague knowledge in application domains. This paper analyses the consistency and satisfiability problems in the description logic SHI with semantics based on a complete residuated De Morgan lattice. The problems are undecidable in the general case, but can be decided by a tableau algorithm when restricted to finite lattices. For some sublogics of SHI, we provide upper complexity bounds that match the complexity of crisp reasoning.
3

Tsidylo, Ivan M., Serhiy O. Semerikov, Tetiana I. Gargula, Hanna V. Solonetska, Yaroslav P. Zamora, and Andrey V. Pikilnyak. Simulation of intellectual system for evaluation of multilevel test tasks on the basis of fuzzy logic. CEUR Workshop Proceedings, June 2021. http://dx.doi.org/10.31812/123456789/4370.

Full text
APA, Harvard, Vancouver, ISO, and other styles
Abstract:
The article describes the stages of modeling an intelligent system for evaluating multilevel test tasks based on fuzzy logic in the MATLAB application package, namely the Fuzzy Logic Toolbox. The analysis of existing approaches to fuzzy assessment of test methods, their advantages and disadvantages is given. The considered methods for assessing students are presented in the general case by two methods: using fuzzy sets and corresponding membership functions; fuzzy estimation method and generalized fuzzy estimation method. In the present work, the Sugeno production model is used as the closest to the natural language. This closeness allows for closer interaction with a subject area expert and build well-understood, easily interpreted inference systems. The structure of a fuzzy system, functions and mechanisms of model building are described. The system is presented in the form of a block diagram of fuzzy logical nodes and consists of four input variables, corresponding to the levels of knowledge assimilation and one initial one. The surface of the response of a fuzzy system reflects the dependence of the final grade on the level of difficulty of the task and the degree of correctness of the task. The structure and functions of the fuzzy system are indicated. The modeled in this way intelligent system for assessing multilevel test tasks based on fuzzy logic makes it possible to take into account the fuzzy characteristics of the test: the level of difficulty of the task, which can be assessed as “easy”, “average", “above average”, “difficult”; the degree of correctness of the task, which can be assessed as “correct”, “partially correct”, “rather correct”, “incorrect”; time allotted for the execution of a test task or test, which can be assessed as “short”, “medium”, “long”, “very long”; the percentage of correctly completed tasks, which can be assessed as “small”, “medium”, “large”, “very large”; the final mark for the test, which can be assessed as “poor”, “satisfactory”, “good”, “excellent”, which are included in the assessment. This approach ensures the maximum consideration of answers to questions of all levels of complexity by formulating a base of inference rules and selection of weighting coefficients when deriving the final estimate. The robustness of the system is achieved by using Gaussian membership functions. The testing of the controller on the test sample brings the functional suitability of the developed model.

To the bibliography