A problem-decomposition method using differences or equivalence relations between states
type: Item
instance of: scholarly article
title: A problem-decomposition method using differences or equivalence relations between states
zbMATH Open document ID: 0564.68064
DOI: 10.1016/0004-3702(85)90001-3
author: Seizaburo Niizuma
author: Tadahiro Kitahashi
published in: Artificial Intelligence
publication date: 1985-01-01T00:00:00Z
review text: 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.
Mathematics Subject Classification ID: 68T20
zbMATH DE Number: 3900187
zbMATH Keywords: planning
zbMATH Keywords: problem decomposition
zbMATH Keywords: GPS
zbMATH Keywords: ABSTRIPS
MaRDI profile type: Publication
full work available at URL: 0004-3702(85)90001-3
OpenAlex ID: W2084699841
cites work: Q5578546
cites work: Q5590427
cites work: Sufficient Conditions for the Success of GPS
cites work: Mechanical Discovery of Classes of Problem-Solving Strategies
cites work: Q5599124
cites work: Realization theory of continuous-time dynamical systems
cites work: Planning in a hierarchy of abstraction spaces
Recommended article: Q3328365
Recommended article: A State Polytope Decomposition Formula
Recommended article: Q3783221
Recommended article: Q4725760
Recommended article: Decomposition method of solving a class of combinatorial optimization problems
Recommended article: Q3761642
Recommended article: Boolean valued decomposition theory of states
Recommended article: Equivalences of Statecharts
Recommended article: A Graph-Theoretical Characterisation of State Separation
description: scientific article; zbMATH DE number 3900187