zbMATH — the first resource for mathematics

Necessity measures and the resolution principle. (English) Zbl 0643.94053
A careful distinction is made between fuzzy propositions (i.e., propositions involving vague predicates) that may have intermediary degrees of truth, and uncertain propositions (with nonvague predicates) the truth or falsity of which cannot definitely be established due to the incompleteness of the available information. Then the resolution principle is extended in the case of uncertain propositions where the uncertainty is modeled in terms of necessity measures. The alternative use of probability measures or of Shafer’s belief functions is also discussed.

94D05 Fuzzy sets and logic (in connection with information, communication, or circuits theory)
68T99 Artificial intelligence
Full Text: DOI