Sciweavers

IJCAI
1997

Towards a Complete Classification of Tractability in Allen's Algebra

14 years 5 days ago
Towards a Complete Classification of Tractability in Allen's Algebra
We characterise the set of subalgebras of Allen's algebra which have a tractable satisfiability problem, and in addition contain certain basic relations. The conclusion is that no tractable subalgebra that is not known in the literature can contain more than the three basic relations This means that concerning algebras for specifying complete knowledge about temporal informa­ tion, there is no hope of finding yet unknown classes with much expressivity. Furthermore, we show that there are exactly two maximal tractable algebras which contain the relation Both of these algebras can express the notion of sequentially; thus we have a com­ plete characterisation of tractable inference us­ ing that notion.
Thomas Drakengren, Peter Jonsson
Added 01 Nov 2010
Updated 01 Nov 2010
Type Conference
Year 1997
Where IJCAI
Authors Thomas Drakengren, Peter Jonsson
Comments (0)