Combining implicational quantifiers for equivalence ones by fuzzy connectives

This paper applies fuzzy logic theory to a smart home system in order to achieve artificial intelligence in the automated home. This would allow an automated home system to become a smart home system. In addition to enhancing the quality of life, it can also help to cut energy wasted and reduce overheads. It may not be a significant reduction of energy usage for a single family, yet the total energy saved globally will be significant. Therefore, how to enable families to adapt their homes to become a smart home is one area for development. Keywords - fuzzy logic theory, smart home system, smart illumination system, artificial intelligence.

Fuzzy α–C-equivalences

Equilibrium semantics interprets expected payoffs resulting from Nash equilibria of semantics games with imperfect information (Hintikka-Sandu or ) as truth values. In [1] we showed that all rational truth values in the unit interval can be obtained in this manner from games with just 0 and 1 as possible payoffs in any run of the game. Here, we investigate whether the propositional connectives of various fuzzy logics, in particular of Łukasiewicz, Godel, and Product logic, can be interpreted as operators that combine parallel $\mathcal{H}\mathcal{S}{\text{ - games}}$ into single games. It turns out that the interpretation of different connectives calls for definitions of overall payoffs for combined games that operate at different levels of abstraction.

We consider a logic with truth values in the unit interval and which uses aggregation functions instead of quantifiers, and we describe a general approach to asymptotic elimination of aggregation functions and, indirectly, of asymptotic elimination of Mostowski style generalized quantifiers, since such can be expressed by using aggregation functions. The notion of “local continuity” of an aggregation function, which we make precise in two (related) ways, plays a central role in this approach.

The loading path is one of the most important design parameters for the success of a tube hydroforming process. Wrinkles, necking, and cracking may occur if the internal pressure and feeding are not correct. In this paper, we propose an adaptive loading path design method using fuzzy logic theory. The fuzzy logic controller is based on the properties of the tube hydroforming process, for asymmetric parts in particular. We investigated symmetric and asymmetric test cases to verify the proposed technique using the finite element method, and the results were consistent with our practical experiment.

Analysis of oceanaut operating performance using an integrated Bayesian network aided by the fuzzy logic theory

Type-2 operations on finite chains

A many‐valued sentential logic with truth values in an injective MV‐algebra is introduced and the axiomatizability of this logic is proved. The paper develops some ideas of Goguen and generalizes the results of Pavelka on the unit interval. The proof for completeness is purely algebraic. A corollary of the Completeness Theorem is that fuzzy logic on the unit interval is semantically complete if and only if the algebra of the truth values is a complete MV‐algebra. In the well‐defined fuzzy sentential logic holds the Compactness Theorem, while the Deduction Theorem and the Finiteness Theorem in general do not hold. Because of its generality and good‐behaviour, MV‐valued logic can be regarded as a mathematical basis of fuzzy reasoning.

Summary form only given. Interpolative reasoning plays a key role in both fuzzy logic and neural network theory. The basic approaches to interpolative reasoning in both fuzzy logic and neural networks were surveyed, and their differences and similarities were analyzed. An important issue in interpolative reasoning in fuzzy logic relates to the solution of a system of fuzzy algebraic equations. Various approaches to this problem, including fuzzy Lagrangian interpolation and the use of FA-Prolog, were described and analyzed. Among other issues discussed were the compression of a system of fuzzy if-then rules and the induction of rules from observations. >

We describe in this paper a new approach for plant monitoring and diagnostics using type-2 fuzzy logic and fractal theory. The concept of the fractal dimension is used to measure the complexity of the time series of relevant variables for the process. A set of type-2 fuzzy rules is used to represent the knowledge for monitoring the process. In the type-2 fuzzy rules, the fractal dimension is used as a linguistic variable to help in recognizing specific patterns in the measured data. The fuzzy-fractal approach has been applied before in problems of financial time series prediction and for other types of problems, but now it is proposed to the monitoring of plants using type-2 fuzzy logic. We also compare the results of the type-2 fuzzy logic approach with the results of using only a traditional type-1 fuzzy logic approach. Experimental results show a significant improvement in the monitoring ability with the type-2 fuzzy logic approach.

The flight exam results is the most effective method for assess the flight training to civil flight cadets'. In this paper, we propose an assessment model with the flight operation quality (FOQ) based on the fuzzy logic theory. Combined with the experience of the expert and the analysis of the flight data, a FOQ assessment model was established. It contains 139 valid fuzzy rules, and evaluates the FOQ in the final approach segment according flight simulation. The result shows that the score of the assessment model was consistent with the examination results.

A data fusion method for single-phase inverter fault diagnosis based on D-S evidential theory and fuzzy logical theory is presented. By measuring the output voltage the two bridge-arms voltage and the temperature of MOSFET, the belief function assignment is gotten, and the fusion belief function assignment is gotten by using D-S rule and fuzzy logic, and fault component is found. By comparing the diagnosis results based on separate original data and fused data respectively, it is shown that the latter is more accurate than the former in the fault recognition.

With the development of wireless communication technology, various wireless networks will exist with different features in same premises. Heterogeneous networks will be dominant in the next generation wireless networks. In such networks choose the most suitable network for mobile user is one of the key issues. Vertical handoff decision making is one of the most important topics in wireless heterogeneous networks architecture. Here the most significant parameters are considered in vertical handoff decision. The proposed method considered Received signal strength (RSS), Monetary Cost(C), Bandwidth (BW), Battery consumption (BC), Security (S) and Reliability (R). Handoff decision making is divided in two sections. First section calculates system obtained value (SOV) considering RSS, C, BW and BC. SOV is calculated using fuzzy logic theory. Today's mobile user are very intelligent in deciding there desired type of services. User preferred network is choose from user priority list is called User obtained value (UOV). Then handoff decisions are made based on SOV & UOV to select the most appropriate network for the mobile nodes (MNs). Simulation results show that fuzzy control theory & user preference based vertical handoff decision algorithm (VHDA) is able to make accurate handoff decisions, reduce unnecessary handoffs decrease handoff calculation time and decrease the probability of call blocking and dropping.

In this paper, we study alethic modal operators in Łukasiewicz’ many-valued logics where truth values are certain rational numbers from the closed unit interval [0,1]. The alethic modal operators necessary and possible are added to Ł3 using Tarski’s idea. The result is a modal logic denoted by Ł\(_{3}^{\mathrm{mod}}\). A formula-equivalency between Ł n and Ł\(_{n}^{\mathrm{mod}}\) is stated for n ≥ 3. Truth value assignments, or valuations, in Łukasiewicz’ n-valued modal logic are considered. The laws of excluded middle and contradiction are considered and found that they are possible in Ł\(_{n}^{\mathrm{mod}}\). Normal modal many-valued systems based on axiom schemes (K), (T), (S4), (B) and (S5) are considered.

An Ontological and Epistemological foundation of Fuzzy Set and Logic Theory is reviewed in comparison to Classical Set and Logic Theory. It is shown that basic equivalences of classical theory breakdown but are re-established as weak equivalences as a containment relation in fuzzy theory. It is also stressed that the law of conservation of information is still upheld within fuzzy theory.