A Privacy-preserving Model for the Multi-agent Propositional Planning Problem