[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: CSE471 child gen question



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