Download:
|
by Li-yan Yuan, Jia-huai You, Y Goebel
http://web.cs.ualberta.ca/~yuan/papers/1998/lnai98b.ps
Add To MetaCart
Abstract:
Abstract. In this paper, we use autoepistemic reasoning semantics to classify various semantics for disjunctive logic programs with default negation. We have observed that two dierent types of negative introspection in autoepistemic reasoning present two dierent interpretations of default negation: consistency-based and minimal-model-based. We also observed that all logic program semantics fall into three semantical points of view: the skeptical, stable, and partial-stable. Based on these two observations, we classify disjunctive logic program semantics into six different categories, and discuss the relationships among various semantics. 1
Citations
|
1126
|
The Stable Model Semantics for Logic Programming
– Gelfond, Lifschitz
- 1988
|
|
697
|
The Well-Founded Semantics for General Logic Programs
– Gelder, Ross, et al.
- 1991
|
|
554
|
Classical negation in logic programs and disjunctive databases. New Generation Computing 9:365–385
– Gelfond, Lifschitz
- 1991
|
|
398
|
Semantical considerations on non-monotonic logic
– Moore
- 1985
|
|
167
|
All I know: a study in autoepistemic logic
– Levesque
- 1990
|
|
142
|
Stable semantics for disjunctive programs
– PRZYMUSINSKI
- 1991
|
|
125
|
Stable models and non-determinism in logic programs with negation
– Sacc`a, Zaniolo
- 1990
|
|
104
|
On Stratified Autoepistemic Theories
– Gelfond
- 1987
|
|
85
|
Static semantics for normal and disjunctive logic programs
– Przymusinski
- 1995
|
|
56
|
Negation as Hypotheses: An Abductive Foundation for Logic Programming
– Dung
- 1991
|
|
54
|
Stable and extension class theory for logic programs and default logics
– Baral, Subrahmanian
- 1992
|
|
44
|
On the equivalence of semantics for normal logic programs
– You, Yuan
- 1995
|
|
38
|
A three-valued semantics for deductive databases and logic programs
– You, Yuan
- 1994
|
|
27
|
A Disjunctive Semantics Based on Unfolding and Bottom-up Evaluation
– Brass, Dix
- 1994
|
|
22
|
Autoepistemic circumscription and logic programming
– Yuan, You
- 1993
|
|
12
|
The Expressive Power of Partial Models for Disjunctive Deductive Databases
– Eiter, Leone, et al.
- 1996
|
|
8
|
A comparison of the static and the disjunctive well-founded semantics and its implementation
– Brass, Dix, et al.
- 1998
|
|
3
|
Bounding introspection in nonmonotonic reasoning
– Schwarz
- 1992
|
|
2
|
On the extension of logic programming with negation though uniform proofs
– Yuan, You
- 1995
|
|
2
|
An introspective logic of belief
– Yuan, You
- 1997
|
|
1
|
Disjunctive logic programming as constrainted inferences
– You, Wang, et al.
|
