Lines 16 - 32 |
Lines 16 - 33 |
++ Menschliches Schließen |
++ Menschliches Schließen |
|
|
|
|
(W, B) ∈ R |
(W, B) (- R |
|
|
W...Welt Wissen, B...neues Wissen, R...Inferenzrelation |
W...Welt Wissen, B...neues Wissen, R...Inferenzrelation |
|
|
(W_Regen, B_Strasse_nass) ∈ R |
(W_Regen, B_Strasse_nass) (- R |
(W_Regen, B_grüne_Ampel) ∉ R |
(W_Regen, B_grüne_Ampel) (- R |
|
|
|
|
Normalerweise: W |- B |
Normalerweise: W |- B |
|
|
|- ... Ableiten /Inferenzrelation |
|- ... Ableiten /Inferenzrelation |
|
(- ... Element von |
|
|
oder auch: W R B (siehe Algebra) |
oder auch: W R B (siehe Algebra) |
|
|