Blocks world

From HandWiki
Short description: Toy problem in artificial intelligence research

The blocks world is a planning domain in artificial intelligence. The algorithm is similar to a set of wooden blocks of various shapes and colors sitting on a table. The goal is to build one or more vertical stacks of blocks. Only one block may be moved at a time: it may either be placed on the table or placed atop another block. Because of this, any blocks that are, at a given time, under another block cannot be moved. Moreover, some kinds of blocks cannot have other blocks stacked on top of them.[1]

The simplicity of this toy world lends itself readily to classical symbolic artificial intelligence approaches, in which the world is modeled as a set of abstract symbols which may be reasoned about.

Motivation

Artificial Intelligence can be researched in theory and with practical applications. The problem with most practical application is, that the engineers don't know how to program an AI system. Instead of rejecting the challenge at all the idea is to invent an easy to solve domain which is called a toy problem. Toy problems were invented with the aim to program an AI which can solve it. The blocks world domain is an example for a toy problem. Its major advantage over more realistic AI applications is, that many algorithms and software programs are available which can handle the situation.[2] This allows to compare different theories against each other.

In its basic form, the blocks world problem consists of cubes in the same size which have all the color black. A mechanical robot arm has to pick and place the cubes.[3] More complicated derivatives of the problem consist of cubes in different sizes, shapes and colors.[4] From an algorithm perspective, blocks world is an np-hard search and planning problem. The task is to bring the system from an initial state into a goal state.

Automated planning and scheduling problem are usually described in the Planning Domain Definition Language (PDDL) notation which is an AI planning language for symbolic manipulation tasks. If something was formulated in the PDDL notation, it is called a domain. Therefore, the task of stapling blocks is a blocks world domain [5] which stays in contrast to other planning problems like the dock worker robot domain and the monkey and banana problem.

Example setup in blocks world

Step 1 of the Sussman anomaly

Theses/projects which took place in a blocks world

Decision problem (Gupta and Nau, 1992): Given a starting Blocks World, an ending Blocks World, and an integer L > 0, is there a way to move the blocks to change the starting position to the ending position with L or less steps?

This decision problem is NP-hard.[6]

See also

References

  1. Russell & Norvig 2003.
  2. John Slaney and Sylvie Thiébaux (2001). "Blocks World revisited". Artificial Intelligence (Elsevier BV) 125 (1-2): 119--153. doi:10.1016/s0004-3702(00)00079-5. 
  3. Chenoweth, Stephen V (1991). "On the NP-Hardness of Blocks World.". AAAI Proceedings of the ninth national conference on Artificial Intelligence. pp. 623--628. 
  4. S. A. Cook (2003). "A Complete Axiomatization for Blocks World". Journal of Logic and Computation (Oxford University Press (OUP)) 13 (4): 581--594. doi:10.1093/logcom/13.4.581. 
  5. Zilles, Sandra; Holte, Robert C (2009). "Downward path preserving state space abstractions". Eighth Symposium on Abstraction, Reformulation, and Approximation. 
  6. Gupta, N.; Nau, D. (1992). "On the Complexity of Blocks-World Planning". Artificial Intelligence 56 (2–3): 223–254. doi:10.1016/0004-3702(92)90028-v. http://www.cs.umd.edu/~nau/papers/gupta1992complexity.pdf. 

Sources