This paper discusses inference strategies for fuzzy rule bases resulting from databased automatic rule generation algorithms. Typical methods for rule generation are tree-oriented, statistical and evolutionary approaches. The aim of these data-based methods is the design of compact rule bases with a small number of interpretable rules which map the learning data set and provide a su cient stati...

Images of fuzzy sets under fuzzy relations have been investigated mainly in two contexts: on the one hand, mostly under the term “full image” (Gottwald, 1993), they can be regarded as very general tools for fuzzy inference, leading to the so-called “compositional rule of inference” (Gottwald, 1993; Bauer et al., 1995). The theory of fuzzy relational equations makes direct use of this fundamenta...

Rules are widely used in everyday life to organize actions and thoughts in accordance with our internal goals. At the simplest level, single rules can be used to link individual sensory stimuli to their appropriate responses. However, most tasks are more complex and require the concurrent application of multiple rules. Experiments on humans and monkeys have shown the involvement of a frontopari...

Advancement and application of rule-based expert systems have been a key research area in explainable artificial intelligence (XAI) because the rule-base is one most common natural frameworks for knowledge representation. The present work aims to design novel system, called Cumulative Belief Rule-Based System (CBRBS), by establishing efficient modeling inference procedures, where procedure incl...

Processing information in fuzzy rule-based systems generally employs one of two patterns of inference: composition or compatibility modification. Composition originated as a generalization of binary logical deduction to fuzzy logic, while compatibility modification was developed to facilitate the evaluation of rules by separating the evaluation of the input from the generation of the output. Th...

in this paper, a simplified formulation for compositional reservoir simulator is presented. these types of simulators are used when inter-phase mass transfer depends on phase composition as well as pressure. the procedure for solving compositional model equations is completely described. for equilibrium calculation, property estimation peng robinson equation of state is used. this equation was ...

An inference method based on an equation image of a rule-base and the minimization of a cost index (inference error) is presented. The method has several advantages: it has intuitive insight, allows more powerful rules, and also presents an interesting algebraic (minimum distance) and functional (subsethood) formulation of the meaning of inference. Analysis of internal quality and completeness ...

To illustrate some of the power and convenience of its specification language and theorem prover, we use the PVS formal verification system to verify the soundness of a proof rule for assume-guarantee reasoning due to Ken McMillan.