D120.de/forum

Hallo, ich kann die Antwort noch nicht komplett nachvollziehen. Dabei habe ich zwei Punkte. 1. Punkt: wenn ich mich recht errinnere ist die Reihenfolge innerhalb einer Regel egal. Also müsste auch folgender Code möglich sein: rule rl_connect; m2.put_x(x2); let x2 <- m1.get_w(); endrule Jedoch wird x...

https://www.esa.informatik.tu-darmstadt ... S16De.html

Jonas

Auf keinen Fall System.out.println() benutzen!

schon krass. Interessant fände ich, ob AlphaGo auch im Schach gegen Lee Sedol gewinnt.

Jonas

Ich hatte den gleichen Gedankengang und bin zu dem gleichen Schluss gekommen. In Wikipedia [0] wird STRIPS vollkommen anders eingeführt. Dort gibt es kein ADD oder DELETE, sondern Postcondition. Allerdings gibt es da auch ein not, was ich bei uns noch nicht gesehen habe. Im Originalen Paper [1] wurd...

Das "=" ist ja als Zuweisung gemeint. Wenn man sowieso schon algorithmisch denkt, dann könnte man es vielleicht deutlicher so hinschreiben:
\(W_{kj} \leftarrow W_{kj}+\alpha*\Delta_{j}*x_{k}\)
oder sogar
\(W_{kj}\) += \(\alpha*\Delta_{j}*x_{k}\) ?

Jonas

Hi, ich finde die General Purpose Heuristic "Degree Heuristic" wurde in den Folien missverständlich erklärt. Degree Heuristics wurde in Folie 15 Definiert: "choose the variable that imposes the most constraints on the remaining values " . Bei Quellen [0,1] habe ich jedoch folgende Erklärung gefunden...

Hi, ich beim Foliensatz 15 - Reinforcement Learning ist mir die Intuition der V^\pi -Funktion nicht ganz klar geworden. 1. Unterschied zwischen V^\pi und R_t (Folie 9 und 10): Die Formeln für V^\pi und R_t sehen gleich aus, bis auf, dass die Funktion R_t die Elemente r_{t+1}, r_{t+2},... (gewichtet ...

Hi,
das ließt hier wahrscheinlich eh niemand. Egal. Ich habe vielleicht Abhilfe gefunden. In dem Isar-ref.pdf gibt es railroad diagrams welche nicht nur cool aussehen sondern vielleicht auch benutztbar sind um die Sprache zu lernen.

so long guys,
Jonas

Hey, There are few Tutorials about Isabell. There are a few pdf's in Isabelle itself, but a google search to specific problems is quite impossible. I tryd for example to create a datatype someB (which is equivalent too bool). I create a variable ex1 of type someB. I just want to assigne the value Tr...

Prof. Fürnkranz wurde in einer anderen Vorlesung persönlich gefragt. Er sagte, dass sie noch mittendrinn im korrigieren sind.

Wir müssen einfach noch etwas warten. Es klang nicht danach als ob wir in der nächsten Woche damit rechnen könnten.

Viele Grüße,
Jonas

Ist, zumindest bei mir, freigeschaltet

Hi, danke für diese Frage! Wie ordne ich folgende Konstrukte ein? let cur_time <- $stime; // Warum isr das nicht "=", da eine lokale Variable zugewiesen wird und keine Aktion ausgeführt wird Quelle: Folie 94 im Bluespec Foliensatz method Bool notEmpty = (rg_count == 1); // Wird hier einer lokaler Va...

Hi, Im Bluespec Foliensatz auf Folie 74 steht folgender Code: interface FIFOF #(type t); method Action enq (t x); method t first (); method Action deq (); method Bool notFull ; method Bool notEmpty ; method Action clear (); endinterface Ist es ein Fehler das hinter den Methoden "notFull" und "notEmp...