Dualities between Alternative Semantics for Logic Programming and Nonmonotonic Reasoning

Dualities between Alternative Semantics for Logic Programming and Nonmonotonic Reasoning (1998)

Cached

Download Links

[cs.utep.edu]

Other Repositories/Bibliography

DBLP

by Chitta R. Baral , V. S. Subrahmanian

Venue:	Journal of Automated Reasoning
Citations:	77 - 7 self

Versions

Version History

Metadata Version 3

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Dualities between Alternative Semantics for Logic Programming and Nonmonotonic Reasoning	user correction - Legacy Corrections
AUTHOR NAME	Chitta R. Baral	SVM HeaderParse 0.1
AUTHOR AFFIL	Department of Computer Science; University of Maryland	SVM HeaderParse 0.2
AUTHOR ADDR	College Park, MD 20742; U.S.A.	SVM HeaderParse 0.1
AUTHOR NAME	V. S. Subrahmanian	SVM HeaderParse 0.1
AUTHOR AFFIL	Department of Computer Science; University of Maryland	SVM HeaderParse 0.2
AUTHOR ADDR	College Park, MD 20742; U.S.A.	SVM HeaderParse 0.1
ABSTRACT	The Gelfond-Lifschitz operator [GL88] associated with a logic program (and likewise the operator associated with default theories by Reiter) exhibits oscillating behavior. In the case of logic programs, there is always at least one finite, non-empty collection of Herbrand interpretations around which the Gelfond-Lifschitz [GL88] operator "bounces around". The same phenomenon occurs with default logic when Reiter's operator \Gamma \Delta is considered. Based on this, a "stable class" semantics and "extension class" semantics was proposed in [BS90]. The main advantage of this semantics was that it was defined for all logic programs (and default theories), and that this definition was modelled using the standard operators existing in the literature such as Reiter's \Gamma \Delta operator. In this paper, our primary aim is to prove that there is a very interesting duality between stable class theory and the well founded semantics for logic programming. In the stable class semantics, class...	user correction - Legacy Corrections
YEAR	1998	user correction - Legacy Corrections
VENUE	Journal of Automated Reasoning	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	69--86	INFERENCE
VOLUME	10	INFERENCE
CITATIONS	18 found	ParsCit 1.0