Fuzzy Logic and the Resolution Principle
Copyright policy )Fuzzy Logic and the Resolution Principle
ABSTRACT The relationship between fuzzy logic and two-valued logic in the context of the first order predicate calculus is discussed. It is proved that if every clause in a set of clauses is something more than a “half-truth” and the most reliable clause has truth-value a and the most unreliable clause has truth-value b , then we are guaranteed that all the logical consequences obtained by repeatedly applying the resolution principle will have truth-value between a and b . The significance of this theorem is also discussed.
- National Institutes of Health United States
- National Institute of Health Pakistan
Many-valued logic, Nonclassical and second-order set theories, Theorem proving (deduction, resolution, etc.)
Many-valued logic, Nonclassical and second-order set theories, Theorem proving (deduction, resolution, etc.)
citations 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).263 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.Top 1% influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).Top 0.01% impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.Top 10%
Citations provided by BIP!Popularity provided by BIP!