www-ai.cs.tu-dortmund.de/PublicPublicationFiles/luebbe_95b.pdf
ls8report_15.dvi
auf eine Sprache L
2
2
reduzieren, notiert als
L
1
pol
L
2
, wenn es eine polynomiell berechenbare Transformation f :
1
!
2
gibt, so da gilt:
8x 2
1
: x 2 L
1
, f(x) 2 L
2
:
F
ur eine Klasse [...] (Abschnitt 2.2.1), die Repr
asentation des Hintergrund-
wissens (Abschnitt 2.2.2) und die Beschr
ankung der Repr
asentationsspra-
chen auf Teilmengen der Pr
adikatenlogik (Abschnitt 2.2.3) als Ein [...] PACLEARN eine
Hypothese H 2 LH berechnet, f
ur die
Prob(D(HC)> ) <
gilt, wobei H
1
H
2
die symmetrische Dierenz der Mengen fe 2
E j H
1
^B ` eg und fe 2 E j H
2
^ B ` eg bezeichnet,
2.2. DER PR
ADIKATENLOGISCHE …
