In this paper, we turn our attention to model theory of higher-order fuzzy logic (fuzzy type theory). This theory generalizes model theory of predicate logic but has some interesting specificities. We will introduce few basic concepts related to homomorphism, isomorphism, submodel, etc. and show some properties of them.

in this paper, new definitions of $l$-fuzzy closure operator, $l$-fuzzy interior operator, $l$-fuzzy remote neighborhood system, $l$-fuzzy neighborhood system and $l$-fuzzy quasi-coincident neighborhood system are proposed. it is proved that the category of $l$-fuzzy closure spaces, the category of $l$-fuzzy interior spaces, the category of $l$-fuzzy remote neighborhood spaces, the category of ...

In this paper we prove strong completeness of axiomatic extensions of First Order SMTL logic adding the so-called quasi-witnessed axioms with respect to quasi-witnessed Models. In order to achieve this result, we make use of methods that are typical of Classical Predicate Logic, and have been later generalized by P. Hájek to cope with Predicate Fuzzy Logic. At the end of the paper, we obtain, a...

This article presents an algorithm for modelling an Adaptive Neuro Fuzzy Inference System (ANFIS) for power transformer paper conditions in order to estimate the transformer’s expected life. The dielectric characteristics, dissolved gasses, and furfural of 108 running transformers were collected, which were divided into 76 training datasets and another 32 testing datasets. The degree of polymer...

Partial discharge inside a transformer is mainly responsible for the insulation aging and damage of the transformer. However, partial discharge is usually accompanied by external signals like sound, light and electrical signals and detectable physical phenomena such as characteristical gas and dielectric loss. Therefore, it is of great significance to monitor online the external signals and phe...

The power transformer is one of the most critical and expensive components for the stable operation of the power system. Hence, how to obtain the health condition of transformer is of great importance for power utilities. Multi-attribute decision-making (MADM), due to its ability of solving multi-source information problems, has become a quite effective tool to evaluate the health condition of ...

Fuzzy control methods are developed for a high efficient variable speed constant frequency power generating system, with wind power generation as an example. In slip power recovery configuration, the system is composed of a doubly excited brushless reluctance machine and a reduced rating power electronic converter unit linking the stator secondary circuit with the power line. The doubly excited...

This article studies (multilayer perceptron) neural networks with an emphasis on the transformations involved — both forward and backward — in order to develop a semantical/logical perspective that is in line with standard program semantics. The common two-pass neural network training algorithms make this viewpoint particularly fitting. In the forward direction, neural networks act as state tra...

Kleene algebras with domain are Kleene algebras endowed with an operation that maps each element of the algebra to its domain of definition (or its complement) in abstract fashion. They form a simple algebraic basis for Hoare logics, dynamic logics or predicate transformer semantics. We formalise a modular hierarchy of algebras with domain and antidomain (domain complement) operations in Isabel...