Wir haben uns angefangen, uns über Logo 1 zu unterhalten und

Gucci's

Ein G autumn

von

Aber mehr Dinge Evelce

Nee das ist die icon

von

��

мне

sehen

meine

Duygusal

es

cute

J When

Und wir wollen Individuen konstruieren können und dafür brauchen wir Funktionen.

Also wir haben Funktionen, die uns neue Individuen konstruieren.

Wir haben Relationen, die uns Zusammenhänge zwischen Individuen geben.

Wir können über Existenz und Universalität von Eigenschaften lá andere Möglichkeiten unterhalten.

Aber wir haben andere Möglichkeiten, das zu machen.

Das ist die wichtigste und einflussreichste Logik.

Weil sie gute Eigenschaften hat und weil man damit fast alles ausdrücken kann.

Es gibt einige Sachen, die lassen sich nicht natürlich ausdrücken, immer dann, wenn wir

Mengen oder Funktionen haben, über die wir etwas sagen wollen, über die wir quantifizieren

wollen, über die wir etwas aussuchen, sagen wollen, ist diese Sprache zu schwach.

Sie werden ahnen, wenn es Logik erster Stufe gibt, gibt es auch Logik zweiter Stufe, dritter

Stufe und allgemein höherer Stufe.

Das sind dann Logiken, in denen man diese Sachen alle ausdrücken kann.

Die haben aber schlechtere Eigenschaften und all die Dinge, die ich Ihnen heute erzähle,

werden komplizierter.

Diese Logiken gibt es, die sind interessant, man kann schöne Dinge damit tun, aber sie

sind komplizierter und deswegen bleiben wir letztlich bei der Logik erster Stufe in dieser

Vorlesung.

Es gibt gerade in der künstlichen Intelligenz eine ganze Menge an Logiken, die so ein bisschen

expressiver sind als logikerster Stufe oder so ein bisschen weniger expressiv sind als

logikerster Stufe.

Und, wenn sie expressiver werden dann kann man mehr ausdrücken, genau wie die Aussagenlogik,

die finde ich nicht aus, oder wie die Logikerster-Stufe expressiver ist als die Aussagenlogik

die übrigens auch häufig um notificationen und der Station

verstanden wird als logikernanter Stufe.

weil man über gar nichts quantifizieren kann.

Und wenn man etwas weniger expressiv wird, werden verschiedene Algorithmen,

die man auf diesen Logiken laufen lassen können, gutartiger.

Und die Logik erster Stufe begucken wir uns,

weil sie in der Praxis sehr häufig ausdrucksmächtig genug ist.

Gut, wir haben uns die Syntaxe angeguckt.

Wir haben im Wesentlichen alle Dinge über die wir reden wollen.

Die Sprachmittel werden eingeführt.

Wir haben Junktoren, Funktionen, Prädicate und noch diese Menge der Skillsharem-Konstanten,

die wir später benutzen, wenn wir Zeugen, Objekte, Namen geben wollen.