Sciweavers

FLAIRS
2008

Tractable Class of a Problem of Goal Satisfaction in Mutual Exclusion Network

13 years 6 months ago
Tractable Class of a Problem of Goal Satisfaction in Mutual Exclusion Network
In this paper we describe a class of a problem of goal satisfaction in mutual exclusion network that can be solved in polynomial time. This problem provides a common basis for reasoning about various tasks known from artificial intelligence. Namely, tasks arising during construction of concurrent solutions for planning problems and Boolean formula satisfaction can be viewed as problems of goal satisfaction. We experimentally compared a solving algorithm which exploits the defined tractable class with backtracking enhanced by maintaining consistencies on random problems and on problems arising in concurrent planning. We obtained significant speedups in both experimental setups.
Pavel Surynek
Added 02 Oct 2010
Updated 02 Oct 2010
Type Conference
Year 2008
Where FLAIRS
Authors Pavel Surynek
Comments (0)