Resolution principles in possibilistic logic

DOI10.1016/0888-613X(90)90006-NzbMath0697.68083MaRDI QIDQ911797

Henri Prade, Dubois, Didier

Publication date: 1990

Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)

zbMATH Keywords

uncertaintyresolution principlenecessity measurepossibility measurefuzzy predicates

Mathematics Subject Classification ID

Probability and inductive logic (03B48)

Related Items

Relating and extending semantical approaches to possibilistic reasoning, Fuzzy sets in a approximate reasoning. I: Inference with possibility distributions, Fuzzy sets in approximate reasoning. II: Logical approaches, General form of \(\alpha\)-resolution principle for linguistic truth-valued lattice-valued logic, Filter-based resolution principle for lattice-valued propositional logic LP\((X)\), Possibilistic logic: a retrospective and prospective view, Graded cubes of opposition and possibility theory with fuzzy events, Generalized possibilistic logic: foundations and applications to qualitative reasoning about uncertainty, On the relation between possibilistic logic and modal logics of belief and knowledge, Extending possibilistic logic over Gödel logic, Epistemic entrenchment and possibilistic logic, Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\), \(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\), \(\alpha\)-resolution principle based on first-order lattice-valued logic \(\text{LF}(X)\), Fuzzy temporal constraint logic: A valid resolution principle, Exploring Extensions of Possibilistic Logic over Gödel Logic, The possibilistic Horn non-clausal knowledge bases, Approximate reasoning by similarity-based SLD resolution., A simple logic for reasoning about incomplete knowledge, Temporal scenario modelling and recognition based on possibilistic logic

Cites Work

• Properties of measures of information in evidence and possibility theories
• Fuzzy sets as a basis for a theory of possibility
• A note on the complexity of the satisfiability of modal Horn clauses
• Necessity Measures and the Resolution Principle
• A Machine-Oriented Logic Based on the Resolution Principle
• Fuzzy sets
• Fuzzy Logic and the Resolution Principle
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item