From 7722931bd9c9c164e0c03ed8ba22d85ffddf9871 Mon Sep 17 00:00:00 2001 From: Naveen Sundar G Date: Fri, 29 Dec 2017 00:25:16 -0800 Subject: [PATCH] Update README.md --- README.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 7b455a9..077bce5 100644 --- a/README.md +++ b/README.md @@ -36,6 +36,7 @@ Two approaches: (< (size ?c) (size ?d)) (< (size ?b) (size ?c))] :actions [(removeFrom ?b ?d) (placeInside ?b ?c) (placeInside ?c ?d)]}) +``` + Roughly, a method has conditions that the goal and background + start state should satisfy. If the conditions are satisfied, a plan template is generated (note the variables). The planner then verifies if the plan template works, if so it outputs the plan. -```