Title: Eine Methode zur Aktualisierung Aussagenlogischer Wissensbasen