A problem-decomposition method using differences or equivalence relations between states
The mathematical model of representing a problem by a set S of states together with partial transition functions (means) is adopted. States are endowed with certain features which give rise to equivalence relations on S, the complements of which are called differences on S. A method for decomposing a problem into simpler subproblems is proposed and conditions under which this leads to success are given. The concepts and the method are amply illustrated by analysing the 3-tower of Hanoi game and the 5- puzzle. The method is compared with Ernst and Newell's GPS and Sacerdoti's ABSTRIPS.
scientific article; zbMATH DE number 3900187
scientific article