Regeln spielen im täglichen Zusammenleben von Menschen eine wichtige Rolle. Zum Beispiel muss sich jeder Verkehrsteilnehmer an Verkehrsegeln halten, um Unfälle zu vermeiden und einen reibungslosen Verkehrsfluss zu gewährleisten. Die Teilnehmer in diesen Situationen werden im Kontext der künstlichen Intelligenz Agenten genannt. Künstliche Agenten, die sich in einem menschlichen Umfeld selbständig bewegen, müssen diese Regeln kennen und entsprechend handeln können. Solche Regeln sind im Allgemeinen in natürlicher Sprache verfasst und enthalten daher qualitative Begriffe wie „links von“ oder „rechts abbiegen“. Diese Begriffe lassen sich nur unzureichend mit metrischen Verfahren zur Steuerung der Agenten umsetzen. Im Folgenden beschreiben wir einen so genannten qualitativen Ansatz zur Formalisierung von räumlichen Aspekten natürlich-sprachlicher Vorschriften. Mit dem von uns entwickelten SailAway-Demonstrator [1] zeigen wir am Beispiel von Schifffahrtsregeln, wie diese ...
