أرسل هذا في رسالة قصيرة: Model checking agent-based communities against uncertain group commitments and knowledge