A wide variety of knowledge acquisition methods exist for conventional knowledge types such as production rule, semantic knowledge, etc. However, need for causal knowledge acquisition has not been stressed in the expert systems fields. The objectives of this paper are to (1) suggest a causal knowledge acquisition process and (2) investigate the causal knowledge-based inference process. FCM (Fuz...

Some open problems on fuzzy implications dealing with the so-called importation law are studied and totally or partially solved in this work. In particular, it is proved that such property (in fact a weaker version than the law of importation) is stronger than the exchange principle. Along this study, new characterizations of (S,N)-implications and R-implications involving the law of importatio...

In this paper we consider the theory of fuzzy logic programming without negation. Our results cover logical systems with a wide variety of connectives ranging from t-norm and conorms, through conjunctors and disjunctors and their residuals to aggregation operators. Rules of our programs are many valued implications. We emphasize, that in contrast to other approaches, our logic is truth function...

We present GLinClosure, a graded extension of the well-known LinClosure algorithm. GLinClosure can be used to compute degrees of semantic entailment from sets of fuzzy attribute implications. It can also be used together with graded extension of Ganter’s NextClosure algorithm to compute non-redundant bases of data tables with fuzzy attributes. We present foundations, the algorithm, analysis of ...

Most information discovery processes need to understand the reasons of the success of the inference methods or the usability of the new information, which can sometimes be somehow explained with a few useful measures on the premises or on the chosen relations, logics and implications. This chapter presents a state of art on the latest concepts of measure, from the additive measures, to monotone...

In this paper, the authors investigate the ordering property (OP), x y I x y ≤ ⇔ ( ) = , 1 , together with the general form of the law of importation(LI), i.e., I T x y z I x I y z , , , , ( ) ( ) = ( ) ( ) , whereT is a t-norm and I is a fuzzy implication for the four main classes of fuzzy implications. The authors give necessary and sufficient conditions under which both (OP) and (LI) holds f...

Multi-adjoint logic programs generalise monotonic and residuated logic programs [2] in that simultaneous use of several implications in the rules and rather general connectives in the bodies are allowed. As our approach has continuous fixpoint semantics, in this work, a procedural semantics is given for the paradigm of multi-adjoint logic programming and a completeness result is proved. Some ap...