Rondogiannis, Panos and Symeonidou, Ioanna - Extensional Semantics for Higher-Order Logic Programs with Negation

lmcs:2675 - Logical Methods in Computer Science, June 29, 2018, Volume 14, Issue 2
Extensional Semantics for Higher-Order Logic Programs with Negation

Authors: Rondogiannis, Panos and Symeonidou, Ioanna

We develop an extensional semantics for higher-order logic programs with negation, generalizing the technique that was introduced in [Bezem99,Bezem01] for positive higher-order programs. In this way we provide an alternative extensional semantics for higher-order logic programs with negation to the one proposed in [CharalambidisER14]. As an immediate useful consequence of our developments, we define for the language we consider the notions of stratification and local stratification, which generalize the familiar such notions from classical logic programming. We demonstrate that for stratified and locally stratified higher-order logic programs, the proposed semantics never assigns the unknown truth value. We conclude the paper by providing a negative result: we demonstrate that the well-known stable model semantics of classical logic programming, if extended according to the technique of [Bezem99,Bezem01] to higher-order logic programs, does not in general lead to extensional stable models.


Source : oai:arXiv.org:1701.08622
DOI : 10.23638/LMCS-14(2:19)2018
Volume: Volume 14, Issue 2
Published on: June 29, 2018
Submitted on: January 31, 2017
Keywords: Computer Science - Logic in Computer Science


Versions

Version2

Share

Consultation statistics

This page has been seen 158 times.
This article's PDF has been downloaded 55 times.