Necessity Measures and the Resolution Principle
From MaRDI portal
Publication:3786440
DOI10.1109/TSMC.1987.4309063zbMath0643.94053OpenAlexW2026927381MaRDI QIDQ3786440
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
uncertaintyprobability measuresresolution principlevague predicatesnecessity measuresShafer's belief functionsfuzzy propositionsuncertain propositionsnonvague predicates
Artificial intelligence (68T99) Fuzzy sets and logic (in connection with information, communication, or circuits theory) (94D05)
Related Items
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