skip to main content

kiesler.at
GrundlagenWissensbasierteSysteme
Back to Page | Back to History

Difference between revisions

Version 1, 2005-03-07 18:40 Version 2, 2005-03-07 18:42
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)