ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique

APPEL À
CONTRIBUTION
Masses de données hétérogènes
En savoir plus >>
Autres revues >>

Revue d'Intelligence Artificielle

0992-499X
Revue des Sciences et Technologies de l'Information
 

 ARTICLE VOL 26/1-2 - 2012  - pp.127-162  - doi:10.3166/ria.26.127-162
TITRE
Changement de croyances et ASP

TITLE
Belief change and ASP

RÉSUMÉ
L’objet de cet article est de mettre en lumière les liens entre Answer Set Programming (ASP) et changement de croyances dans le domaine de la représentation des connaissances en intelligence artificielle. Il montre d’abord comment l’ASP avec une sémantique de modèles stables peut être utilisé comme un outil efficace de mise en œuvre des opérations de changement de bases de croyances propositionnelles. Il montre ensuite comment l’ASP avec une sémantique de SE-modèles peut être utilisé comme formalisme unificateur pour la représentation et la mise en œuvre d’opération de changement de croyances et de connaissances génériques représentées par des programmes logiques. Pour illustrer ces deux aspects, nous présentons des opérations de changement reposant sur l’approche des r-ensembles pour le changement de croyances tout comme pour le changement de programmes logiques.


ABSTRACT
The aim of the paper is to bring on light the links between Answer Set Programming (ASP) and belief change in the domain of knowledge representation in Artificial Intelligence. It first shows how ASP with stable models semantics can be used as an efficient tool for implementing propositional belief bases change operations. It then shows how ASP with SE-models semantics can be used as a unified formalism for both representing and implementing change operations for beliefs and generic knowledge expressed thanks to logic programs. In order to illustrate these two aspects, change operations are the ones stemming from the removed sets approach for belief change as well as for logic programs change.


AUTEUR(S)
Odile PAPINI, Eric WÜRBEL

MOTS-CLÉS
ASP, changement de croyances, révision, fusion.

KEYWORDS
ASP, belief change, revision, fusion.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 7.5 €
• Non abonné : 15.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (432 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier