Fibrational semantics for many-valued logic programs: grounds for non-groundness.

Abstract : We introduce a fibrational semantics for many-valued logic programming, use it to define an SLD-resolution for annotation-free many valued logic programs as defined by Fitting, and prove a soundness and completeness result relating the two. We show that fibrational se- mantics corresponds with the traditional declarative (ground) semantics and deduce a soundness and completeness result for our SLD-resolution algorithm with respect to the ground semantics.
Type de document :
Communication dans un congrès
JELIA, Aug 2008, Dresden, Germany. 2008
Liste complète des métadonnées

Littérature citée [17 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00295027
Contributeur : Ekaterina Komendantskaya <>
Soumis le : vendredi 18 juillet 2008 - 14:27:32
Dernière modification le : jeudi 11 janvier 2018 - 16:19:44
Document(s) archivé(s) le : mardi 21 septembre 2010 - 17:34:07

Fichiers

JELIAKomendaPower.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00295027, version 2

Collections

Citation

Ekaterina Komendantskaya, John Power. Fibrational semantics for many-valued logic programs: grounds for non-groundness.. JELIA, Aug 2008, Dresden, Germany. 2008. 〈inria-00295027v2〉

Partager

Métriques

Consultations de la notice

241

Téléchargements de fichiers

208