A credal extension of independent choice logic
From MaRDI portal
Publication:6109609
DOI10.1007/978-3-030-00461-3_3zbMATH Open1517.68348arXiv1806.08298OpenAlexW2808903251MaRDI QIDQ6109609
Alessandro Facchini, Alessandro Antonucci
Publication date: 28 July 2023
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Abstract: We propose an extension of Poole's independent choice logic based on a relaxation of the underlying independence assumptions. A credal semantics involving multiple joint probability mass functions over the possible worlds is adopted. This represents a conservative approach to probabilistic logic programming achieved by considering all the mass functions consistent with the probabilistic facts. This allows to model tasks for which independence among some probabilistic choices cannot be assumed, and a specific dependence model cannot be assessed. Preliminary tests on an object ranking application show that, despite the loose underlying assumptions, informative inferences can be extracted.
Full work available at URL: https://arxiv.org/abs/1806.08298
Logic in artificial intelligence (68T27) Reasoning under uncertainty in the context of artificial intelligence (68T37) Logic programming (68N17)
Related Items (5)
The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference ⋮ A Constructive Proof of Dependent Choice, Compatible with Classical Logic ⋮ ON EXISTENTIAL DECLARATIONS OF INDEPENDENCE IN IF LOGIC ⋮ Extended semantics and inference for the Independent Choice Logic ⋮ Independent choices and the interpretation of IF logic
This page was built for publication: A credal extension of independent choice logic
