Die BABYLON-Formalismen

Zusammenfassung

Dieses und das nächste Kapitel gehören im Sinne einer handbuchähnlichen Beschreibung der Repräsentationsformalismen des BABYLON-Systems eng zusammen. Hier listen wir zunächst nebeneinander die einzelnen Formalismen auf. Wir konkretisieren sie jeweils in einer syntaktischen und semantischen Ausprägung, die die wesentlichen im ersten Teil dieser Arbeit diskutierten strukturellen und funktionalen Eigenschaften deutlich wiedererkennen läßt. Es ist allerdings nicht unsere Absicht, die einzelnen Formalismen im Sinne einer bestmöglichen Entfaltung ihrer Ausdruckskraft auszubauen. Wir werden sogar an verschiedenen Stellen erhebliche Abstriche an der Vielfalt der Sprachkonstrukte machen und damit möglicherweise die Erwartung von manchem Leser enttäuschen. Unser Vorgehen ist darin begründet, daß wir hier die hauptsächliche Stärke des BABYLON-Systems illustrieren wollen, die in erster Linie im Integrationsgedanken und in der Art der Integration besteht, und erst in zweiter Linie in der besonderen Form der verwendeten Formalismen. Den Leser, der an einer (anspruchs)volleren Definition der verschiedenen Formalismen interessiert ist, verweisen wir auf das Referenzhandbuch des Systems (Brewka/di Primio/Groß 87) und die komplementäre Veröffentlichung (Börding et al. 88).