Re: CSE471 child gen question

[Subbarao Kambhampati <rao@asu.edu>]

No--you don't need to catch it. The GP heuristic should be
able to catch it for you
(the point is that you will not always be able to catch all
inconsistencies yourself anyways--
you need "professional help"--and enter compute-pg based
heuristics)

Rao


At 05:58 PM 10/29/2003, you wrote:

> The
> operator (STACK A B) has preconditions: ((holding A) (clear B)). 
> The child state that is generated by my code (as it is currenlty writtne)
> is this: ((holding A) (clear B) (arm-empty))
>  
> (holding A) contradicts
> (arm-empty).  Should we catch this sort of logical contradiction and
> fix it?
>  
>  
> -Shawn