Sciweavers

CADE
1999
Springer

A PSpace Algorithm for Graded Modal Logic

14 years 4 months ago
A PSpace Algorithm for Graded Modal Logic
We present a PSpace algorithm that decides satisfiability of the graded modal logic Gr(KR)—a natural extension of propositional modal logic KR by counting expressions—which plays an important role in the area of knowledge representation. The algorithm employs a tableaux approach and is the first known algorithm which meets the lower bound for the complexity of the problem. Thus, we exactly fix the complexity of the problem and refute a ExpTime-hardness conjecture. This establishes a kind of “theoretical benchmark” that all algorithmic approaches can be measured with.
Stephan Tobies
Added 03 Aug 2010
Updated 03 Aug 2010
Type Conference
Year 1999
Where CADE
Authors Stephan Tobies
Comments (0)