Journal of Intelligent & Fuzzy Systems - Volume 31, issue 1

Authors: Ren, Fuji | Wang, Yu | Quan, Changqin

Article Type: Research Article

Abstract: Partially observable Markov decision process (POMDP) model has been demonstrated many times to be suited for robust spoken dialogue management. Recently, some factored representations of POMDP model are designed for specific dialogue tasks. This paper proposes a novel factored POMDP model to describe a new application of affective dialogue management. Different from existing models, the user’s state space and the system’s observation space are both divided into two distinct components: goal and emotion. Moreover, the system’s action space is for the first time factored into two parts, i.e., goal response and emotion response, and the reward function is accordingly updated …by weighted sum of the two-part rewards. An example of intelligent music player is given to explain how to apply the new model to build an affective dialogue system. Four experiments are designed to reveal the influence of key parameters on the system performance. The simulation results demonstrate the rationality and feasibility of the proposed model. Show more

Keywords: Dialogue management, POMDP model, affective computing, spoken dialogue system

DOI: 10.3233/IFS-162126

Citation: Journal of Intelligent & Fuzzy Systems, vol. 31, no. 1, pp. 127-136, 2016

Authors: Yousefian, Rosa | Aboutorabi, Shahryar | Rafe, Vahid

Article Type: Research Article

Abstract: Nowadays, using model checking techniques is one of the best solutions for software (and hardware) verification. The problem while using model checking techniques is state space explosion in which all the available memory is consumed by the model checker to generate all the reachable states. Among different approaches to cope with the state space explosion problem, using heuristic and meta-heuristic algorithms seems a proper solution. Although in all of these approaches it is not possible to solve the problem totally, however, it is possible to use them as refutation techniques. In the meta-heuristic techniques it is tried to generate only …a portion of the state space with the highest probability to reach a faulty state. In this paper, we propose two new algorithms to deadlock detection in complex software systems specified through graph transformation systems. The first approach is a hybrid algorithm using PSO and BAT (BAPSO) and the second one is a greedy algorithm to find deadlocks. The experimental results show that the hybrid approach (BAPSO) is more accurate than PSO, BAT and other existing approaches like Genetic Algorithm (GA). In addition, in most of the case studies, the proposed greedy algorithm can compete with the meta-heuristic algorithms in terms of speed and accuracy. Show more

Keywords: State space explosion, model checking, Graph Transformation Systems, genetic algorithm, BAT algorithm, Particle swarm optimization algorithm, greedy algorithm

DOI: 10.3233/IFS-162127

Citation: Journal of Intelligent & Fuzzy Systems, vol. 31, no. 1, pp. 137-149, 2016

Authors: Borzooei, R.A. | Goraghani, S. Saidi

Article Type: Research Article

Abstract: In this paper, by considering the notion of MV -modules, which is the structure that naturally correspond tolu -modules over lu -rings, we present the definitions of finitely generated and free MV -modules. Also, we define the notions of A k -module and free A k -module, where A is a PMV -algebra and k ∈ ℕ . In a special case, we obtain a general representation for a free A k -module. In the follow, by considering the notion of free objects, we obtain a method to construct a free objecton a …nonempty set in A k -modules. Finally, we present the definitions of invariant dimension property and A k -invariant dimension property in PMV -algebras and prove that every PMV -algebra has the A k -invariant dimension property. Show more

Keywords: (MV, PMV)-algebra, MV-module, free MV-module, invariant dimension property.

DOI: 10.3233/IFS-162128

Citation: Journal of Intelligent & Fuzzy Systems, vol. 31, no. 1, pp. 151-161, 2016

Authors: Liu, Qiong | Yang, Fuzeng | Pu, Yingjun | Zhang, Mengyun | Pan, Guanting

Article Type: Research Article

Abstract: In order to solve the problems of poor universality, auxiliary algorithm complexity and great limitation in general segmentation algorithms, a new segmentation algorithm for farmland obstacle images using an intuitionistic fuzzy divergence based on threshold techniques was proposed. The original three-dimensional color image was converted to (Z-Y) chromatic aberration grayscale image on XYZ color space as the input images. While using intuitionistic fuzzy divergence, a modified Wu’s membership function and Sugeno’s intuitionistic fuzzy generator were used to find the membership and non-membership functions respectively. A new exponential intuitionistic fuzzy divergence based entropy formulas has been proposed and the optimum threshold …value has been obtained by minimizing intuitionistic fuzzy divergence. The experimental results indicated that the proposed algorithm could clearly detect all types of obstacles and overcome the influence of unstructured environments well such as uneven illumination, shadow, weather and so on. The results inspire us explore further applications of intuitionistic fuzzy sets in the segmented images that contain a high degree of uncertain information. Furthermore, this proposed method can be used for the agricultural robots vision navigation accurately. Show more

Keywords: Threshold, image segmentation, intuitionistic fuzzy set, intuitionistic fuzzy divergence, farmland obstacle

DOI: 10.3233/IFS-162129

Citation: Journal of Intelligent & Fuzzy Systems, vol. 31, no. 1, pp. 163-172, 2016

Authors: Khorramnia, Reza | Jahromi, Mohsen Ketabi | Salari, Sanaz | Nafar, Mehdi | Jabari, Masoud

Article Type: Research Article

Abstract: In this paper, a realistic formulation for the non-convex economic dispatch problem is proposed. It considers different practical constraints including ramp rate limits, valve loading effect, prohibited operating zones, spinning reserve and multi-fuel options. In this regard, a new optimization method based on the bat algorithm is proposed to solve the problem. Meanwhile, because the proposed problem is complex, nonlinear, and constrained, a new self-adaptive modification method, called modified BA or shortly MBA, is proposed. The satisfying performance of the proposed optimization method is examined using IEEE 15-unit, 40-unit and 100-unit test systems. Comparative studies demonstrate the consistent superiority of …the proposed method over other alternative optimization techniques widely used in the literature for solving the economic dispatch problem. Show more

Keywords: Economic dispatch, modified bat algorithm, self-adaptive modification mechanism, nonlinear constrained optimization

DOI: 10.3233/IFS-162130

Citation: Journal of Intelligent & Fuzzy Systems, vol. 31, no. 1, pp. 173-183, 2016

Authors: Wang, Liming | Zhang, Qiang

Article Type: Research Article

Abstract: The F -core and the F -balancedness have been introduced for fuzzy interval cooperative games by Mallozzi et al. (2011). It was pointed out that the F -balancedness was a necessary but not sufficient condition for the non-emptiness of the F -core. In this paper, a numerical example is given to show that the F -balancedness can not guarantee the non-emptiness of the F -core. Furthermore, the F -cores of trapezoidal fuzzy interval games are discussed in detail. Some properties of the F -core are obtained and three sufficient conditions for the …non-emptiness of the F -core are given. These conclusions are generalizations of the corresponding results in both interval cooperative game theory and classical cooperative game theory. Lastly, an application example is also provided. Show more

Keywords: Fuzzy interval, cooperative games, convex games, core

DOI: 10.3233/IFS-162131

Citation: Journal of Intelligent & Fuzzy Systems, vol. 31, no. 1, pp. 185-191, 2016

Authors: Xing, Yong-Jie | Xing, Chen

Article Type: Research Article

Abstract: With the increasingly fierce competition in the market, the virtual enterprises are becoming a realistic choice of enterprises. As a new business mode, the virtual enterprises bring tremendous opportunities to improve the competitiveness of enterprises to a certain degree. However, without enough practical and proper theoretical experience, the failure probability of virtual enterprises is high. The virtual enterprises have certain advantages, but the complexity of their organization makes the uncertainties increasing, the risk analysis control is difficult and the risk management is complex. In order to achieve smooth operation and expected profits, the virtual enterprises must succeed to avoid the …risks. Therefore, the risk management for virtual enterprises is significant in theoretical and practical research. In this paper, we investigate the 2-tuple linguistic multiple attribute group decision making problems with incomplete weight information, some basic concepts and operational laws of 2-tuple linguistic variables are introduced. A model based on the entropy weight method, by which the attribute weights can be determined, is established. According to the traditional ideas of grey relational analysis (GRA), the optimal alternative(s) is determined by calculating the linguistic degree of grey relation of every alternative and 2-tuple linguistic positive ideal solution and 2-tuple linguistic negative ideal solution. It is based on the concept that the optimal alternative should have the largest degree of grey relation from positive ideal solution and the smallest degree of grey relation from the negative ideal solution. Finally, an illustrative example for evaluating the virtual enterprise’s risk is given to verify the developed approach and to demonstrate its practicality and effectiveness. Show more

Keywords: Multiple attribute group decision making, 2-tuple linguistic information, grey relational analysis (GRA), entropy weight method, virtual enterprise’s risk

DOI: 10.3233/IFS-162132

Citation: Journal of Intelligent & Fuzzy Systems, vol. 31, no. 1, pp. 193-200, 2016

Authors: Guan, Fei | Xie, Dengyuan | Zhang, Qiang

Article Type: Research Article

Abstract: A cooperative game describes a situation in which a finite set of n players can generate certain profits by their cooperation. How to allocate the profits effectively among each player is very important and it will affect the stability and the sustainable development of their cooperation. In this paper, by analyzing the characteristics of the existing solutions to solve the profit allocation problem, some concepts such as cooperative unit, perfect matching pair are firstly defined, a construction method of matching order is proposed. Then a new solution called matching value is defined, its basic properties are discussed by a …series of theorems. Finally, a matching value under total coalition structure is defined and its axiomatization is proved by three axioms. Show more

Keywords: Cooperative games, matching value, matching order, coalition formation, coalition structure

DOI: 10.3233/IFS-162133

Citation: Journal of Intelligent & Fuzzy Systems, vol. 31, no. 1, pp. 201-212, 2016

Authors: Gupta, Gourav | Kumar, Amit | Appadoo, S.S.

Article Type: Research Article

Abstract: It is well known that the ranking of generalized fuzzy numbers depend upon the height of fuzzy numbers. In this note, it is shown that the method, proposed by Rezvani [Applied Mathematics and Computation 262 (2015) 191-198] for ranking of generalized exponential trapezoidal fuzzy numbers, is independent from height of fuzzy numbers. Hence, it is not genuine to use this method for ranking of generalized exponential trapezoidal fuzzy numbers.

Keywords: Exponential trapezoidal fuzzy numbers, ranking method, variance

DOI: 10.3233/IFS-162134

Citation: Journal of Intelligent & Fuzzy Systems, vol. 31, no. 1, pp. 213-215, 2016

Authors: El-Saady, Kamal

Article Type: Research Article

Abstract: This paper presents a theory of uniform-type structures in the non-commutative sense. The theory comprises the theory of covering-uniformities for quantales as a generalization of the classical theory of covering-uniformities for frames. Also, by introducing quantale-valued covers of a set, we present a general framework for uniform structures on very general L -valued spaces (for L a quantale). The categories of (covering) uniform quantales and L -valued uniform spaces here introduced and the adjunction between them is studied.

Keywords: Covering uniformities, uniform frames, L-quasi-topologies, quantales

DOI: 10.3233/IFS-162135

Citation: Journal of Intelligent & Fuzzy Systems, vol. 31, no. 1, pp. 217-225, 2016