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

Department of Computer Science

Research output: Chapter or section in a book/report/conference proceeding › Chapter or section

165 Downloads (Pure)

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 Artificial Intelligence 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings
Place of Publication	Heidelberg
Publisher	Springer
Pages	258-271
Number of pages	14
Volume	5293
DOIs	https://doi.org/10.1007/978-3-540-87803-2_22
Publication status	Published - 2008

Access to Document

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

Power_JELIA_2008.pdf
The original publication is available at www.springerlink.com
Accepted author manuscript, 800 KB

Cite this

Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness. / Komendantskaya, Ekaterina; Power, John.

Logics in Artificial Intelligence 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings. Vol. 5293 Heidelberg : Springer, 2008. p. 258-271.

Research output: Chapter or section in a book/report/conference proceeding › Chapter or section

@inbook{95d4820a12b34e8a9bbb16a1c1c75a79,

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.",

author = "Ekaterina Komendantskaya and John Power",

year = "2008",

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

language = "English",

volume = "5293",

pages = "258--271",

booktitle = "Logics in Artificial Intelligence 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings",

publisher = "Springer",

}

TY - CHAP

T1 - Fibrational Semantics for Many-Valued Logic Programs: 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.

UR - http://dx.doi.org/10.1007/978-3-540-87803-2_22

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

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

M3 - Chapter or section

VL - 5293

SP - 258

EP - 271

BT - Logics in Artificial Intelligence 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings

PB - Springer

CY - Heidelberg

ER -

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

Abstract

Access to Document

Other files and links

Fingerprint

Cite this