DeepAI
Log In Sign Up

On Signings and the Well-Founded Semantics

02/12/2021
by   Michael J. Maher, et al.
0

In this note, we use Kunen's notion of a signing to establish two theorems about the well-founded semantics of logic programs, in the case where we are interested in only (say) the positive literals of a predicate p that are consequences of the program. The first theorem identifies a class of programs for which the well-founded and Fitting semantics coincide for the positive part of p. The second theorem shows that if a program has a signing then computing the positive part of p under the well-founded semantics requires the computation of only one part of each predicate. This theorem suggests an analysis for query-answering under the well-founded semantics. In the process of proving these results, we use an alternative formulation of the well-founded semantics of logic programs, which might be of independent interest. Under consideration in Theory and Practice of Logic Programming (TPLP)

READ FULL TEXT

page 1

page 2

page 3

page 4

08/04/2016

Query Answering in Resource-Based Answer Set Semantics

In recent work we defined resource-based answer set semantics, which is ...
05/30/2021

A Rice's Theorem for Abstract Semantics

Classical results in computability theory, notably Rice's theorem, focus...
03/30/2021

Expected-Cost Analysis for Probabilistic Programs and Semantics-Level Adaption of Optional Stopping Theorems

In this article, we present a semantics-level adaption of the Optional S...
12/26/2017

On the Semantics of Intensionality and Intensional Recursion

Intensionality is a phenomenon that occurs in logic and computation. In ...
04/29/2014

Generalizing Modular Logic Programs

Even though modularity has been studied extensively in conventional logi...
01/15/2014

Modularity Aspects of Disjunctive Stable Models

Practically all programming languages allow the programmer to split a pr...
10/21/1999

Probabilistic Agent Programs

Agents are small programs that autonomously take actions based on change...