Back to Search
Start Over
A Deletion Algorithm for the Marginal Problem in Propositional Logic Based on Boolean Arrays.
- Source :
-
Mathematics (2227-7390) . Jun2023, Vol. 11 Issue 12, p2748. 28p. - Publication Year :
- 2023
-
Abstract
- This paper proposes a deletion algorithm for the marginal problem in propositional logic. The algorithm is based on the general Davis and Putnam deletion algorithm DP, expressed as a bucket elimination algorithm, representing sets of clauses with the same set of variables employing a Boolean array. The main contribution is the development of alternative procedures when deleting a variable which allow more efficient computations. In particular, it takes advantage of the case in which the variable to delete is determined by a subset of the rest of the variables. It also provides a set of useful results and tools for reasoning with Boolean tables. The algorithms are implemented using Python and the NumPy library. Experiments show that this procedure is feasible for intermediate problems and for difficult problems from hard Bayesian networks cases [ABSTRACT FROM AUTHOR]
- Subjects :
- *PROPOSITION (Logic)
*BAYESIAN analysis
*PYTHON programming language
*ALGORITHMS
Subjects
Details
- Language :
- English
- ISSN :
- 22277390
- Volume :
- 11
- Issue :
- 12
- Database :
- Academic Search Index
- Journal :
- Mathematics (2227-7390)
- Publication Type :
- Academic Journal
- Accession number :
- 164689545
- Full Text :
- https://doi.org/10.3390/math11122748