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.
Document type :
Conference papers
Liste complète des métadonnées

Cited literature [17 references]  Display  Hide  Download

https://hal.inria.fr/inria-00295027
Contributor : Ekaterina Komendantskaya <>
Submitted on : Friday, July 18, 2008 - 2:27:32 PM
Last modification on : Thursday, January 11, 2018 - 4:19:44 PM
Document(s) archivé(s) le : Tuesday, September 21, 2010 - 5:34:07 PM

Files

JELIAKomendaPower.pdf
Files produced by the author(s)

Identifiers

  • 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. ⟨inria-00295027v2⟩

Share

Metrics

Record views

248

Files downloads

219