A note on the Declarative reading(s) of Logic Programming

03/13/2000
by   Marc Denecker, et al.
0

This paper analyses the declarative readings of logic programming. Logic programming - and negation as failure - has no unique declarative reading. One common view is that logic programming is a logic for default reasoning, a sub-formalism of default logic or autoepistemic logic. In this view, negation as failure is a modal operator. In an alternative view, a logic program is interpreted as a definition. In this view, negation as failure is classical objective negation. From a commonsense point of view, there is definitely a difference between these views. Surprisingly though, both types of declarative readings lead to grosso modo the same model semantics. This note investigates the causes for this.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
06/11/2019

The Prolog debugger and declarative programming

Logic programming is a declarative programming paradigm. Programming lan...
research
05/05/2014

Implementing Default and Autoepistemic Logics via the Logic of GK

The logic of knowledge and justified assumptions, also known as logic of...
research
03/03/2020

The Prolog Debugger and Declarative Programming. Examples

This paper contains examples for a companion paper "The Prolog Debugger ...
research
10/29/2002

A uniform approach to logic programming semantics

Part of the theory of logic programming and nonmonotonic reasoning conce...
research
11/08/2017

A Dynamic Solution to the Puzzle of Sea Battle

The puzzle of sea battle involves an argument that is an instantiation o...
research
08/18/2021

What is an Algorithm?: a Modern View

Although algorithm is one of the central subjects, there have been littl...
research
11/07/2011

Embedding Description Logic Programs into Default Logic

Description logic programs (dl-programs) under the answer set semantics ...

Please sign up or login with your details

Forgot password? Click here to reset