Dempster-shafer and reasoning about sets
19 days ago
- #probability theory
- #Dempster-Shafer theory
- #GNU SETL
- The text discusses a scheme involving binary variables and probability assignments over subsets defined by quantified logic formulas.
- Dempster-Shafer (DS) theory is presented as an elegant solution for handling overlapping beliefs and combining evidence from multiple sources.
- A practical implementation in GNU SETL is provided, demonstrating how to calculate belief and plausibility for given queries using DS theory.
- The Frequentist solution is mentioned as an alternative, involving simulation to generate probability assignments compatible with given information, though noted as less elegant and computationally intensive.