The paper presents experimental comparison of several resolution strategies for reasoning in Fuzzy Predicate Logic with evaluated syntax. Resolution-based reasoning is established on previous works concerning non-clausal resolution principle both theoretical and application-oriented (FPLGERDS inference engine).
The paper presents experimental comparison of several resolution strategies for reasoning in Fuzzy Predicate Logic with evaluated syntax. Resolution-based reasoning is established on previous works concerning non-clausal resolution principle both theoretical and application-oriented (FPLGERDS inference engine). (en)