Integrating Planning and Knowledge Revision: preliminary report