与 «UNIFIKATOR»相关的波兰语书籍
在以下的参考文献中发现
unifikator的用法。与
unifikator相关的书籍以及同一来源的简短摘要提供其在 波兰语文献中的使用情境。
1
GWAI-83: 7th German Workshop on Artificial Intelligence ... - Strona 219
Die Literale –Pg (a) und –Qy sind komplementär R-unifizierbar mit Unifikator S = {y-f(g (a) ) ) . R-Unifizierbarkeit: Zwei Liter alle L und L2 heißen R-unifizierbar mit R-Unifikator S und Clash-Literal II - entweder L und K komplementär unifizierbar ...
2
Logiczne podstawy gramatyk kategorialnych Ajdukiewicza-Lambeka
Następnie wyznaczamy najogólniejszy unifikator fi2 dla formuł v -*^i(x2)(= Pi(xl)\) oraz v-*/ll(x3), a dalej — najogólniejszy unifikator j83 dla v -*P2(Pi (x3)) i » -*P2(Pi (^4)) itd. Po n— 1 krokach znajdziemy najogólniejszy unifikator /?„_i dla ...
Wojciech Buszkowski,
1989
3
Zarys dedukcyjnych metod automatycznego wnioskowania - Strona 37
Podstawienie o jest unifikatorem dla ti i to wtedy i tylko wtedy, gdy o(t) = or(tz) e t1 i t2 są unifikowalne jeśli istnieje dla nich unifikator • podstawienie on jest bardziej ogólne od podstawienia oi, o ile istnieje podstawienie r takie, że o = o.
4
Einführung in die Constraint-Programmierung: Grundlagen, Methoden, ...
Eine solche Substitution nennt man Unifikator. Seien s und t Terme bzw. Literale. Eine Substitution σ mit σ(s) = σ(t) wird Unifikator von s und t genannt. Ein Unifikator σ von s und t wird allgemeinster Unifikator (engl. most general unifier) von s ...
Petra Hofstedt, Armin Wolf,
2007
5
Księga Urantii: Objawia tajemnice Boga, wszechswiata, Jezusa i nas ...
Bóstwa, Wspólny Aktywizator; nieskończony integrator rajskich energii kosmicznych z energiami duchowymi Wiecznego Syna; doskonały koordynator motywów woli i mechaniki sił; unifikator całej aktualnej i aktualizującej się rzeczywistości.
6
Einführung in die Mathematische Logik: Ein Lehrbuch - Strona 119
Eine solche Substitution w werde ein Unifikator von K. genannt. Beispiel 1. Sei K = {rxfxz,rfyzu), r und f2-stellig. Hier ist w=4- 4- ein Unifikator, denn es ist K“ = {rfyzffyzz} wie man unmittelbar verifiziert. Offenbar ist keine Klausel unifizierbar, die ...
Wolfgang Rautenberg,
2013
7
Künstliche Intelligenz in Bild- und Sprachanalyse - Strona 43
0ft existieren mehrere Unifikatoren einer Menge M. Beispielsweise besitzt die Menge M=(P(x,x), P(y,z)) neben S- (x/y, x/z) auch den Unifikator S'= (A/x, A/y, A/z). Unter allen Unifikatoren einer Menge von Literalen oder Termen existiert ein ...
8
Deduktive Datenbanken: Eine Einführung aus der Sicht der logischen ...
Ein Unifikator ist eine Substitution, die zwei Ausdrücke E1 und E2 syntaktisch gleich macht. Unifikatoren von p(f(y), a) und p(z, a) sind beispielsweise (r/a, y/b, z/f(b)] und [x/a, z/f(y). Man kann einen Unifikator alternativ als Lösung der Gleichung ...
Armin B. Cremers, Ulrike Griefahn, Ralf Hinze,
2013
9
Grundlagen des maschinellen Beweisens: Eine Einführung für ...
2.1 Unifikation Ein Unifikator zweier Terme ist eine Substitution, die diese Terme syntaktisch gleich macht; Unifikatoren sind also Lösungen von Gleichungen in der Termstruktur. Obwohl das Lösen von Gleichungen in irgendwelchen ...
Ralf-Detlef Kutsche,
2013
10
Methoden wissensbasierter Systeme: Grundlagen, Algorithmen, Anwendungen
Definition 3.74 (allgemeinster Unifikator, mgu) Ein Unifikator μ von s und t heißt allgemeinster Unifikator (engl. most general unifier, mgu) wenn es zu jedem Unifikator σ von s und t eine Substitution σ mit σ = σ ◦ μ gibt. 2 Im vorangegangenen ...
Christoph Beierle, Gabriele Kern-Isberner,
2014