Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness

Ekaterina Komendantskaya; John Power

doi:10.1007/978-3-540-87803-2_22

Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness

Ekaterina Komendantskaya, John Power

Research output: Chapter in Book/Report/Conference proceeding › Chapter

4 Citations (Scopus)

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 semantics 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.

Original language	English
Title of host publication	Logics in Artifiicial Intelligence
Subtitle of host publication	11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings
Editors	Steffen Hölldobler, Carsten Lutz, Heinrich Wansing
Publisher	Springer
Pages	258-271
Number of pages	14
ISBN (Electronic)	9783540878032
ISBN (Print)	9783540878025
DOIs	https://doi.org/10.1007/978-3-540-87803-2_22
Publication status	Published - 2008

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Berlin Heidelberg
Volume	5293
ISSN (Print)	0302-9743

Keywords

Many-valued logic programs
categorical logic
fibrational semantics
ground semantics
SLD-resolution

Access to Document

10.1007/978-3-540-87803-2_22

Cite this

Komendantskaya, E., & Power, J. (2008). Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness. In S. Hölldobler, C. Lutz, & H. Wansing (Eds.), Logics in Artifiicial Intelligence: 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings (pp. 258-271). (Lecture Notes in Computer Science; Vol. 5293). Springer. https://doi.org/10.1007/978-3-540-87803-2_22

Komendantskaya, Ekaterina ; Power, John. / Fibrational Semantics for Many-Valued Logic Programs : Grounds for Non-Groundness. Logics in Artifiicial Intelligence: 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings. editor / Steffen Hölldobler ; Carsten Lutz ; Heinrich Wansing. Springer, 2008. pp. 258-271 (Lecture Notes in Computer Science).

@inbook{9f69946afe3c413b9d918d535f9ad182,

title = "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 semantics 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.",

keywords = "Many-valued logic programs, categorical logic, fibrational semantics, ground semantics, SLD-resolution",

author = "Ekaterina Komendantskaya and John Power",

year = "2008",

doi = "10.1007/978-3-540-87803-2_22",

language = "English",

isbn = "9783540878025",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "258--271",

editor = "Steffen H{\"o}lldobler and Carsten Lutz and Heinrich Wansing",

booktitle = "Logics in Artifiicial Intelligence",

}

Komendantskaya, E & Power, J 2008, Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness. in S Hölldobler, C Lutz & H Wansing (eds), Logics in Artifiicial Intelligence: 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings. Lecture Notes in Computer Science, vol. 5293, Springer, pp. 258-271. https://doi.org/10.1007/978-3-540-87803-2_22

Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness. / Komendantskaya, Ekaterina; Power, John.
Logics in Artifiicial Intelligence: 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings. ed. / Steffen Hölldobler; Carsten Lutz; Heinrich Wansing. Springer, 2008. p. 258-271 (Lecture Notes in Computer Science; Vol. 5293).

Research output: Chapter in Book/Report/Conference proceeding › Chapter

TY - CHAP

T1 - Fibrational Semantics for Many-Valued Logic Programs

T2 - Grounds for Non-Groundness

AU - Komendantskaya, Ekaterina

AU - Power, John

PY - 2008

Y1 - 2008

N2 - 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 semantics 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.

AB - 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 semantics 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.

KW - Many-valued logic programs

KW - categorical logic

KW - fibrational semantics

KW - ground semantics

KW - SLD-resolution

U2 - 10.1007/978-3-540-87803-2_22

DO - 10.1007/978-3-540-87803-2_22

M3 - Chapter

SN - 9783540878025

T3 - Lecture Notes in Computer Science

SP - 258

EP - 271

BT - Logics in Artifiicial Intelligence

A2 - Hölldobler, Steffen

A2 - Lutz, Carsten

A2 - Wansing, Heinrich

PB - Springer

ER -

Komendantskaya E, Power J. Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness. In Hölldobler S, Lutz C, Wansing H, editors, Logics in Artifiicial Intelligence: 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings. Springer. 2008. p. 258-271. (Lecture Notes in Computer Science). doi: 10.1007/978-3-540-87803-2_22

Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness

Abstract

Publication series

Keywords

Access to Document

Fingerprint

Cite this