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

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

2000-03-13

arxiv.org/abs/cs/0003056v1

Computer Science

Logic in Computer Science

6 pages; poster at NMR2000, Breckenridge, April 2000

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

A note on the Declarative reading(s) of Logic Programming does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with A note on the Declarative reading(s) of Logic Programming, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A note on the Declarative reading(s) of Logic Programming will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-148939