Du befindest dich hier: FSI Informatik » Prüfungsfragen und Altklausuren » Hauptstudiumsprüfungen » Künstliche Intelligenz 1 & 2 » Allgemein
Unterschiede
Hier werden die Unterschiede zwischen zwei Versionen der Seite angezeigt.
Beide Seiten, vorherige ÜberarbeitungVorherige Überarbeitung | |||
pruefungen:hauptstudium:ls8_kwarc:lbs_20180322 [22.03.2018 15:15] – nakami | pruefungen:hauptstudium:ls8_kwarc:lbs_20180322 [22.03.2018 15:26] (aktuell) – nakami | ||
---|---|---|---|
Zeile 27: | Zeile 27: | ||
<Auf Nachfrage hin, schreibe und erkläre ich die Prolog Linearisierung: | <Auf Nachfrage hin, schreibe und erkläre ich die Prolog Linearisierung: | ||
- | **Q: Gut, wie machen wir darauf jetzt Inferenz?** | + | **Q: "Gut, wie machen wir darauf jetzt Inferenz?"** |
- | A: " | + | A: <Ich habe den Aufbau von Inferenz-Termen erklärt.> |
- | <Neues Beispiel: Peter liebt Maria. Maria ist glücklich.> | + | **Q: "Die Regeln alleine reichen aber nicht, was brauchen wir denn noch?" |
- | " | + | A: " |
+ | |||
+ | **Q: "Okay, wie geht das dann weiter? Zeig doch mal, wie das mit der Erfüllbarkeit abläuft." | ||
+ | |||
+ | "Um Inferenz zu machen, benötigen wir erstmal | ||
+ | |||
+ | <Neues Beispiel: Peter liebt Maria. Maria ist glücklich.> | ||
- | " | + | " |
+ | (Im Nachhinein fällt mir auf, dass die Aussage und der Term nicht zueinander passen. Müsste wohl ein natürliche Sprache Beispiel mit kausalen Zusammenhang zwischen den Sätzen sein oder aber statt der Implikation eine Ver-Undung in der logischen Form.) | ||
<Ich erkläre das jeweilige Vorgehen und zeige Erfüllbarkeit anhand des Beispiels.> | <Ich erkläre das jeweilige Vorgehen und zeige Erfüllbarkeit anhand des Beispiels.> |