Necessity Measures and the Resolution Principle

DOI10.1109/TSMC.1987.4309063MaRDI QIDQ3786440zbMATH OpenOpenAlexFDO

Authors Didier Dubois, Henri Prade

Publication date 1987

Published in IEEE Transactions on Systems, Man, and Cybernetics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/tsmc.1987.4309063

zbMATH Keywords

fuzzy propositionsnecessity measuresnonvague predicatesprobability measuresresolution principleShafer's belief functionsuncertain propositionsuncertaintyvague predicates

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4027436
• Resolution principles in possibilistic logic
• scientific article; zbMATH DE number 513233
• Fundamentals of Fuzzy Prolog
• Epistemic necessity, possibility, and truth. Tools for dealing with imprecision and uncertainty in fuzzy knowledge-based systems

Cited in

(29)

• Default reasoning and possibility theory
• Epistemic necessity, possibility, and truth. Tools for dealing with imprecision and uncertainty in fuzzy knowledge-based systems
• A fuzzy Petri net for knowledge representation and reasoning
• On the ranking of ill-known values in possibility theory
• Epistemic entrenchment and possibilistic logic
• An alternative proof method for possibilistic logic and its application to terminological logics
• A semantic study of the first-order predicate logic with uncertainty involved
• A note on measures of fuzziness applied to nonmonotonic fuzzy propositional logic
• Mathematical theory of truth-valued flow inference
• Measure based representation of uncertain information
• The possibilistic Horn non-clausal knowledge bases
• Foundation of credibilistic logic
• Proof of theorems in fuzzy logic based on structural resolution
• Fuzzy sets in approximate reasoning. II: Logical approaches
• scientific article; zbMATH DE number 4027436 (Why is no real title available?)
• Reasoning under uncertainty in fuzzy operator logic
• Validating criteria with imprecise data in the case of trapezoidal representations
• scientific article; zbMATH DE number 1322635 (Why is no real title available?)
• scientific article; zbMATH DE number 513233 (Why is no real title available?)
• scientific article; zbMATH DE number 644452 (Why is no real title available?)
• Multiple agent possibilistic logic
• A rough set approach to reasoning under uncertainty
• Multi-source information fusion using measure representations
• Combining various types of belief structures
• Fuzzy temporal constraint logic: A valid resolution principle
• Fuzzy control as a fuzzy deduction system
• Possibilistic logic: a retrospective and prospective view
• Resolution principles in possibilistic logic
• Level sets and the extension principle for interval valued fuzzy sets and its application to uncertainty measures

This page was built for publication: Necessity Measures and the Resolution Principle

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3786440)