New Method Eliminates Spurious Paths, Boosting Efficiency in Search and Planning
Abstraction in search and planning can lead to fake paths called spurious paths. These paths don't actually exist in real situations. There are two types of spurious paths: some don't depend on the situation, while others do. By using a method that detects certain situations, we can get rid of both types of spurious paths. This method can completely remove spurious paths in certain cases. Getting rid of these fake paths can make a heuristic much better, even in situations where there are no fake states.