Gordon Plotkin () hat gezeigt, daß ohne Hintergrundwissen in Prädikatenlogik gelernt werden kann. (Quelle: bmb+f Forschungslandkarte Deutschland 1998)
Während die klassischen Verfahren nur Attribut-Werte verarbeiten können, sind Verfahren der induktiven logischen Programmierung in der Lage, Formeln einer eingeschränkten Prädikatenlogik als Hypothesen auszugeben, zum Beispiel Prolog-Klauseln. (Quelle: bmb+f Forschungslandkarte Deutschland 1998)
Ein Lernverfahren, das eine eingeschränkte Prädikatenlogik als Formalismus für Hypothesen bearbeiten kann, kann aus diesen Beispielen allein auch noch keine vernünftige Regelhaftigkeit finden. (Quelle: bmb+f Forschungslandkarte Deutschland 1998)
]谓词演算。谓词逻辑。
DE-DE
Sätze
DE-CN
EN-CN
Bilder
Google
Wiki
