This paper presents a new approach to show the validity of the chaining syllogism for fuzzy IF-THEN rules and rule bases. Based on this approach new conditions are given on which the deduction scheme holds.

Knowledge management (KM) facilitates the capture, storage, and dissemination of knowledge using information technology. In this paper, we propose a FKM (Fuzzy Knowledge Management) approach to managing fuzzy knowledge through knowledge engineering and fuzzy logic. First, fuzziness is introduced into CGs (Conceptual Graphs) for constructing fuzzy knowledge models. Fuzzy knowledge models are use...

This paper looks to introduce the reader to the idea of a fuzzy logic system and how this type of system differs from traditional propositional logic systems by way of summarizing the foundational ideas presented in Hájek’s Metamathematics of Fuzzy Logic. Because a fuzzy system has different laws from a standard propositional one, propositional logic operations such as conjunction and implicati...

In accordance with Tarski point of view, in this chapter the theory of closure operators is proposed as a unifying tool for fuzzy logics. Indeed, let F be the set of formulas of a given language. Then an abstract fuzzy logic is defined by a fuzzy semantics (i.e. a class of valuations of the formulas in F) and by a closure operator in the lattice of the fuzzy subsets of F (we call deduction oper...

This paper proposes a new fuzzy approach for automatic segmentation of normal and pathological brain MRI volumetric data sets. MRI is generally useful for brain tumor deduction because it provide more detailed information about its type, position, size. Brain tumor segmentation is the separation of different tumor tissues from normal brain tissue. In automatic brain segmentation MRI is a sophis...

When applying rules induced from training examples to a test example, there are three possible cases which demand different actions: (1) no match, (2) single match, and (3) multiple match. Existing techniques for dealing with the fist and third cases are exclusively based on probability estimation. However, when there are continuous attributes in the example space, and if these attrihrrtnn hilv...

In this paper, extension of the EQ-logic by the ∆connective is introduced. The former is a new kind of many-valued logic which based on EQ-algebra of truth values, i.e. the algebra in which fuzzy equality is the fundamental operation and implication is derived from it. First, we extend the EQ-algebra by the ∆ operation and then introduce axioms and inference rules of EQ∆-logic. We also prove th...

In this paper we give a possible model for handling uncertain information. The concept of fuzzy knowledge-base will be defined as a quadruple of any background knowledge, defined by the proximity of predicates and terms; a deduction mechanism: a fuzzy Datalog program; a connecting algorithm, which connects the background knowledge with the program and a decoding set of the program, which help u...

In this work we present a model for handling uncertain information. The concept of fuzzy knowledge-base is defined as a quadruple of background knowledge. Specifically, the latter is defined by the proximity of predicates and terms; a deduction mechanism: a fuzzy Datalog program; a connecting algorithm, which connects the background knowledge with the program, and a decoding set of the program ...

Fuzzy reasoning, case-based reasoning (CBR) and experience-based reasoning (EBR) or natural reasoning have been seriously studied for years. However, these studies essentially can be considered as a 1-dimensional approach, because their reasoning paradigm is 1-dimensional. This paper will propose a 2-dimensional (2D) approach that represents fuzzy reasoning, CBR, and EBR in a unified way. This ...