by Xianchang Wang, Jia-huai You, Li Yan Yuan
In Proc. IJCAI'97
http://www.cs.ualberta.ca/~you/papers/97IJCAI.ps
Add To MetaCart
Abstract:
This paper studies the semantics for the class of all defeasible (inheritance) networks, including cyclic and inconsistent networks using a transformation approach. First we show that defeasible networks can be translated, tractably, to default theories while preserving Horty's offpath credulous semantics for all consistent networks. Using the existing methods in dealing with the semantics of default logic, we are able to provide a tractable skeptical semantics, the well-founded semantics, and a new credulous semantics, the regular semantics, both of which are defined for any defeasible network. Furthermore, we show that these semantics are based on the same principle of specificity used by Horty in defining his credulous semantics of defeasible networks.
Citations
|
1177
|
A logic for default reasoning
– Reiter
- 1979
|
|
697
|
The Well-Founded Semantics for General Logic Programs
– Gelder, Ross, et al.
- 1991
|
|
148
|
The Mathematics of Inheritance Systems
– Touretzky
- 1986
|
|
117
|
On reasoning by default
– Reiter
- 1978
|
|
83
|
Dualities between alternative semantics for logic programming and nonmonotonic reasoning
– Baral, Subrahmanian
- 1991
|
|
66
|
On inheritance hierarchies with exceptions
– Etherington, Reiter
- 1983
|
|
66
|
problems for simple default logics
– Hard
- 1991
|
|
58
|
Some direct theories of nonmonotonic inheritance. In Handbook of logic in artificial intelligence and logic programming (vol. 3): nonmonotonic reasoning and uncertain
– Horty
- 1994
|
|
44
|
On the equivalence of semantics for normal logic programs
– You, Yuan
- 1995
|
|
22
|
Stationary default extensions
– Przymusinska, Przymusinski
- 1994
|
|
20
|
A Study of Nonmonotonic Reasoning
– Lin
- 1991
|
|
15
|
Formalization of inheritance reasoning in autoepistemic logic
– Gelfond, Przymusinska
- 1990
|
|
10
|
Non-monotonic inheritance, argumentation and logic programming
– Dung, Son
- 1995
|
|
10
|
The complexity of path-based defeasible inheritance
– Selman, Levesque
- 1993
|
|
9
|
Tractable theories of multiple defeasible inheritance in ordinary nonmonotonic logics
– Haugh
- 1988
|
|
7
|
An argumentation-theoretic approach to reasoning with specificity
– Dung, Son
- 1996
|
|
3
|
Skeptical theories of inheritance and nonmonotonic logics. Methodologies for Intelligence System
– Gregorie
- 1989
|
