A Semantic Characterization for ASP Base Revision - Aix-Marseille Université Accéder directement au contenu
Article Dans Une Revue Journal of Artificial Intelligence Research Année : 2019

A Semantic Characterization for ASP Base Revision

Résumé

The paper deals with base revision for Answer Set Programming (ASP). Base revision in classical logic is done by the removal of formulas. Exploiting the non-monotonicity of ASP allows one to propose other revision strategies, namely addition strategy or removal and/or addition strategy. These strategies allow one to define families of rule-based revision operators. The paper presents a semantic characterization of these families of revision operators in terms of answer sets. This semantic characterization allows for equivalently considering the evolution of syntactic logic programs and the evolution of their semantic content. It then studies the logical properties of the proposed operators and gives complexity results.
Fichier principal
Vignette du fichier
main garcia.pdf (303.3 Ko) Télécharger le fichier
Loading...

Dates et versions

hal-02392942 , version 1 (04-12-2019)

Licence

Copyright (Tous droits réservés)

Identifiants

  • HAL Id : hal-02392942 , version 1

Citer

Laurent Garcia, Claire Lefèvre, Igor Stéphan, Odile Papini, Eric Würbel. A Semantic Characterization for ASP Base Revision. Journal of Artificial Intelligence Research, 2019, 66, pp.989 - 1029. ⟨hal-02392942⟩
108 Consultations
94 Téléchargements

Partager

Gmail Facebook X LinkedIn More