Seol mar théacs é seo: Formale Repräsentation von Überzeugungen und Theorien der Überzeugungsrevision