|
Die Logikebene(Logik Einführung Kapitel 3.2)
Diese Seite nimmt Bezug auf
(Seite parallel anzeigen)
Die Logik-Ebene ist die theoretische Ebene, auf der die Übersetzung des Wissens in formale Sätze und das Schließen auf neue Sätze (und somit neues Wissen) passiert.
D.h. mittels einer Logik wollen wir Problemstellungen formalisieren und automatisch aus einer Menge an Wissen korrekte Schlüsse ziehen.
Hierfür benötigen wir, grob gesprochen,
- eine Sprache um unser Wissen und unsere Schlüsse darstellen zu können
- Wissen über die Bedeutung der Sätze in dieser Sprache
- Regeln die bestimmen wie wir aus bestehendem Wissen neues generieren können
Auf diese Ebene und ihre grundsätzlichen Anforderungen und Konzepte wollen wir in weiterer Folge näher eingehen.
Beispiel - Logik-Ebene Wumpus-Welt
Formal könnten wir die, im Beispiel "Wissensbasis Wumpus-Welt" aus dem Kapitel "Die Wissens-Ebene" genannten, Regeln wie folgt darstellen (wobei a und b Variablen sind):
| R1 |
WENN (NICHT Gestank(a,b))
DANN (NICHT Wumpus(a,b)
UND NICHT Wumpus(a-,b)
UND NICHT Wumpus(a+,b)
UND NICHT Wumpus(a,b-)
UND NICHT Wumpus(a,b+))
|
| R2 |
WENN (Gestank(a,b))
DANN (Wumpus(a,b)
ODER Wumpus(a-,b)
ODER Wumpus(a+,b)
ODER Wumpus(a,b-)
ODER Wumpus(a,b+))
|
Die Wahrnehmungs-Quintupel können wir folgendermaßen übersetzen
Befinden wir uns
und erhalten wir die Information
- [Ja, Nein, Nein, Nein, Nein],
so erhalten wir die Sätze
- Gestank(a,b)
- NICHT Luftzug(a,b)
- NICHT Glitzern(a,b)
- NICHT Wand(a,b)
- NICHT Schrei(a,b)
Haben wir also bereits eine Zeit lang gespielt, könnte unser Wissen wie folgt aussehen
| W1 | NICHT Gestank(A,1) |
|---|
| W2 | NICHT Gestank(B,1) |
|---|
| W3 | Gestank(A,2) |
|---|
| W4 | Luftzug(B,1) |
|---|
| W5 | NICHT Luftzug(A,2) |
|---|
Aus W1 können wir mittels R1 schließen
| W6 | NICHT Wumpus(A,1) |
|---|
| W7 | NICHT Wumpus(A,2) |
|---|
| W8 | NICHT Wumpus(B,1) |
|---|
Aus W2 können wir mittels R1 schließen
| W9 | NICHT Wumpus(B,1) |
|---|
| W10 | NICHT Wumpus(A,1) |
|---|
| W11 | NICHT Wumpus(C,1) |
|---|
| W12 | NICHT Wumpus(B,2) |
|---|
Aus W3 können wir mittels R2 schließen
| W13 |
Wumpus(A,1) ODER
Wumpus(A,2) ODER
Wumpus(A,3) ODER
Wumpus(B,2) |
Da wir bereits W6, W7 und W12 generiert haben, können wir schließen, dass
also dass sich der Wumpus auf Feld [A,3] befinden muss.
|
