Resolution principles in possibilistic logic

DOI10.1016/0888-613X(90)90006-NzbMATH Open0697.68083MaRDI QIDQ911797FDOQ911797

Authors: Henri Prade, Didier Dubois 

Publication date: 1990

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

Recommendations

• scientific article; zbMATH DE number 3932427
• A resolution principle for constrained logics
• Resolution-based methods for modal logics
• Resolution calculi for modal logics
• Resolution in modal, description and hybrid logic
• scientific article; zbMATH DE number 4025402
• A resolution principle for a logic with restricted quantifiers
• Publication:3030269
• Decidability by resolution for propositional modal logics
• scientific article; zbMATH DE number 4055570

zbMATH Keywords

uncertaintynecessity measurepossibility measureresolution principlefuzzy predicates

Mathematics Subject Classification ID

Probability and inductive logic (03B48)

Cites Work

• Fuzzy sets as a basis for a theory of possibility
• Fuzzy sets
• Properties of measures of information in evidence and possibility theories
• Title not available (Why is that?)
• A Machine-Oriented Logic Based on the Resolution Principle
• Necessity Measures and the Resolution Principle
• Title not available (Why is that?)
• Fuzzy Logic and the Resolution Principle
• Title not available (Why is that?)
• Title not available (Why is that?)
• A note on the complexity of the satisfiability of modal Horn clauses
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (25)

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

This page was built for publication: Resolution principles in possibilistic logic

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