Titlebook: ;

加入

dissolution

,Einführung, Es stellen sich Fragen wie ., . oder .. All diese Fragen sind von Bedeutung für das Verst?ndnis von künstlicher Intelligenz. Die zentrale Frage für den Ingenieur, speziell für den Informatiker, ist jedoch die Frage nach der intelligenten Maschine, die sich verh?lt wie ein Mensch, die intelligentes

Implicit

anagen

Somber

forbid

Logikprogrammierung mit Prolog,klarativ zu beschreiben. Automatische Theorembeweiser sind sogar in der Lage, zu entscheiden, ob eine Anfrage logisch aus einer Wissensbasis folgt. Hierbei sind der Beweiskalkül und das in der Wissensbasis gespeicherte Wissen streng getrennt. Eine in Klauselnormalform aufgeschriebene Formel kann als

防止

,Suchen, Spielen und Probleme l?sen,ibt es für den ersten Inferenzschritt viele M?glichkeiten. Für jede dieser M?glichkeiten gibt es im n?chsten Schritt wieder viele M?glichkeiten und so weiter. Schon beim Beweis einer ganz einfachen Formel aus Ert93 mit drei Hornklauseln mit maximal drei Literalen hat der Suchbaum für SLD-Resolution

甜瓜

,Schlie?en mit Unsicherheit,l führen die Aussagen ., . und . zu der Folgerung .. Interessant w?re zum Beispiel eine Sprache, in der es m?glich ist, die Aussage . zu formalisieren und darauf dann Inferenzen durchzuführen. Die Wahrscheinlichkeitsrechnung stellt hierfür eine bew?hrte Methode bereit, denn durch die Angabe eines Wa

Malleable

主動(dòng)