Logische Hidden-Markov-Modelle