SLD-Resolution Reduction of Second-Order Horn Fragments - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

SLD-Resolution Reduction of Second-Order Horn Fragments

Résumé

()[0000−0002−6070−796X] and Andrew Cropper 2[0000−0002−4543−7199] Abstract. We present the derivation reduction problem for SLD-resolution, the undecidable problem of finding a finite subset of a set of clauses from which the whole set can be derived using SLD-resolution. We study the reducibility of various fragments of second-order Horn logic with particular applications in Inductive Logic Programming. We also discuss how these results extend to standard resolution.
Fichier principal
Vignette du fichier
jelia2019tc.pdf (336.17 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02988015 , version 1 (05-11-2020)

Identifiants

Citer

Sophie Tourret, Andrew Cropper. SLD-Resolution Reduction of Second-Order Horn Fragments. JELIA 2019 - European Conference on Logics in Artificial Intelligence, May 2019, Rende, Italy. pp.259-276, ⟨10.1007/978-3-030-19570-0_17⟩. ⟨hal-02988015⟩
24 Consultations
176 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More