Necessity Measures and the Resolution Principle

DOI10.1109/TSMC.1987.4309063zbMath0643.94053OpenAlexW2026927381MaRDI QIDQ3786440

Dubois, Didier, 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

uncertaintyprobability measuresresolution principlevague predicatesnecessity measuresShafer's belief functionsfuzzy propositionsuncertain propositionsnonvague predicates

Mathematics Subject Classification ID

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

Related Items (23)

An alternative proof method for possibilistic logic and its application to terminological logics ⋮ Default reasoning and possibility theory ⋮ Fuzzy sets in approximate reasoning. II: Logical approaches ⋮ Mathematical theory of truth-valued flow inference ⋮ Possibilistic logic: a retrospective and prospective view ⋮ A rough set approach to reasoning under uncertainty ⋮ Multiple agent possibilistic logic ⋮ Measure based representation of uncertain information ⋮ Validating criteria with imprecise data in the case of trapezoidal representations ⋮ Resolution principles in possibilistic logic ⋮ A fuzzy Petri net for knowledge representation and reasoning ⋮ On the ranking of ill-known values in possibility theory ⋮ Level sets and the extension principle for interval valued fuzzy sets and its application to uncertainty measures ⋮ Epistemic entrenchment and possibilistic logic ⋮ Unnamed Item ⋮ Combining various types of belief structures ⋮ Foundation of credibilistic logic ⋮ Fuzzy temporal constraint logic: A valid resolution principle ⋮ Fuzzy control as a fuzzy deduction system ⋮ A semantic study of the first-order predicate logic with uncertainty involved ⋮ Multi-source Information Fusion Using Measure Representations ⋮ Proof of theorems in fuzzy logic based on structural resolution ⋮ The possibilistic Horn non-clausal knowledge bases

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