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...

The paper develops fuzzy attribute logic, i.e. a logic for reasoning about formulas of the form A ⇒ B where A and B are fuzzy sets of attributes. A formula A ⇒ B represents a dependency which is true in a data table with fuzzy attributes iff each object having all attributes from A has also all attributes from B, membership degrees in A and B playing a role of thresholds. We study axiomatic sys...

fuzzy logic, 67algebraic semantics, 53approximate reasoning, 6axiomatic extensions of MTL, 56 Bellman, R., 21bipolar possibilistic logic, 93BL logic, 51 canonical chain, 66canonical completeness, 66canonical extension, 83Carnap, R., 3comparative truth, 63compositionality, 29computational complexity, 73core fuzzy logic, 58 De Finetti B., 3degre...

Problem statement: Surface roughness is a major consideration in modern Computer Numerical Control (CNC) turning industry. Most existing optimization researches for CNC finish turning were either accomplished within certain manufacturing circumstances, or achieved through numerous equipment operations. Therefore, a general deduction optimization scheme is deemed to be necessary for the industry...

Most existing multi-attribute optimization researches for the modern CNC (computer numerical control) turning industry were either accomplished within certain manufacturing circumstances, or achieved through numerous equipment operations. Therefore, a general deduction optimization scheme proposed is deemed to be necessary for the industry. In this paper, four parameters (cutting depth, feed ra...

Intuitionistic fuzzy logic IF was introduced by Takeuti and Titani. This logic coincides with the first-order Gödel logic based on the real unit interval [0, 1] as set of truth-values. We present a natural deduction system NIF for IF . NIF is defined by suitably translating a first-order extension of Avron’s hypersequent calculus for Gödel logic. Soundness, completeness and normal form theorems...

In this article, we return to the problem of the derivation of a conclusion on the basis of fuzzy IF–THEN rules. The, so called Mamdani method is well elaborated and widely applied. In this article, we present an alternative to it. The fuzzy IF–THEN rules are here interpreted as genuine linguistic sentences consisting of the so called evaluating linguistic expressions. Sets of fuzzy IF–THEN rul...

In this paper we will investigate which fuzzy/linguistic rules are redundant in systems of such rules called linguistic descriptions. We present a formal definition of redundancy and show that rules which are seemingly redundant can be in fact indispensable. These results apply for IF-THEN rules which use evaluative linguistic expressions (e.g., small, very big, etc.) and inference method calle...

This paper provides a logical basis for manipulation with fuzzy IF-THEN rules. Our theory is wide enough and it encompasses not only finding a conclusion by means of the compositional rule of inference due to Lotfi A. Zadeh but also other kinds of approximate reasoning methods, e.g. perception-based deduction, provided that there exists a possibility to characterize them within a formal logical...

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...