The non-axiomatizability of the observational predicate calculus (generalized Trachtenbrot's theorems)
Selection and correction of weighted rules based on Łukasiewicz's fuzzy logic with evaluated syntax
The core of the expert knowledge is typically represented by a set of rules (implications) assigned with weights specifying their (un)certainties. In the paper, a method for hierarchical selection and correction of expert's weighted rules is described particularly in the case when Łukasiewicz's fuzzy logic with evaluated syntax for dealing with weights is used.
Editorial: Data–Algorithms–Decision Making
Inference in expert systems based on complete multivalued logic
Page 1