On the Properties of Atom Definability and Well-Supportedness in Logic Programming - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

On the Properties of Atom Definability and Well-Supportedness in Logic Programming

Résumé

We analyse alternative extensions of stable models for non-disjunctive logic programs with arbitrary Boolean formulas in the body, and examine two semantic properties. The first property, we call atom definability, allows one to replace any expression in rule bodies by an auxiliary atom defined by a single rule. The second property, well-supportedness, was introduced by Fages and dictates that it must be possible to establish a derivation ordering for all true atoms in a stable model so that self-supportedness is not allowed. We start from a generic fixpoint definition for well-supportedness that deals with: (1) a monotonic basis, for which we consider the whole range of intermediate logics; and (2), an assumption function, that determines which type of negated formulas can be added as defaults. Assuming that we take the strongest underlying logic in such a case, we show that only Equilibrium Logic satisfies both atom definability and strict well-suportedness.
Fichier principal
Vignette du fichier
Cabalar_22217.pdf (322.5 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02604102 , version 1 (16-05-2020)

Identifiants

Citer

Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro, David Pearce, Agustín Valverde. On the Properties of Atom Definability and Well-Supportedness in Logic Programming. 18th Portuguese Conference on Artificial Intelligence (EPIA 2017), Sep 2017, Porto, Portugal. pp.624-636, ⟨10.1007/978-3-319-65340-2_51⟩. ⟨hal-02604102⟩
42 Consultations
56 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More