Zaslať SMS: Formalizmy pre reprezentáciu poznatkov