New tractable classes for default reasoning from conditional knowledge bases |
| |
Authors: | Berilhes Borges Garcia |
| |
Affiliation: | (1) Department of Computer Science, Universidade Federal do Espírito Santo (UFES), Federal do Espírito Santo, Brazil |
| |
Abstract: | This paper refines the tractability/intractability frontier of default reasoning from conditional knowledge bases. It presents two new tractable cases with relation to lexicographic entailment. In particular, we have introduced nested conditional knowledge bases and co-nested conditional knowledge bases, which are meaningful conditional knowledge bases. Both tractable classes presented in this paper can be recognized in linear time. |
| |
Keywords: | lexicographic semantic non-monotonic reasoning tractable classes |
本文献已被 SpringerLink 等数据库收录! |