Schlussfolgerungen

 Beispiel

Die Vorraussetzung ist folgender Datenbankeintrag:
 A ist b gross, wenn A einen Durchmesser von B hat

 

 Datenbankeintrag:

   ist <> a <> b <> gross <> hat <> a <> einen durchmesser <> von b <> wenn <> <> 50
Dann ist folgendes moeglich:
 You: Wie gross ist Io?

 FreeHAL: Io hat einen Durchmesser von 3630 Kilometer. , )
Rekursiv ist die Schlussfolgerung auch moeglich:
 You: Wenn A B gross ist, ist A B lang

 FreeHAL: Tja ! Hmm, Wie denkst Du ueber einen tasteninstrument?

 You: Wie lang ist Io?

 FreeHAL: Io hat einen Durchmesser von 3630 Kilometer.
Erlaeuterungen
Die Buchstaben A bis H dienen Als Platzhalter (Variablen).
Zurück zur Dokumentation
  

Comments

Buchmessen
Teilen
 
About   Supporters   Social Networks
Copyright © 2006 - 2011
Tobias Schulz and Contributors

The FreeHAL Software is distributed under the GNU GPL v3 license.

The FreeHAL Website (freehal.org and freehal.net) is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 3.0 Unported License.
   Members from SETI.Germany and Planet 3DNow! are sponsoring one of our servers.

 
Elton Chung from ReactOS donates a BOINC download mirror.


I don't want to see social networks at freehal.org! Buchmessen
More information: our partners | funds | expenses and donors