加入
发表于 2025-3-25 05:54:40
http://reply.papertrans.cn/39/3894/389390/389390_21.png
dissolution
发表于 2025-3-25 11:30:13
,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
发表于 2025-3-25 12:53:32
http://reply.papertrans.cn/39/3894/389390/389390_23.png
anagen
发表于 2025-3-25 17:34:45
http://reply.papertrans.cn/39/3894/389390/389390_24.png
Somber
发表于 2025-3-25 22:00:30
http://reply.papertrans.cn/39/3894/389390/389390_25.png
forbid
发表于 2025-3-26 02:19:27
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
防止
发表于 2025-3-26 05:43:12
,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
甜瓜
发表于 2025-3-26 12:20:51
,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
发表于 2025-3-26 16:31:44
http://reply.papertrans.cn/39/3894/389390/389390_29.png
主动
发表于 2025-3-26 17:46:42
http://reply.papertrans.cn/39/3894/389390/389390_30.png