A Multivalued logic model of planning