Software systems are often model checked by translating them into a directly model-checkable formalism. Any serious software system requires application of compositional reasoning to overcome the computational complexity of model checking. This paper presents Translation-Based Compositional Reasoning (TBCR), an approach to application of compositional reasoning in the context of model checking ...

This paper provides an improved decision making approach based on fuzzy numbers and the compositional rule of inference by Yao and Yao (2001). They claimed to have created a new method that combines statistical methods and fuzzy theory for medical diagnosis. Currently, numerous papers have cited that work. In this study, we show that if we follow their matrix multiplication operation approach, ...

The biplot is a widely and powerful methodology used with multidimensional data sets to describe and display the relationships between observations and variables in an easy way. Compositional data consist of positive vectors each of which is constrained to have a constant sum; due to this property standard biplots can not be performed with compositional data, instead of a previous transformatio...

one-third of the people with an age over twenty have some signs of degenerated discs. however, in most of the patients the mere presence of degenerative discs is not a problem leading to pain, neurological compression, or other symptoms. this paper presents an interval type-2 fuzzy hybrid rule-based system to diagnose the abnormal degenerated discs where pain variables are represented by interv...

This paper puts forward the idea that information encoded on a computer may have a negative or a positive emphasis. Negative information corresponds to the statement that some situations are impossible. It is often the case for pieces of background knowledge expressed in a logical format. Positive information corresponds to observed cases. It is often encountered in data-driven mathematical mod...

The Bandler–Kohout Subproduct (BKS) inference mechanism is one of the two established fuzzy relational inference (FRI) mechanisms, the other being Zadeh’s Compositional Rule of Inference (CRI). Both these FRIs are known to possess many desirable properties. It can be seen that many of these desirable properties are due to the rich underlying structure, viz., the residuated algebra, from which t...

Several Fuzzy Rule Interpolation (FRI) techniques have limitations from the direct application point of view, for example their applicability is limited to the one dimensional case, or they can be defined only based on the two closest surrounding rules of the actual observation. This is the reason why relatively few FRI methods can be found among the practical fuzzy rule based applications. Wit...

This paper reviews some important points of sparse rule-bases, the reason of their generation and after that three methods are presented, which allow the approximation of the missing rules with reasonable demand on computing. The delimitations and advantages of these methods are presented, too. Fuzzy systems based on a sparse rule-base do not have rules for all the possible combinations of obse...

This paper reviews some important points of sparse rule-bases, the reason of their generation and after that three methods are presented, which allow the approximation of the missing rules with reasonable demand on computing. The delimitations and advantages of these methods are presented, too. Fuzzy systems based on a sparse rule-base do not have rules for all the possible combinations of obse...