Définitions de „Unifikation“ dans le Orthographe allemande

die Uni·fi·ka·ti·o̱n <->

(lat)

Vereinheitlichung

Phrases d'exemples tirées d'Internet (non-vérifiées par l'équipe de rédaction)

allemand

Die Anwendung eines Unifikators auf diese Menge bezeichnet man als Unifikation.

de.wikipedia.org

Auf ihn geht ein Algorithmus zur Unifikation von prädikatenlogischen Formeln zurück, der entscheidend beim Nachweis der Unerfüllbarkeit einer prädikatenlogischen Formel ist.

de.wikipedia.org

Die für den Widerspruch notwendigen Instanzen werden über Unifikation erzeugt.

de.wikipedia.org

Die Unifikation hat insbesondere in der Computerlogik und Computerlinguistik eine größere Bedeutung erlangt.

de.wikipedia.org

Als Basisoperation liegt der Unifikation die Substitution zu Grunde.

de.wikipedia.org

Insgesamt verfährt der Algorithmus nun, indem er immer die allgemeinst mögliche Auswahl triff und die Spezialisierung der Unifikation überlässt, die ihrerseits das allgemeinst mögliche Resultat erzeugt.

de.wikipedia.org

Wenn innerhalb dieses rekursiven Vorgangs der Fall eintritt, dass zwei Merkmale mit demselben Namen, aber unterschiedlichen Werten in der Ergebnismatrix abgelegt werden sollen, dann schlägt die Unifikation fehl.

de.wikipedia.org

Während logische Prädikate weiterhin durch Unifikation behandelt werden, werden die zusätzlichen Constraints gesammelt, in den Constraint-Speicher übertragen und von einem Constraint-Löser behandelt.

de.wikipedia.org

Auch beim Theorembeweisen spielt Unifikation eine große Rolle.

de.wikipedia.org

Unifikation ist eine Methode zur Vereinheitlichung prädikatenlogischer Ausdrücke.

de.wikipedia.org