Sciweavers

Share
ECAI
1992
Springer

On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning

8 years 8 months ago
On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning
ABSTRACT. This paper investigates the problem of finding subclasses of nonmonotonic reasoning which can be implemented efficiently. The ability to "define" propositions using default assumptions about the same propositions is identified as a major source of computational complexity in nonmonotonic reasoning. If such constructs are not allowed, i.e. stratified knowledge bases are considered, a significant computational advantage is obtained. This is demonstrated by developing an iterative algorithm for propositional stratified autoepistemic theories the complexity of which is dominated by required classical reasoning. Thus efficient subclasses of stratified nonmonotonic reasoning can be obtained by further restricting the form of sentences in a knowledge base. As an example quadratic and linear time algorithms for specific subclasses of stratified autoepistemic theories are derived. The results are shown to imply efficient reasoning methods for stratified cases of default logi...
Ilkka Niemelä, Jussi Rintanen
Added 10 Aug 2010
Updated 10 Aug 2010
Type Conference
Year 1992
Where ECAI
Authors Ilkka Niemelä, Jussi Rintanen
Comments (0)
books