A unifying view for logic programming with non-monotonic reasoning
type: Item
instance of: scholarly article
title: A unifying view for logic programming with non-monotonic reasoning
zbMATH Open document ID: 0942.68021
DOI: 10.1016/S0304-3975(97)80755-4
author: Antonio Brogi
author: Evelina Lamma
author: P. Mancarella
author: Paola Mello
published in: Theoretical Computer Science
publication date: 1998-07-22T00:00:00Z
review text: The paper provides a simple formulation of a unified LP-based semantic framework within which three main extensions of logic programming for non-monotonic reasoning are treated uniformly, namely two forms of negation and abduction. The semantics is based on the well-known notion of Herbrand models for definite Horn programs, through the notion of positive version of a program. The set of Herbrand models for definite (Horn) programs is restricted in a step-wise fashion in order to identify the intended models of the original program. An interesting issue related to a semantic characterization is the study of the equivalence relation that is induced with particular reference to compositionality and fully abstractness properties. This topic is discussed in the paper, in particular, it is shown that the compositionality property can be easily accommodated in the proposed semantic framework, thanks to the model-theoretic grounds. An abstract specification of a proof-procedure for the overall framework is developed. The proof-procedure is shown to be sound and weakly complete with respect to the model-theory.
Mathematics Subject Classification ID: 68N17
zbMATH DE Number: 1177642
zbMATH Keywords: non-monotonic reasoning
zbMATH Keywords: semantic
zbMATH Keywords: model-theory
reviewed by: Marie Duží
MaRDI profile type: Publication
cites work: A logic programming system for nonmonotonic reasoning
cites work: Dynamic updates of non-monotonic knowledge bases
cites work: On the correctness of unfold/fold transformation of normal and extended logic programs
cites work: Q4385536
cites work: Q3983042
cites work: Logic programming and negation: A survey
cites work: Logic programming and knowledge representation
cites work: Q5688899
cites work: An abductive framework for extended logic programming
cites work: Compositional model-theoretic semantics for logic programs
cites work: Fully abstract compositional semantics for an algebra of logic programs
cites work: Q3786007
cites work: Abduction over 3-valued extended logic programs
cites work: SLDNFA: An abductive procedure for abductive logic programs
cites work: Representing Incomplete Knowledge in Abductive Logic Programming
cites work: Q4225120
cites work: On the relations between stable and well-founded semantics of logic programs
cites work: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
cites work: An argumentation-theoretic foundation for logic programming
cites work: Abductive Logic Programming
cites work: Short note preferred extensions are partial stable models
cites work: On the semantics of abstract argumentation
cites work: Q4692876
cites work: Q4537432
cites work: Knowledge representation and reasoning under uncertainty. Logic at work
cites work: Q4013773
cites work: Non-monotonic reasoning with logic programming
cites work: Compiling a default reasoning system into Prolog
cites work: Q3348437
cites work: Q5688901
cites work: The well-founded semantics for general logic programs
cites work: On the equivalence of semantics for normal logic programs
Recommended article: Non-monotonic reasoning with logic programming
Recommended article: Logic programming with non-monotonic semantics: representing knowledge and its computation
Recommended article: A logic programming system for nonmonotonic reasoning
Recommended article: An overview of nonmonotonic reasoning and logic programming
Recommended article: A framework to incorporate non-monotonic reasoning into constraint logic programming
Recommended article: Q4282552
Recommended article: Q3044494
Recommended article: Q4035258
description: scientific article; zbMATH DE number 1177642