Eine Unifikation (Zusammenführung) ist
 |
Diese Seite ist eine Begriffsklärung zur Unterscheidung mehrerer mit demselben Wort bezeichneter Begriffe. |
Wikimedia Foundation.
Unifikation (Logik) — Unifikation ist eine Methode zur Vereinheitlichung prädikatenlogischer Ausdrücke. Zwei Ausdrücke werden unifiziert, indem ihre Variablen so durch geeignete Terme ersetzt werden, dass die resultierenden Ausdrücke gleich sind. Die Unifikation hat… … Deutsch Wikipedia
Unifikation — Uni|fi|ka|ti|on 〈f. 20; veraltet〉 Vereinigung, Vereinheitlichung; Sy Unifizierung [→ unifizieren] * * * Uni|fi|ka|ti|on, die; , en (bes. Fachspr.): Unifizierung … Universal-Lexikon
Unifikation — Det at unificere … Danske encyklopædi
Unifikation — U|ni|fi|ka|ti|on 〈f.; Gen.: , Pl.: en〉 Vereinigung, Vereinheitlichung; Syn. Unifizierung [Etym.: <lat. unus »ein« + …fikation] … Lexikalische Deutsches Wörterbuch
Unifikation — Uni|fi|ka|ti|on die; , en <zu ↑unifizieren u. ↑...ation>: 1. svw. ↑Unifizierung. 2. das Gleichmachen von zwei Fakten durch Ersetzen der Variablen durch Terme (EDV); vgl. ↑...ation/...ierung … Das große Fremdwörterbuch
Unifikation — Uni|fi|ka|ti|on, die; , en; vgl. Unifizierung … Die deutsche Rechtschreibung
Unifikator — Unifikation ist eine Methode zur Vereinheitlichung prädikatenlogischer Ausdrücke. Diese hat insbesondere in der Computerlogik und Computerlinguistik eine größere Bedeutung erlangt. So nutzt etwa die Inferenzmaschine des PROLOG Interpreters… … Deutsch Wikipedia
Attribut-Wert-Matrix — Eine Attribut Wert Matrix (AWM), auch Merkmal Wert Struktur, ist eine formale Struktur, die vor allem in der Linguistik, speziell im Bereich der Unifikationsgrammatiken und der Head driven Phrase Structure Grammar verwendet wird. Mit Attribut… … Deutsch Wikipedia
Merkmalsstruktur — Eine Merkmalstruktur ist eine abstrakte hierarchische Struktur, die der Darstellung sprachlicher Eigenschaften und Dependenzen dient. Merkmalstrukturen werden in einigen linguistischen Formalismen verwendet, z. B. in der Head driven Phrase… … Deutsch Wikipedia
Merkmalstrukturen — Eine Merkmalstruktur ist eine abstrakte hierarchische Struktur, die der Darstellung sprachlicher Eigenschaften und Dependenzen dient. Merkmalstrukturen werden in einigen linguistischen Formalismen verwendet, z. B. in der Head driven Phrase… … Deutsch Wikipedia
