Jason Eisner
Jason Eisner
Right now results are sorted by an item's print name, giving the out-of-order results below. It would be nice to sort instead by a recursive comparison function on terms that...
I was having trouble getting forward-backward to converge in the cyclic word graph, even when I kept only the swapadj edges (so there weren't many) and made them be low-probability...
@nwf: Students who innocently try to define an innocent-looking function will be met with a scary and unhelpful error message (see below). I'd rather not have to explain planning and...
In the max-product algorithm, I wrote this (where L is a label on the edge): ``` ecount(L,U,V) += alpha(U)*edge(L,U,V)*beta(V). ``` It seemed to be extremely slow (I had to abort...
e.g., `trace $key(pathto("white"))`
Related to trace commands on #1, we might look at AILog2's tracing. http://www.cs.ubc.ca/~poole/aibook/code/ailog/ailog_man_7.html It's interactive, which I think would probably better be handled in a GUI, although they do it...
The forward-backward ice cream spreadsheet example seems to be exposing bugs in the Dyna implementation. Can you guys try to make it work right? I wrote this code last night...
Strings should be double-quoted. I'm not sure what the current single-quoted strings mean: in Prolog, that's just a way of writing functors that may contain special characters (if we decide...
As per longstanding design, the unary symbol `*` is a gensym. Basic gensyms should be easy enough to implement for now (the design only gets tricky once we add stuff...
Right now ``` foo. ``` appears to translate as ``` foo |= true. ``` I think the aggregator should be `:-` rather than `|=` since this is part of the...