Michalski (1983 [->]) gibt
die folgende Aufstellung von Generalisierungsoperationen, zu denen sich
natürlich jeweils die umgekehrten Spezialisierungsoperationen
ableiten lassen.
Weglassen einer Bedingung (
dropping
condition rule) in einer Konjunktion:
(A1=r1)(A2=r2)(A1=r1)
Hinzufügen einer Alternative (
adding
condition rule) in einer Disjunktion:
(A1=r1)(A1=r1)(A2=r2)
Erweitern eines Wertebereiches (
extending
reference rule) in einem Selektor:
(A1X)(A1Y)
wenn XYR1 gilt
Als Spezialfall davon: Schließen eines Intervalls
(
closing interval rule) in
einem Selektor:
(A1{1,3})(A1[1,3])
für R1=[0,5]
Eine Konjunktion in eine Disjunktion umwandeln
(
turning conjunction into disjunction
rule):