Journal of Intelligent & Fuzzy Systems - Volume 37, issue 6

Authors: Kisiel-Dorohinicki, Marek

Article Type: Research Article

Abstract: Agent-based metaheuristics computing paradigm (EMAS) has been proposed over 20 years ago by Cetnarowicz. Since then, many efforts were made in order to evaluate, formally analyze and further develop this paradigm towards creating new algorithms as EMAS hybrids, or EMAS-inspired techniques. However, at the same time a significant work has been done in order to build efficient software frameworks supporting this (and similar) computing paradigms. These frameworks were based not only on classic object-oriented programming, but also on functional approach and recently also utilizing heterogeneous infrastructure. This paper presents an overview of the most important findings in this area, including …novel ways of processing the agents and component orientation, which allow for both high flexibility and high efficiency of provided solutions. The discussed concepts are illustrated with a case study of a system solving hard computational problem leveraging GPGPU. Show more

Keywords: parallel and distributed computing, agent-based platform, metaheuristics

DOI: 10.3233/JIFS-179363

Citation: Journal of Intelligent & Fuzzy Systems, vol. 37, no. 6, pp. 7567-7578, 2019

Authors: Wikarek, Jarosław | Sitek, Paweł | Bocewicz, Grzegorz

Article Type: Research Article

Abstract: The resource constrained portfolio scheduling problem (RCPoSP), in which orders are grouped in portfolios, is proposed in this study. In the RCPoSP the objective is to deliver all orders in the portfolio at the same time after processing. This problem finds many applications in industrial services, manufacturing companies and, where all items (products, services, items etc.) ordered by the customer have to be delivered at the same time in one lot. The goal is to reduce the delivery costs and/or that all elements of the delivery have the same priority, etc. The presented problem also concerns the scheduling of new …orders in project portfolios and/or a new project portfolio etc. The minimizations of makespan and/or resource needs for the portfolio are also discussed. The authors present a reference model for the RCPoSP and an intelligent framework for modeling and solving the modeled problem based on the original hybrid approach. The opportunity to ask questions, receive answers as well as data representation in the form of facts constitute an invaluable intelligent support to users utilizing this framework. The goal is to provide an intelligent hybrid framework for stating and solving constraint satisfaction or optimization of RCPoSPs. The calculation examples illustrate the capabilities and computational efficiency of the proposed framework. Show more

Keywords: Resource constrained scheduling, constraint satisfaction problem, constraint logic programming, mathematical programming, decision support, group scheduling, fact-based representation, hybrid methods

DOI: 10.3233/JIFS-179364

Citation: Journal of Intelligent & Fuzzy Systems, vol. 37, no. 6, pp. 7579-7593, 2019

Authors: López-Fuentes, Francisco de Asís | Ibañez-Ramírez, Juan Alejandro | Chantes Barrios, Abigail

Article Type: Research Article

Abstract: Currently, distributed systems are used to store information in remote sites. However, these systems are exposed to different types of security risks such as virus, Trojans or ramsomware, and security mechanisms are required to protect the access to these data and guarantee their privacy and integrity. Authentication plays an important role for security issues in a computer system. Authentication is used to prove the user identity, and it is strongly related with the access control to limits the actions and operations that an authenticated user can do in a computer system. However, authentication is a previously step to the access …control, and it assumes that authentication of a user has been done successfully. Several cryptography methods can be integrated in an authentication mechanism in order to obtain robust authentication schemes. An authentication scheme based on Kerberos to access data in multiples domains is presented in this paper. A challenge in our authentication scheme is related with the authentication of Kerberos servers. To deal with this problem a keys distribution architecture is added to authentication scheme in order to authenticate the Kerberos servers in a secure way. Show more

Keywords: Security, authentication, access control, keys distribution, kerberos

DOI: 10.3233/JIFS-179365

Citation: Journal of Intelligent & Fuzzy Systems, vol. 37, no. 6, pp. 7595-7606, 2019

Authors: Siemiński, Andrzej | Kopel, Marek

Article Type: Research Article

Abstract: The paper verifies the usefulness of a parallel and adaptive Ant Colony Communities (ACC) for solving the dynamic Travelling Salesman Problem (DTSP). ACC consists of a set of client colonies with a server to coordinate their work. Each one of the client colonies implements a standard ACO algorithm. The paper contains a detailed analysis of the operation of ACO for static TSP in order to identify its most dominant parameters. Graph Generator is used to modify the distances in TSP. In order to catch up with the constant changes the ACC should work in parallel and to adopt to the …current distances. This is accomplished by modifying the number of iterations and changing the size of its internal prospective solutions buffer. Two implementations of ACC are presented: an asynchronous that works on computers connected through a LAN and a synchronous that uses a Hadoop environment. Numerous experiments clearly indicate, that the adaptive, parallel ACC outperforms both standard version of ACO as well as its versions adopted for DTSP. This is especially true for highly dynamic Graph Generators. Show more

Keywords: Dynamic TSP, Ant Colony Community, PACO, immigrant based colonies, ACO parallel implementation

DOI: 10.3233/JIFS-179366

Citation: Journal of Intelligent & Fuzzy Systems, vol. 37, no. 6, pp. 7607-7618, 2019

Authors: Tabakov, Martin | Quesada, Joel

Article Type: Research Article

Abstract:  In this research, we succeeded in introducing a new reasoning procedure which applies interval type-2 fuzzy sets into a rule induction process. Our proposal allows information granulation which resulted in achieving good experimental results. We introduced decision tables with elements assumed as interval type-2 fuzzy sets which greatly generalize information. Next, by applying corresponding rule induction procedure, we introduced the possibility to generate directly from a benchmark data fuzzy rulebases for type-2 fuzzy inference models. We strongly believe that our reasoning approach will be a proper solution for different research issues such as classification or ranking procedures as well as …determining knowledge for fuzzy inference models. The method proposed was tested in a classification problem verified by using medical benchmark data. Show more

Keywords: Fuzzy sets, fuzzy reasoning, interval type-2 fuzzy sets, data classification, data discovery, pawlak’s information system, information granulation, rule induction, fuzzy rules

DOI: 10.3233/JIFS-179367

Citation: Journal of Intelligent & Fuzzy Systems, vol. 37, no. 6, pp. 7619-7630, 2019

Authors: Nguyen, Ngoc Thang | Phan, Van Thanh | Malara, Zbigniew

Article Type: Research Article

Abstract: In recent decades, the Nonlinear Grey Bernoulli Model “NGBM (1, 1)” has been applied in various fields and achieved positive results. However, its prediction results may be inaccurate in different scenarios. In order to expand the field of application and to improve the predictive quality of the NGBM (1, 1) model, this paper proposes an effective model (named Fourier-NGBM (1, 1)). This model includes two main stages; first, we get the error values based on the actual data and predicted value of NGBM (1, 1). Then, we use a Fourier series to filter out and to select the low-frequency error …values. To test the superior ability of the proposed model, two numerical data sets were used. One is the historical data of annual water consumption in Wuhan from 2005 to 2012 in He et al. ’s paper, and the other is example data from Wang et al. ’s paper. The forecasted results prove that the performance of the Fourier-NGBM (1, 1) model is better than three other forecasting models, namely GM (1, 1), NGBM (1, 1) and the improved Grey Regression model. Furthermore, this study also applied the proposed model to forecast the electricity consumption in Vietnam up to the year 2020. The empirical results can offer valuable insights and provide basic information for model building to develop future policies regarding electrical industry management. In subsequent research, more methodologies can be used to reduce the residual error of the NGBM (1, 1) model, such as Markov chain or different kinds of Fourier functions. Additionally, the proposed model can be applied in different industries with fluctuating data and uncertain information. Show more

Keywords: Fourier series, nonlinear grey Bernoulli model, prediction accuracy, residual error, electricity consumption, Vietnam

DOI: 10.3233/JIFS-179368

Citation: Journal of Intelligent & Fuzzy Systems, vol. 37, no. 6, pp. 7631-7641, 2019

Authors: Madeyski, Lech | Kawalerowicz, Marcin

Article Type: Research Article

Abstract: BACKGROUND: Continuous Test-Driven Development (CTDD) is, proposed by the authors, enhancement of the well-established Test-Driven Development (TDD) agile software development and design practice. CTDD combines TDD with continuous testing (CT) that essentially perform background testing. The idea is to eliminate the need to execute tests manually by a TDD-inspired developer. OBJECTIVE: The objective is to compare the efficiency of CTDD vs TDD measured by the red-to-green time (RTG time), i.e., time from the moment when the project is rendered not compiling or any of the tests is failing, up until the moment when the project compiles and all …the tests are passing. We consider the RTG time to be a possible measurement of efficiency because the shorter the RTG time, the quicker the developer is advancing to the next phase of the TDD cycle. METHOD: We perform single case and small-n experiments in industrial settings presenting how our idea of Agile Experimentation materialise in practice. We analyse professional developers in a real-world software development project employing Microsoft.NET. We extend the contribution presented in our earlier paper by: 1) performing additional experimental evaluation of CTDD and thus collecting additional empirical evidence, 2) giving an extended, detailed example how to use and analyse both a single case and small-n experimental designs to evaluate a new practice (CTDD) in industrial settings taking into account natural constraints one may observe (e.g., a limited number of developers available for research purposes) and presenting how to reach more reliable conclusions using effect size measures, especially PEM and PAND which are more appropriate when data are not normally distributed or there is a large variation between or within phases. RESULTS: We observed reduced variance and trimmed means of the RTG time in CTDD in comparison to TDD. Various effect size measures (including ES, d-index, PEM, and PAND) indicate small, albeit non-zero, effect size due to CTDD. CONCLUSIONS: Eliminating the reoccurring manual task of selecting and executing tests and waiting for the results (by embracing CTDD) may slightly improve the development speed, but this small change on a level of a single developer, multiplied by a number of developers, can potentially lead to savings on the company or industry level. Show more

Keywords: empirical software engineering, agile software development, test-driven development, continuous test-driven development, human-centric experimentation, agile experimentation

DOI: 10.3233/JIFS-179369

Citation: Journal of Intelligent & Fuzzy Systems, vol. 37, no. 6, pp. 7643-7655, 2019

Authors: Choroś, Kazimierz

Article Type: Research Article

Abstract: The automatic detection of video genre is very desirable and necessary for further analysis of videos mainly when the video processing methods should be parameterized according to the specific video features. It improves first of all the efficiency of temporal segmentation. Temporal segmentation is usually the initial stage for the analysis of edited videos, for such processes as highlights detection, removing of undesirable parts like publicity, as well as selection of play segments in sports videos, etc. Then the temporal aggregation method based on the analysis of shot length and consisting in shot grouping into scenes of a given category …can be applied to significantly reduce processing time. The analyses and the observations of videos confirm that the editions of videos and the video structures significantly depend on the video genre. Many processes can be better performed if the genre of video is known and the methods and their parameters are adequate to the video genre. The paper presents the analyses and tests in the AVI Indexer showing the impact of shot length on the results of temporal segmentation, temporal aggregation, and genre detection of video edited in a standard and typical way for a given video genre. Show more

Keywords: Content-based video indexing, digital video structures, temporal segmentation, video shot categorization, temporal relations, automatic video genre classification, temporal aggregation, shot length analysis, AVI indexer

DOI: 10.3233/JIFS-179370

Citation: Journal of Intelligent & Fuzzy Systems, vol. 37, no. 6, pp. 7657-7667, 2019

Authors: Nguyen, Linh Anh | Nguyen, Ngoc-Thanh

Article Type: Research Article

Abstract:  We study the problem of minimizing interpretations in fuzzy description logics (DLs) under the Gödel semantics by using fuzzy bisimulations. The considered logics are fuzzy extensions of the DL 𝒜ℒ𝒞reg (a variant of propositional dynamic logic) with additional features among inverse roles, nominals and the universal role. Given a fuzzy interpretation ℐ and for E being the greatest fuzzy auto-bisimulation of ℐ w.r.t. the considered DL, we define the quotient ℐ/E of ℐ w.r.t. E and prove that it is minimum w.r.t. certain criteria. Namely, ℐ/E is a minimum fuzzy interpretation that validates the same set …of fuzzy terminological axioms in the considered DL as ℐ. Furthermore, if the considered DL allows the universal role, then ℐ/E is a minimum fuzzy interpretation bisimilar to ℐ, as well as a minimum fuzzy interpretation that validates the same set of fuzzy concept assertions in the considered DL as ℐ. Show more

Keywords: fuzzy description logic, fuzzy bisimulation, bisimilarity, Gödel semantics, minimization

DOI: 10.3233/JIFS-179371

Citation: Journal of Intelligent & Fuzzy Systems, vol. 37, no. 6, pp. 7669-7678, 2019

Authors: Zgraja, Jakub | Moulton, Richard Hugh | Gama, João | Kasprzak, Andrzej | Woźniak, Michał

Article Type: Research Article

Abstract: Data stream mining seeks to extract useful information from quickly-arriving, infinitely-sized and evolving data streams. Although these challenges have been addressed throughout the literature, none of them can be considered “solved.” We contribute to closing this gap for the task of data stream clustering by proposing two modifications to the well-known ClusTree data stream clustering algorithm: pruning unused branches and detecting concept drift. Our experimental results show the difficulty in tackling these aspects of data stream mining and the sensitivity of stream mining algorithms to parameter values. We conclude that further research is required to better equip stream learners for …the data stream clustering task. Show more

Keywords: Concept drift, data streams, ClusTree , on-line learning

DOI: 10.3233/JIFS-179372

Citation: Journal of Intelligent & Fuzzy Systems, vol. 37, no. 6, pp. 7679-7688, 2019