Sciweavers

AAAI
1998

Experimenting with Power Default Reasoning

13 years 10 months ago
Experimenting with Power Default Reasoning
In this paper weexplore the computationalaspects of Propositional PowerDefault Reasoning (PDR),a form of non-monotonicreasoning whichthe underlyinglogic is Kleene's3-valued propositionallogic. PDRleads to a concisemeaning of the problemof skeptical entailment which has better complexitycharacteristics than the usual formalisms(co-NP(3)-Completeinstead [[p-Complete). Wetake advantage of this in an implementationcalled powderto encode and solve hard graphproblemsand explore randomly generatedinstancesof skeptical entailment.
Eric Klavins, William C. Rounds, Guo-Qiang Zhang
Added 01 Nov 2010
Updated 01 Nov 2010
Type Conference
Year 1998
Where AAAI
Authors Eric Klavins, William C. Rounds, Guo-Qiang Zhang
Comments (0)