Correctness criteria of some algorithms for uncertain reasoning using incidence calculus
From MaRDI portal
Publication:1101267
DOI10.1007/BF02432147zbMath0642.68178OpenAlexW2057002094MaRDI QIDQ1101267
Publication date: 1986
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf02432147
uncertaintyexpert systemsinferenceincidence calculusprobabilistic reasoningprobabilistic logic with truth functional connectives
Probability and inductive logic (03B48) Artificial intelligence (68T99) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items (6)
Anytime deduction for probabilistic logic ⋮ Assignment methods for incidence calculus ⋮ On the completeness of incidence calculus ⋮ A NON-NUMERIC APPROACH TO UNCERTAIN REASONING ⋮ A note on the infeasibility of some inference processes ⋮ Rough operations on Boolean algebras
Cites Work
This page was built for publication: Correctness criteria of some algorithms for uncertain reasoning using incidence calculus
