Aviso: para depositar documentos, por favor, inicia sesión e identifícate con tu cuenta de correo institucional de la UCM con el botón MI CUENTA UCM. No emplees la opción AUTENTICACIÓN CON CONTRASEÑA
 

An efficient propositional system for Abductive Logic Programming

Loading...
Thumbnail Image

Full text at PDC

Publication date

2024

Advisors (or tutors)

Editors

Journal Title

Journal ISSN

Volume Title

Publisher

Artificial Intelligence Review
Citations
Google Scholar

Citation

Gavanelli, M., Julián-Iranzo, P. & Sáenz-Pérez, F. An efficient propositional system for Abductive Logic Programming. Artif Intell Rev 57, 334 (2024). https://doi.org/10.1007/s10462-024-10928-7

Abstract

Abductive logic programming (ALP) extends logic programming with hypothetical reasoning by means of abducibles, an extension able to handle interesting problems, such as diagnosis, planning, and verification with formal methods. Implementations of this extension have been using Prolog meta-interpreters and Prolog programs with Constraint Handling Rules (CHR). While the latter adds a clean and efficient interface to the host system, it still suffers in performance for large programs. Here, the concern is to obtain a more performant implementation of the SCIFF system following a compiled approach. This paper, as a first step in this long term goal, sets out a propositional ALP system following SCIFF, eliminating the need for CHR and achieving better performance.

Research Projects

Organizational Units

Journal Issue

Description

Keywords

Collections