Seminormal stratified default theories
- Resource Type
- Article
- Authors
- Cholewiński, Paweł
- Source
- Annals of Mathematics and Artificial Intelligence; September 1996, Vol. 17 Issue: 2 p213-234, 22p
- Subject
- Language
- ISSN
- 10122443; 15737470
In this paper we study seminormal default theories. The notions of stratification and strong stratification are introduced. The properties of stratified and strongly stratified default theories are investigated. We show how to determine if a given seminormal default theory is strongly stratified and how to find the finest partition into strata. We present algorithms for computing extensions for stratified seminormal default theories and analyze their complexity.