A UNIFYING VIEW FOR LOGIC PROGRAMMING WITH NONMONOTONIC REASONING

Authors
BROGI A LAMMA E MANCARELLA P MELLO P
Citation
A. Brogi et al., A UNIFYING VIEW FOR LOGIC PROGRAMMING WITH NONMONOTONIC REASONING, Theoretical computer science, 184(1-2), 1997, pp. 1-59
Citations number
72
Categorie Soggetti
Computer Sciences","Computer Science Theory & Methods
Journal title
Theoretical computer science → ACNP
ISSN journal
03043975
Volume
184
Issue
1-2
Year of publication
1997
Pages
1 - 59
Database
ISI
SICI code
0304-3975(1997)184:1-2<1:AUVFLP>2.0.ZU;2-U
Abstract
We provide a simple formulation of a framework where some extensions o f logic programming with non-monotonic reasoning are treated uniformly , namely, two kinds of negation and abduction. The resulting semantics is purely model-theoretic, and gives meaning to any noncontradictory abductive logic program. Moreover, it embeds and generalizes some exis ting semantics which deal with negation and abduction, The framework i s equipped with a correct top-down proof procedure.