A case study in the qualitative verification and debugging of numerical uncertainty

DOI10.1016/0888-613X(96)00117-XMaRDI QIDQ1125702zbMATH OpenFDO

Authors Simon Parsons, A. Saffiotti

Publication date 4 January 2000

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

Full work available at URL https://doi.org/10.1016/0888-613X(96)00117-X

zbMATH Keywords

reasoning under uncertainty

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Recommendations

• Further results in qualitative uncertainty
• Some elements of the theory of qualitative possibilistic networks
• Inference in qualitative probabilistic networks revisited
• scientific article; zbMATH DE number 51715
• Qualitative Bayesian networks

Cites work

• Belief functions: The disjunctive rule of combination and the generalized Bayesian theorem
• Fundamental concepts of qualitative probabilistic networks
• Fuzzy sets as a basis for a theory of possibility
• scientific article; zbMATH DE number 4074045 (Why is no real title available?)
• scientific article; zbMATH DE number 19878 (Why is no real title available?)
• scientific article; zbMATH DE number 140417 (Why is no real title available?)
• scientific article; zbMATH DE number 193123 (Why is no real title available?)
• scientific article; zbMATH DE number 3560492 (Why is no real title available?)
• scientific article; zbMATH DE number 724446 (Why is no real title available?)
• scientific article; zbMATH DE number 1081147 (Why is no real title available?)
• Qualitative methods for reasoning under uncertainty
• Qualitative Probability and Order of Magnitude Reasoning

Cited in

(3)

• Qualitative circuit models in failure analysis reasoning
• Research on Numerical Simulation for Ternary Complicated Uncertain Number
• Qualitative Probability and Order of Magnitude Reasoning

Describes a project that uses

Uses Software

• PULCinella

This page was built for publication: A case study in the qualitative verification and debugging of numerical uncertainty

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