Institut für Mathematik Universität Augsburg Logo des Instituts für Mathematik

MARC-TwoKey-Icon

   MARC

   TwoKey-Nachbarschafts-Darstellung

ScreenShot der TwoKey-Nachbarschafts-Darstellung
ScreenShot der TwoKey-Nachbarschafts-Darstellung

Eine eher ungewöhnliche Fähigkeit von MARC liegt im Aufsuchen und Darstellen von Verwandten und Nachbarn einer Regel. Zur Definition dieser beiden Begriffe folgt ein kleiner Exkurs:

Als Abstand zweier Regeln wird die Anzahl ihrer unterschiedlichen Artikel definiert, wobei in Voraussetzung und Folgerung separat gezählt und beide Zahlen addiert werden. Ein zusätzlicher Artikel zählt als 1, ein ausgetauschter Artikel als 2.

Verschiedene Regeln mit gleichen Voraussetzungen haben demnach den Abstand 2.

Hat die Regel A den Abstand 1 von der Regel B, so heißt A Kind von B; A und B haben die gleichen Artikel in Voraussetzung und Folgerung, nur daß A eine Voraussetzung mehr hat als B.
Analog heißt B Elter von A.

Die höheren Verwandtschaftsgrade Enkel, Urenkel, Großelter und Urgroßelter werden durch jeweiliges Hinzufügen bzw. Weglassen einer Voraussetzung erreicht.

Ab dem Grad 2 kann man Regeln auch durch Austauschen eines Artikels in Verbindung bringen; solche Regeln heißen Nachbarn.

 

Die folgenden Knöpfe bilden mit Ausnahme der Grad-Option eine Radio-Auswahl. Wenn ein Knopf aktiv ist, werden alle selektierten TwoKey-Regeln entsprechend seiner Spezifikation mit ihren Verwandten bzw. Nachbarn verbunden.

Zahl-Option   Verwandtschaftsgrad
Damit stellt man den maximalen Grad der darzustellenden Verwandtschaft ein.

   kein Verbinden
schaltet das Verbinden von verwandten Regeln aus.

   Kinder
bewirkt das Verbinden der Kinder, Enkel, Urenkel.

   Verwandte
bewirkt das Verbinden aller Verwandten (nicht der Nachbarn!).

   Eltern
bewirkt das Verbinden der Eltern, Großeltern, Urgroßeltern.

   Nachbarn
bewirkt das Verbinden aller Verwandten und Nachbarn.


[Uni Augsburg]  [Math.-Nat. Tech. Fakultät]  [Institut für Mathematik]  [Autor]  [E-Mail]  [Print-Version]  aktualisiert am: 23.10.2023;  © Uni Augsburg