Speech act theory and epistemic planning