Strips Notation

Strips Notation and Negative Literals

The original STRIPS notation does not allow the use of negative literals in preconditions or goals. Due to this restriction you cannot manipulate the conjunctive literals in it using De Morgan's Laws to become disjunctive.

Russel and Norvig's Artificial Intelligence: A Modern Approach mentions this while describing Classical Planning Methods. PDDL was, in fact, developed to overcome this limitation of STRIPS. (A foot-note on Pg 405 of Artificial Intelligence: A Modern Approach 2nd Edition, its on Pg 367 in the link I have Provided.)

Subscription expired — please renew

Pro account upgrade has expired for this site and the site is now locked. If you are the master administrator for this site, please renew your subscription or delete your outstanding sites or stored files, so that your account fits in the free plan.