Necessity Measures and the Resolution Principle
- 1 May 1987
- journal article
- letter
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Systems, Man, and Cybernetics
- Vol. 17 (3) , 474-478
- https://doi.org/10.1109/tsmc.1987.4309063
Abstract
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.Keywords
This publication has 10 references indexed in Scilit:
- The implementation of Fprolog—A fuzzy Prolog interpreterFuzzy Sets and Systems, 1987
- Probabilistic logicArtificial Intelligence, 1986
- Prolog-ELF incorporating fuzzy logicNew Generation Computing, 1985
- The role of fuzzy logic in the management of uncertainty in expert systemsFuzzy Sets and Systems, 1983
- A Note on Fuzzy DeductionJournal of the ACM, 1980
- Fuzzy sets as a basis for a theory of possibilityFuzzy Sets and Systems, 1978
- A Mathematical Theory of EvidencePublished by Walter de Gruyter GmbH ,1976
- Fuzzy Logic and the Resolution PrincipleJournal of the ACM, 1972
- Fuzzy setsInformation and Control, 1965
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965