Non-monotonic Reasoning vs. Logic Programming: A New Perspective

this paper is to present an account of these recent developments. The paper is organized as follows. In Sections 2, 3 and 4 we briefly discuss declarative knowledge, non-monotonic reasoning and logic programming, respectively. In Section 5 we describe the proposed semantics of logic programming and in Section 6 we show its equivalence to the four above mentioned formalizations of non-monotonic reasoning. Section 7 contains concluding remarks. 2 Declarative Knowledg