{"title":"A Graded Approach to Requirement Satisfaction for Evolving Systems","authors":"T. Martin, R. Anggraini","doi":"10.1109/FUZZ-IEEE.2019.8858795","DOIUrl":"https://doi.org/10.1109/FUZZ-IEEE.2019.8858795","url":null,"abstract":"There has been a strong trend towards autonomous and semi-autonomous systems in recent years. Evolving and adaptive systems embody the notion of autonomy, by changing their behavior (and possibly their structure) in response to changes in their environment. A consequence is that a designer may not be able to fully define the functional behavior of a system. Hence, formal verification and testing may not be possible. As a result, the self-adapting aspect of an evolving system is often implemented in an informal, ad hoc, manner and there is potential for causing significant harm if a system malfunctions in some way. A safety case requires more than an assertion that a system will work because it has not failed in testing. A more rigorous approach is essential, in which we can formally show that an evolving system meets its requirements and specifications. This paper outlines initial work in combining the X-mu approach (to model fuzzy uncertainty) with flexible requirements for an evolving system specified in RELAX, a formal framework to capture the uncertainty in evolving system requirements. A simple case study is used to illustrate some of the principles.","PeriodicalId":448018,"journal":{"name":"2019 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)","volume":"148 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116595774","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pan Su, Tianhua Chen, Haoyu Mao, Jianyang Xie, Yitian Zhao, Jiang Liu
{"title":"On the Application of Preaggregation Functions to Fuzzy Pattern Tree","authors":"Pan Su, Tianhua Chen, Haoyu Mao, Jianyang Xie, Yitian Zhao, Jiang Liu","doi":"10.1109/FUZZ-IEEE.2019.8858922","DOIUrl":"https://doi.org/10.1109/FUZZ-IEEE.2019.8858922","url":null,"abstract":"Building transparent knowledge-based systems in the form of accurate and interpretable fuzzy rules is one of the significant applications of fuzzy set theory. The fuzzy connectives, i.e., T -norm/conorm, play the role of connecting fuzzy sets, which are essentially linguistic terms extracted from the knowledge embedded in a given data set. Fuzzy pattern tree is a recently proposed novel machine learning technique, which grows a hierarchical binary tree for each known class utilising conventional T -norms/conorms and aggregation operators. Preaggregation functions are recently proposed in the literature as a type of generalised aggregation functions, which have achieved successes in a number of applications. This paper proposes a preaggregation-based approach with application to the construction of fuzzy pattern tree. An experimental study is done to explore the performance of the fuzzy pattern tree where preaggregation functions are employed in comparison to that where conventional aggregation operators are utilised. Experimental results demonstrate that the performance of fuzzy pattern tree incorporated with the preaggregation function generated by Nilpotent minimum T -norm outperforms those with alternative preaggregation functions and the commonly used ordered weighted averaging operators.","PeriodicalId":448018,"journal":{"name":"2019 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129402431","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Effective instance selection using the fuzzy-rough lower approximation","authors":"Richard Jensen, M. Amiri, Neil MacParthaláin","doi":"10.1109/FUZZ-IEEE.2019.8858799","DOIUrl":"https://doi.org/10.1109/FUZZ-IEEE.2019.8858799","url":null,"abstract":"Fuzzy-rough set theory has been applied with much success to the problem of feature selection, where there is a clear link between the constructs (i.e., lower approximation, positive region, etc) and the problem (i.e., finding reducts). However, there has not been much development with regards to instance selection. Previous techniques have focused on preserving the positive region or the dependency, or have concentrated on prototype selection. This paper proposes a general instance selection approach that is efficient and effective in finding reductions that maintain the integrity of the underlying class structure. By utilizing the lower approximation information, instances can be removed that have a high similarity with more representative instances of a class. In addition to a threshold-based approach, a fully automated method that requires no user input is also presented. The experimentation demonstrates that the proposed method is indeed effective at reducing the number of instances with minimal information loss.","PeriodicalId":448018,"journal":{"name":"2019 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129566775","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Bahadir Zeren, Muhammet Deveci, S. Coupland, R. John, E. Özcan
{"title":"A Study on the Interpretability of a Fuzzy System to Control an Inverted Pendulum","authors":"Bahadir Zeren, Muhammet Deveci, S. Coupland, R. John, E. Özcan","doi":"10.1109/FUZZ-IEEE.2019.8858891","DOIUrl":"https://doi.org/10.1109/FUZZ-IEEE.2019.8858891","url":null,"abstract":"Fuzzy systems mimic human reasoning and provide solutions to problems under uncertainty via ‘computing with words’. This particular strength of fuzzy systems is often discarded in some real world applications where the fuzzy sets are designed for control problems or created through training using historical data. This study explores the interpretability of fuzzy systems by generating ‘meaningful’ fuzzy sets using a dictionary constructed by humans and fuzzy transfer learning. The inverted pendulum control problem is used as a case study. The empirical results show that intepretability of a fuzzy system is achievable even for this problem at the expense of a ‘slightly’ reduced performance.","PeriodicalId":448018,"journal":{"name":"2019 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)","volume":"02 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-06-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129895994","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Yunus Govdeli, S. Muzaffar, Raunak Raj, B. Elhadidi, E. Kayacan
{"title":"Learning Control of Tandem-Wing Tilt-Rotor UAV with Unsteady Aerodynamic Model","authors":"Yunus Govdeli, S. Muzaffar, Raunak Raj, B. Elhadidi, E. Kayacan","doi":"10.1109/FUZZ-IEEE.2019.8859023","DOIUrl":"https://doi.org/10.1109/FUZZ-IEEE.2019.8859023","url":null,"abstract":"This paper presents a novel transition flight mathematical model of tilt-rotor unmanned aerial vehicles and demonstrates an application of a novel learning controller on the developed model. Instead of conventional steady aerodynamic models, an unsteady aerodynamic model capable of representing rapid changes in the air flow is developed for the tilt-rotor transition flight. The vehicle is controlled by a neuro-fuzzy learning controller, consisting of a type-2 fuzzy neural network and a proportional-derivative controller. Its results are compared with the results of proportional-integral-derivative controllers. It is evident from the results that the learning controller is capable of capturing the rapid changes in the aerodynamics and outperforms its nonlearning counterpart under perturbed conditions.","PeriodicalId":448018,"journal":{"name":"2019 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-06-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120943709","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Mining Fuzzy-Temporal Gradual Patterns","authors":"D. Owuor, Anne Laurent, J. Orero","doi":"10.1109/FUZZ-IEEE.2019.8858883","DOIUrl":"https://doi.org/10.1109/FUZZ-IEEE.2019.8858883","url":null,"abstract":"Gradual patterns allow for retrieval of the correlations between attributes through rules such as \"the more exercise, the less stress\". However, it is possible that a temporal lag may exist between changes in some attributes and their impact on others, current methods do not take this into account. In this paper, we extend GRAANK approach using fuzzy temporal constraints to handle these situations and retrieve patterns such as: \"the more exercise, the less stress almost 1 month later\". For this kind of patterns, we designed three algorithms that were implemented and tested on real data.","PeriodicalId":448018,"journal":{"name":"2019 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-06-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117044167","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Interval Type-2 fuzzy logic for dynamic parameter adjustment in the imperialist competitive algorithm","authors":"Emer Bernal, O. Castillo, J. Soria, F. Valdez","doi":"10.1109/FUZZ-IEEE.2019.8858935","DOIUrl":"https://doi.org/10.1109/FUZZ-IEEE.2019.8858935","url":null,"abstract":"In this paper we propose the use of interval type-2 fuzzy systems to dynamically adjust the parameters of the imperialist competitive algorithm (ICA). A type-1 fuzzy system was taken as a basis, with the input variable as the decades and beta as the output variable, then after that we extended to an interval type-2 fuzzy system, with some variants base on triangular, Gaussian and trapezoidal membership functions. The imperialist competitive algorithm takes as its basis the concept of imperialism, where the strongest countries absorb the weakest and make then their colonies. To measure the performance of the proposed approach 6 benchmark functions are used and finally, a comparison was made between the variants and the results obtained with the type-1 fuzzy system to observe their behavior applied to benchmark mathematical functions.","PeriodicalId":448018,"journal":{"name":"2019 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-06-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128237746","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Yinghua Shen, W. Pedrycz, R. Moraes, Xingchen Hu, Xianmin Wang, A. Gacek
{"title":"Clustering of Information Granules in Hotspot Identification","authors":"Yinghua Shen, W. Pedrycz, R. Moraes, Xingchen Hu, Xianmin Wang, A. Gacek","doi":"10.1109/FUZZ-IEEE.2019.8858904","DOIUrl":"https://doi.org/10.1109/FUZZ-IEEE.2019.8858904","url":null,"abstract":"Conceptually and algorithmically, hotspots could be regarded as information granules. In this study, we propose an aggregation of Fuzzy C-Means (FCM) algorithm and the principle of justifiable granularity (PJG) as a new approach to forming hotspots. With the proposed method, the quality of the hotspots formed in this manner could also be provided as an additional information to the decision makers. Moreover, a weighted granular clustering method is presented to further abstract the constructed hotspots, and this delivers a higher level of abstraction of the phenomenon of interest. A collection of synthetic data is used to show the proposed process of identifying the hotspots, and to demonstrate its differences with some other representative hotspot identification methods. Besides, real-world data are also used to illustrate the performance of the proposed method.","PeriodicalId":448018,"journal":{"name":"2019 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-06-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123617247","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Ontology-Based Representation and Reasoning about Precise and Imprecise Time Intervals","authors":"F. Ghorbel, F. Hamdi, Elisabeth Métais","doi":"10.1109/FUZZ-IEEE.2019.8859019","DOIUrl":"https://doi.org/10.1109/FUZZ-IEEE.2019.8859019","url":null,"abstract":"In this paper, we propose an ontology-based approach for representing and reasoning about precise and imprecise time intervals. This approach is three folds: (i) extending the 4D-fluents approach with new crisp and fuzzy components, to represent precise and imprecise time intervals, and temporal relations between them, (ii) extending the Allen’s interval algebra to enable reasoning about the handled temporal data, and (iii) creating a Fuzzy-OWL 2 ontology \"TimeOnto\" that, based on the extended Allen’s interval algebra, instantiate our 4D-fluents-based representation. The extension of the Allen’s algebra handles precise and imprecise time intervals to express precise (e.g., \"Before\") and imprecise (e.g., \"Just before\") temporal relations. Compared to related work, our imprecise relations are personalized, in the sense that they are not limited to a defined set of interval relations and their meanings are determined by the domain expert. For instance, the Allen’s relation \"Before\" may be generalized in 5 imprecise relations, where \"Before(1)\" means \"just before\" and gradually the time gap between the two intervals increases until \"Before(5)\" which means \"too long before\". To enable this representation, we propose an extension of the Vilain and Kautz’s point algebra and a redefinition of the Allen’s relations by means of this extended algebra. Unlike most related work, the resulting relations preserve many of the desirable properties of the Allen’s algebra. These relations can be used for temporal reasoning by means of a transitivity table. We describe a prototype based on TimeOnto that infers new relations using a set of SWRL and fuzzy IF-THEN rules. This prototype was integrated in an ontology-based memory prosthesis.","PeriodicalId":448018,"journal":{"name":"2019 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-06-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126401856","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Improved Deep Fuzzy Clustering for Accurate and Interpretable Classifiers","authors":"Mojtaba Yeganejou, S. Dick","doi":"10.1109/FUZZ-IEEE.2019.8858809","DOIUrl":"https://doi.org/10.1109/FUZZ-IEEE.2019.8858809","url":null,"abstract":"While deep learning has demonstrated excellent performance in many challenging learning tasks, it has not yet found broad acceptance amongst users. The key deficiency seems to be the uninterpretable nature of a deep neural network; no general, practical method for explaining the predictions or decisions of such a network has been devised. Lacking such, users seem unwilling to entrust deep learning with critical decisions.One approach to generating explanations is to design algorithms that are inherently more interpretable. Neuro-fuzzy systems are an example, which we are extending to deep networks; in particular by designing deep fuzzy clustering algorithms. Deep fuzzy clustering employs a deep learner as an automated feature extractor. A fuzzy clustering is performed in the extracted feature space, and a classifier built from it. The resulting model appears more interpretable, but at the cost of lower accuracy. This paper explores improvements to deep fuzzy clustering leading to a more accurate deep fuzzy classifier that still seems highly interpretable. We evaluate the accuracy and interpretability of the model on the MNIST dataset.","PeriodicalId":448018,"journal":{"name":"2019 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-06-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125761104","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}