A Computational Approach to Approximate and Plausible Reasoning with Applications to Expert Systems

DOI10.1109/TPAMI.1985.4767656zbMath0565.68089WikidataQ62495819 ScholiaQ62495819MaRDI QIDQ3680313

Henri Prade

Publication date: 1985

Published in: IEEE Transactions on Pattern Analysis and Machine Intelligence (Search for Journal in Brave)

zbMATH Keywords

uncertaintyautomated reasoningsurvey paperapproximate reasoningexpert systemsknowledge based systemsplausible reasoninginexact reasoningimprecise knowledge

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Probability and inductive logic (03B48) Abstract data types; algebraic specification (68Q65) Artificial intelligence (68T99) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Many-valued logic (03B50)

Related Items (25)

Fuzzy entropy and conditioning ⋮ An algebraic synthesis of the foundations of logic and probability ⋮ Possibility and necessity in optimization ⋮ Fuzzy sets in a approximate reasoning. I: Inference with possibility distributions ⋮ Probabilistic satisfiability ⋮ Graph decompositions and tree automata in reasoning with uncertainty ⋮ Knowledge representation and use in pattern analysis ⋮ FUZZINESS VS. PROBABILITY ⋮ Modeling global market entry decision by fuzzy logic with an application to country risk assessment ⋮ Gradualness, uncertainty and bipolarity: making sense of fuzzy sets ⋮ REPRESENTATION, PROPAGATION AND COMBINATION OF UNCERTAIN INFORMATION ⋮ A logic-based analysis of Dempster-Shafer theory ⋮ On the use of Hamacher's t-norms family for information aggregation. ⋮ The reasonableness of necessity. ⋮ Unnamed Item ⋮ Unnamed Item ⋮ The representation of fuzzy relational production rules ⋮ On considerations of credibility of evidence ⋮ A possibilistic-logic-based approach to integrating imprecise and uncertain information ⋮ Foundation of credibilistic logic ⋮ FOUNDATIONS OF O-THEORY: MEASUREMENTS AND RELATION TO FUZZY SET THEORY ⋮ \(\mathcal R\mathcal E\mathcal S\) - a logic for relative evidential support ⋮ Relation-based evidential reasoning ⋮ Applause: An implementation of the Collins-Michalski theory of plausible reasoning ⋮ Extension of O-theory to problems of logical inferencing

This page was built for publication: A Computational Approach to Approximate and Plausible Reasoning with Applications to Expert Systems