removed monkey & bananas planning problem

dmeoli · dmeoli · commit 9d37ae0def15 · 2019-08-23T18:54:03.000+02:00
diff --git a/planning.py b/planning.py
@@ -333,69 +333,6 @@ def have_cake_and_eat_cake_too():
                                            effect='Have(Cake)')])
 
 
-def monkey_and_bananas():
-    """
-    [Exercise 10.3] MONKEY AND BANANAS
-
-    The monkey-and-bananas problem is faced by a monkey in a laboratory
-    with some bananas hanging out of reach from the ceiling. A box is
-    available that will enable the monkey to reach the bananas if he
-    climbs on it. Initially, the monkey is at A, the bananas at B, and
-    the box at C. The monkey and box have height Low, but if the monkey
-    climbs onto the box he will have height High, the same as the
-    bananas. The actions available to the monkey include Go from one
-    place to another, Push an object from one place to another, ClimbUp
-    onto or ClimbDown from an object, and Grasp or UnGrasp an object.
-    The result of a Grasp is that the monkey holds the object if the
-    monkey and object are in the same place at the same height.
-
-    Example:
-    >>> from planning import *
-    >>> mb = monkey_and_bananas()
-    >>> mb.goal_test()
-    False
-    >>> mb.act(expr('Go(A, C)'))
-    >>> mb.act(expr('Push(Box, C, B)'))
-    >>> mb.act(expr('ClimbUp(B, Box)'))
-    >>> mb.act(expr('Grasp(Bananas, B, High)'))
-    >>> mb.goal_test()
-    True
-    >>> mb.act(expr('UnGrasp(Bananas)'))
-    >>> mb.act(expr('ClimbDown(Box)'))
-    >>> mb.goal_test()
-    False
-    >>> mb.act(expr('ClimbUp(B, Box)'))
-    >>> mb.act(expr('Grasp(Bananas, B, High)'))
-    >>> mb.goal_test()
-    True
-    >>>
-    """
-
-    return PlanningProblem(
-        init='At(Monkey, A) & At(Bananas, B) & At(Box, C) & Height(Monkey, Low) & Height(Box, Low) & Height(Bananas, '
-             'High) & Pushable(Box) & Climbable(Box) & Graspable(Bananas)',
-        goals='Have(Monkey, Bananas)',
-        actions=[Action('Go(x, y)',
-                        precond='At(Monkey, x) & Height(Monkey, Low)',
-                        effect='At(Monkey, y) & ~At(Monkey, x)'),
-                 Action('Push(b, x, y)',
-                        precond='At(Monkey, x) & Height(Monkey, Low) & At(b, x) & Pushable(b) & Height(b, Low)',
-                        effect='At(b, y) & At(Monkey, y) & ~At(b, x) & ~At(Monkey, x)'),
-                 Action('ClimbUp(x, b)',
-                        precond='At(Monkey, x) & Height(Monkey, Low) & At(b, x) & Climbable(b) & Height(b, Low)',
-                        effect='On(Monkey, b) & Height(Monkey, High) & ~Height(Monkey, Low)'),
-                 Action('ClimbDown(b)',
-                        precond='On(Monkey, b)',
-                        effect='~On(Monkey, b) & Height(Monkey, Low) & ~Height(Monkey, High)'),
-                 Action('Grasp(b, x, h)',
-                        precond='At(Monkey, x) & Height(Monkey, h) & Height(b, h) & At(b, x) & Graspable(b)',
-                        effect='Have(Monkey, b)'),
-                 Action('UnGrasp(b)',
-                        precond='Have(Monkey, b)',
-                        effect='~Have(Monkey, b)')
-                 ])
-
-
 def shopping_problem():
     """
     SHOPPING-PROBLEM
@@ -1204,11 +1141,6 @@ def have_cake_and_eat_cake_too_graphPlan():
     return [GraphPlan(have_cake_and_eat_cake_too()).execute()[1]]
 
 
-def monkey_and_bananas_graphPlan():
-    """Solves the monkey and bananas problem using GraphPlan"""
-    return GraphPlan(monkey_and_bananas()).execute()
-
-
 def shopping_graphPlan():
     """Solves the shopping problem using GraphPlan"""
     return GraphPlan(shopping_problem()).execute()
diff --git a/tests/test_planning.py b/tests/test_planning.py
@@ -104,20 +104,6 @@ def test_have_cake_and_eat_cake_too():
     assert p.goal_test()
 
 
-def test_monkey_and_bananas():
-    p = monkey_and_bananas()
-    assert p.goal_test() is False
-    solution = [expr("Go(A, C)"),
-                expr("Push(Box, C, B)"),
-                expr("ClimbUp(B, Box)"),
-                expr("Grasp(Bananas, B, High)")]
-
-    for action in solution:
-        p.act(action)
-
-    assert p.goal_test()
-
-
 def test_shopping_problem():
     p = shopping_problem()
     assert p.goal_test() is False
@@ -170,13 +156,6 @@ def test_graphPlan():
     assert expr('Move(B, Table, C)') in sussman_anomaly_solution
     assert expr('Move(A, Table, B)') in sussman_anomaly_solution
 
-    monkey_and_bananas_solution = monkey_and_bananas_graphPlan()
-    monkey_and_bananas_solution = linearize(monkey_and_bananas_solution)
-    assert expr('Go(A, C)') in monkey_and_bananas_solution
-    assert expr('Push(Box, C, B)') in monkey_and_bananas_solution
-    assert expr('ClimbUp(B, Box)') in monkey_and_bananas_solution
-    assert expr('Grasp(Bananas, B, High)') in monkey_and_bananas_solution
-
     shopping_problem_solution = shopping_graphPlan()
     shopping_problem_solution = linearize(shopping_problem_solution)
     assert expr('Go(Home, HW)') in shopping_problem_solution
