DMCA
A Default Interpretation of Defeasible Network (1997)
Cached
Download Links
- [www.cs.ualberta.ca]
- [web.cs.ualberta.ca]
- DBLP
Other Repositories/Bibliography
| Venue: | In Proc. IJCAI'97 |
| Citations: | 8 - 1 self |
BibTeX
@INPROCEEDINGS{Wang97adefault,
author = {Xianchang Wang and Jia-huai You and Li Yan Yuan},
title = {A Default Interpretation of Defeasible Network},
booktitle = {In Proc. IJCAI'97},
year = {1997},
pages = {156--161}
}
Share
 |
 |
 |
 |
||
OpenURL
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. 1 Introduction Two fundamental problems are to be addressed in this paper. First, the semantics of defeasible networks has previously been studied mainly under the assumption that such a network is acyclic and consistent. There is...
Keyphrases
defeasible network default interpretation new credulous semantics default logic transformation approach tractable skeptical semantics inconsistent network consistent network fundamental problem well-founded semantics regular semantics paper study credulous semantics offpath credulous semantics
