Linear Resolution for Fuzzy Logic Program
Copyright policy )Linear Resolution for Fuzzy Logic Program
Summary: Fuzzy logic programming is the theoretical foundation of Fuzzy Prolog, which is a fuzzy programming language based on fuzzy logic. In this paper, fuzzy logic programming is defined such that (1) fuzzy definite clause which is a logic formula for a representation of uncertain assertion, (2) fuzzy logical consequence which is a fuzzy definite clause characterized to be correct conclusion, (3) SLD-resolution which is a procedure to obtain fuzzy logical consequences from a set of fuzzy definite clauses, (4) degree of resolution which is the value giving a fuzzy logical consequence with the highest confidence. The main results concern the soundness and completeness of SLD-resolution, that is, a fuzzy definite clause is a fuzzy logical consequence, if and only if it is resolved by SLD-resolution.
- Fujitsu (Japan) Japan
- Meijo University Japan
fuzzy logic programming, Logic programming, fuzzy prolog, Theorem proving (deduction, resolution, etc.)
fuzzy logic programming, Logic programming, fuzzy prolog, Theorem proving (deduction, resolution, etc.)
selected citations These citations are derived from selected sources.This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).3 popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.Average influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).Average impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.Average
Citations provided by BIP!Popularity provided by BIP!