On the use of walkSAT based algorithms for MLN inference in some realistic applications - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

On the use of walkSAT based algorithms for MLN inference in some realistic applications

Résumé

WalkSAT is a local search algorithm conceived for solving SAT problems, which is also used for sampling possible worlds from a logical formula. This algorithm is used by Markov Logic Networks to perform slice sampling and give probabilities from a knowledge base defined with soft and hard constraints. In this paper, we will show that local search strategies, such as WalkSAT, may perform as poorly as a pure random walk on a category of problems that are quite common in industrial fields. We will also give some insights into the reasons that make random search algorithms intractable for these problems.
Fichier principal
Vignette du fichier
on_the_use_of_walkSAT.pdf (331.17 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01532492 , version 1 (15-04-2020)

Identifiants

Citer

Romain Rincé, Romain Kervarc, Philippe Leray. On the use of walkSAT based algorithms for MLN inference in some realistic applications. 30th International Conference on Industrial, Engineering, Other Applications of Applied Intelligent Systems (IEA/AIE 2017), 2017, Arras, France. ⟨10.1007/978-3-319-60045-1_15⟩. ⟨hal-01532492⟩
252 Consultations
204 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More