gif gif up gif contents index
Nächste Seite: 3.7.1 Die Syntax der Vorige Seite: 3.6 Ermangelungsschließen durch Theoriebildung

3.7 Eine Ermangelungslogik

Zu Beginn dieses Kapitels haben wir in Abschnitt 3.1 von der grundlegenden Beziehung , aber auch von der mit ihr zusammenhängenden Problematik gesprochen. Diese Problematik haben wir in den Abschnitten bisher dadurch zu lösen versucht, daß wir in verschiedener Weise an der Weltbeschreibung ``gedreht'' haben. Die Alternative hierzu ist, stattdessen (zusätzlich) an (oder an ) zu ``drehen''. In dem vorliegenden Abschnitt werden wir uns nun mit einer Variante dieser letzteren Alternative beschäftigen. Es handelt sich um die Variante der Ermangelungslogik [Rei80] (engl. default logic).





Christoph Quix, Thomas List, René Soiron
30. September 1996