Every Formula-Based Logic Program Has a Least Infinite-Valued Model

08/31/2011
by   Rainer Lüdecke, et al.
0

Every definite logic program has as its meaning a least Herbrand model with respect to the program-independent ordering "set-inclusion". In the case of normal logic programs there do not exist least models in general. However, according to a recent approach by Rondogiannis and Wadge, who consider infinite-valued models, every normal logic program does have a least model with respect to a program-independent ordering. We show that this approach can be extended to formula-based logic programs (i.e., finite sets of rules of the form A where A is an atom and F an arbitrary first-order formula). We construct for a given program P an interpretation M_P and show that it is the least of all models of P. Keywords: Logic programming, semantics of programs, negation-as-failure, infinite-valued logics, set theory

READ FULL TEXT

page 1

page 2

page 3

page 4

research
07/15/2017

The Intricacies of 3-Valued Extensional Semantics for Higher-Order Logic Programs

In (Bezem 1999; Bezem 2001), M. Bezem defined an extensional semantics f...
research
03/17/2000

Detecting Unsolvable Queries for Definite Logic Programs

In solving a query, the SLD proof procedure for definite programs someti...
research
03/05/2000

Consistency Management of Normal Logic Program by Top-down Abductive Proof Procedure

This paper presents a method of computing a revision of a function-free ...
research
09/25/2014

Causal Graph Justifications of Logic Programs

In this work we propose a multi-valued extension of logic programs under...
research
09/18/2023

Algebra of Self-Replication

Typical arguments for results like Kleene's Second Recursion Theorem and...
research
08/02/2019

The meaning of a program change is a change to the program's meaning

Programming is the activity of modifying a program in order to bring abo...
research
09/21/2021

Query Evaluation in DatalogMTL – Taming Infinite Query Results

In this paper, we investigate finite representations of DatalogMTL. Firs...

Please sign up or login with your details

Forgot password? Click here to reset